Сводный каталог книг

: учеб. пособие для вузов / Г. И. Рузавин. - М. : ЮНИТИ-ДАНА, 2005. - 400 с. - Библиогр.: с. 398. - ISBN 5-238-00944-5 : 200.30 р., 200.30 р.

ГРНТИ	02.31	02.21	02.21	02.31.01
УДК	165(075.8)^V3

ББК Ю251я73 + Ю25я73 + Ю25я73


http://www.knigafund.ru/books/122644

Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 4
ИФ-КФ (1), ИХХТ-АБ (1), ИВМ-ЧЗ (1), ЦНБ-АБ (1)
Свободны: ИФ-КФ (1), ИХХТ-АБ (1), ИВМ-ЧЗ (1), ЦНБ-АБ (1)

/ С. В. Илларионов ; Ред. Ю. И. Семенов, К. Г. Боресков. - М. : РОССПЭН, 2007. - 535 с. - (Философы России ХХ века). - Список науч. тр. автора: с. 529 . - ISBN 5-8243-0766-0 : 150.00 р., 150.00 р.
Приложение:
1. С.В. Илларионов Стихотворения
2. М. Евтеева, В. Подъяблонская Мой Бог - культура (интервью)

ГРНТИ	02.31	02.21	02.31.21
УДК	165^V3	167/168^V3

ББК Ю25 + Ю22 + Ю0/8 + Ю22 + Ю251


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Семенов, Ю. И. \ред.\; Боресков, Константин Георгиевич; Илларионов, Сергей Владимирович \о нем\
Экземпляры всего: 4
ИФ-КФ (1), ИХХТ-АБ (1), ИВМ-Фонд (1), ЦНБ-АБ (1)
Свободны: ИФ-КФ (1), ИХХТ-АБ (1), ИВМ-Фонд (1), ЦНБ-АБ (1)

/ Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр. - 0.21 р.

ГРНТИ

02.21

27.03.19

ББК В12 + Ю4


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

: пер. с нем. / В. Зегет ; пер. И. М. Морозова, ред. пер., авт. предисл. Е. Б. Кузина. - М. : Высшая школа, 1985. - 256 с. - Библиогр. - 0.90 р.

ГРНТИ

02.21

ББК Ю4


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Морозова, И. М. \пер.\; Кузина, Е. Б. \ред. пер., авт. предисл.\
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

: учебник / Вячеслав Иванович В.И., А. А. Старченко. - М. : Высшая школа, 1987. - 271 с. - Предм. указ. - 0.70 р.

ГРНТИ

02.21

ББК Ю4я73


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Старченко, Анатолий Александрович
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

: [учеб. для пед. вузов] / А. Д. Гетманова. - М. : Высшая школа, 1986. - 288 с. : ил. - Библиогр.: с. 286. - 100000 экз. - 0.55 р., 0.55 р.

ГРНТИ

02.21.05

ББК Ю4я73 + Ю4я73-1


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 2
ИФ-КФ (1), ЦНБ-ХР (1)
Свободны: ЦНБ-ХР (1)

/ Н. И. Кондаков ; отв. ред. Д. П. Горский. - 2-е, испр. и доп. изд. - М. : Наука, 1975. - 720 с. - 60000 экз. - 6.60 р.

ГРНТИ

02.21

ББК В12я21 + Ю4я21


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Горский, Д. П. \ред.\
Экземпляры всего: 1
ИФ-ЧЗ (1)
Свободны: ИФ-ЧЗ (1)

/ Н. И. Кондаков ; Акад. наук СССР, Ин-т философии. - М. : Наука, 1971. - 656 с. - Б. ц.

ГРНТИ

02.21.05

ББК Ю4я22


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Доп.точки доступа:
Академия наук СССР; Институт философии АН СССР
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

/ Г. Кайберг ; пер. с англ. Б. Л. Лихтенфельда, послесл. и общ. ред. А. И. Ракитова. - М. : Прогресс, 1978. - 374 с. - (Логика и методология науки). - Пер. изд. : Probability and inductive logic / H. Kyburg. - 8000 экз. - 1.50 р., 8.50 р.

ГРНТИ

02.21.21

27.43

27.03.19

ББК Ю44


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Доп.точки доступа:
Лихтенфельд, Б. Л. \пер.\; Ракитов, А. И. \авт. послесл., ред.\; Kyburg, H.
Экземпляры всего: 1
ИФ-КФ (1), ИВМ-Фонд
Свободны: ИФ-КФ (1)

: учеб. пособие для вузов / М. С. Строгович. - М. : Госполитиздат, 1949. - 362 с. - 0.75 р.

ГРНТИ

02.21.05

ББК Ю4я73


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
ИФ-Музей (1)
Свободны: ИФ-Музей (1)

/ Г. И. Челпанов. - М. : Госполитиздат, 1946. - 160 с. - 100000 экз. - 0.30 р.
Прил.: с. 137

ГРНТИ

02.21.05

ББК Ю4я73


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН
Экземпляры всего: 1
ИФ-Музей (1)
Свободны: ИФ-Музей (1)

/ А. А. Зиновьев ; Академия наук СССР, Институт философии. - М. : Наука, 1972. - 193 с. - 10700 экз. - 0.59 р.

ГРНТИ

29.01.07

02.21.31

ББК В3в


Держатели документа:
Институт физики им. Л.В. Киренского СО РАН

Доп.точки доступа:
Академия наук СССР; Институт философии АН СССР
Экземпляры всего: 1
ИФ-КФ (1)
Свободны: ИФ-КФ (1)

[Текст] : монография / Е.И. Ефимов. - Москва : Наука, 1982. - 320 с. : ил + табл. - (Проблемы искусственного интеллекта). - Библиогр.: с.306-312. - Предм. указ.: c. 313-316. - 2.40 р., 2.40 р.

ГРНТИ	02.21
УДК	62-50

ББК Ю4в2

Аннотация: Книга посвящена рассмотрению элементов теории интеллектуальных решателей и ее практических приложений. Книга состоит из трех частей. В первой части дается концептуальное описание интеллектуального решателя. В связи с этим предлагается семиотическая модель мыслительной деятельности человека, решающего задачи, вводится определение мира задач как иерархического пространства одноуровневых задач различного уровня общности. Во второй части изучаются различные методы автоматических доказательств и индуктивных выводов, в традициях математической логики и теории моделей строится и исследуется проблемно ориентированная теория решений - семиотическая система знаний решателя. Рассматриваются возможные стратегии поиска доказательств, интерпретируемых как решения соответствующих задач. В третьей, заключительной части на примерах созданных отечественных и зарубежных решателей анализируются практические реализации системы знаний и поиска решений, а также системы обучения.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50
Экземпляры всего: 2
ИВМ-Фонд (1), ЦНБ-ХР (1)
Свободны: ИВМ-Фонд (1), ЦНБ-ХР (1)

[Текст] : Учебное пособие для вузов / С.А. Лебедев, В.В. Ильин, Ф.В. Лазарев, Л.В. Лесков ; Под ред. С.А. Лебедева. - Москва : Культура ; Москва : Академический проект, 2005. - 416 с. - (Gaudeamus). - ISBN 5-902767-09-1. - ISBN 5-8291-0568-3. - ISBN 5-8291-0568-3. - ISBN 5-8291-0568-3. - ISBN 5-902767-09-1. - ISBN 5-8291-0568-3 : 144.00 р., 144.00 р., 134.00 р.

ГРНТИ	02.21	12.09.09	02.31.21	12.09	02.31.01
УДК	167/168(075.8)^V3	001(091)(07)^V3	001:1(07)^V3

ББК Ю25я73-1 + Ч213(0)я73 + Ю25я73 + Ч213(0) + 251.2 + Ч213

Аннотация: Учебное пособие написано профессорами Московского государственного университета им. М.В. Лермонтова. Авторы описывают генезис и основные исторические этапы развития науки. Они также обсуждают основные темы современной философии науки: взаимосвязь философии и науки, структура и динамика науки, методы научного исследования, философские аспекты современной научной картины мира. Книга адресована студентам вузов, аспирантам, преподавателям и научным работникам, всем, кто интересуется проблемами современной философии науки. Особенно она будет полезна для подготовки к экзамену нового кандидатского минимума "История и философия науки".

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
02
Центральная научная библиотека КНЦ СО РАН : 660036, г. Красноярск, Академгородок, 50

Доп.точки доступа:
Лазарев, Феликс Васильевич; Лесков, Леонид Васильевич; Лебедев, Сергей Александрович; Ильин, Виктор Васильевич; Лебедев, Сергей Александрович \ред.\
Экземпляры всего: 3
ИВМ-Фонд (1), ИХХТ-АБ (1), ЦНБ-АБ (1), ИБФ-ООН
Свободны: ИВМ-Фонд (1), ИХХТ-АБ (1), ЦНБ-АБ (1)

[Текст] : По специальности 540400 (050400) "Соц.-экон. образование" / В.А. Светлов. - Санкт-Петербург ; Москва ; Нижний Новгород : Питер : Питер Принт, 2006. - 400 с. : ил. - (Учебное пособие). - ISBN 5-469-00876-2 : 162.50 р.

ГРНТИ	02.21
УДК	16(075.8)^V3

ББК Ю4я73

Аннотация: Цель учебного пособия - дать представление о современной логике, раскрыть ее познавательный и методологический потенциал. В книге представлены традиционная, классическая и неклассическая символическая логика, а также теория и техника логического анализа задач в естественном и формализованном языках. На многочисленных примерах показано использование оригинальной техники решения логических задач. Учебное пособие подготовлено на основе авторских курсов по логике для специалистов самого разного профиля и соответствует требованиям Госстандарта. Адресовано студентам, аспирантам, преподавателям, а также всем, кто самостоятельно изучает логику.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : Учеб. пособие / И.В. Дмитревская ; Рос. акад. образования, Моск. психол.-соц. ин-т. - Москва : Флинта ; Москва : МПСИ, 2006. - 384 с. : ил. - Библиогр. в конце разд. - ISBN 5-89349-886-0. - ISBN 5-89502-940-X : 300.00 р.

ГРНТИ	02.21
УДК	16(075.8)^V3

ББК Ю4я73

Аннотация: В пособии рассматриваются особенности формирования мышления как предмета формальной логики; специфика логических форм и законов мышления; способы формирования, структура и правила основных логических форм: понятий, суждений, умозаключений, доказательств, гипотез; в отдельных главах представлены логический анализ текста, диалога, понимания и общения. Для студентов юридических факультетов вузов; может быть использовано и студентами других факультетов в качестве основного или дополнительного учебного пособия, а также преподавателями и аспирантами.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] : монография / Ю.Г. Гладких. - Москва : МГУ им. М.В.Ломоносова, 2006. - 128 с. : ил. - Библиогр.: с. 120-125. - ISBN 5-211-04989-6 : 93.00 р.

ГРНТИ	02.21
УДК	16^V3

ББК Ю4

Аннотация: Монография посвящена изучению роли предпосылок существования в теориях. Впервые книга была опубликована в 1984 г. Автором систематически излагаются теория моделей, теория доказательств и теория истины для первопорядковых языков с дескрипциями и предикатом существования. Рассматриваются методологические и исторические вопросы логики без экзистенциальных предпосылок. Для научных работников и студентов, интересующихся современными проблемами теоретической логики и методологии науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)

[Текст] = Philosophy of mathematics and technics : Учеб. пособие для студентов, соискателей и аспирантов техн. вузов / С.А. Лебедев и др. ; Под общ. ред. С.А. Лебедева. - Москва : Академический проект, 2006. - 779 с. - (Gaudeamus). - ISBN 5-8291-0748-1 : 243.75 р.

ГРНТИ

02.21

ББК Ю22я73 + Ю251

Аннотация: В учебном пособии анализируются современные философские проблемы математики, информатики, технических наук и логики. Книга написана профессорами МГУ им. М.В. Ломоносова и других российских вузов. В пособии раскрываются предмет, структура и закономерности математики, информатики, технических и технологических наук, их взаимосвязь с философией, эксплицируются философские основания этих областей знания и предлагаются решения их актуальных философских проблем. Учебное пособие адресовано прежде всего аспирантам технических и математических специальностей для подготовки к сдаче кандидатского минимума по истории и философии науки, а также студентам, преподавателям, научным сотрудникам, всем, кто интересуется современными проблемами философии науки.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44

Доп.точки доступа:
Лебедев, Сергей Александрович \конс.\
Экземпляры всего: 1
ИВМ-ЧЗ (1)
Свободны: ИВМ-ЧЗ (1)

[Текст] : Монография / В.Л. Васюков. - Москва : АНО Институт логики, 2005. - 194 с. - Библиогр.: с. 185-190. - Предм. указ.: с. 191-194. - ISBN 5-85593-145-5 : 105.00 р., 105.00 р.

ГРНТИ	02.21
УДК	16	161	164	510.64

ББК Ю4 + В12

Аннотация: Монография посвящена исследованию категорных дедуктивных систем, представляющих собой логическое исчисление, в котором наряду с формулами присутствуют коды доказательств, преобразуемые по определенным правилам вывода, и операции над нами. Эти дедуктивные системы превращаются в категории в том случае, если мы задаем систему определенных тождеств для доказательств, т.е. категория - это дедуктивная система с записями о выводимости и правилами их отождествления. В монографии категорная логика рассматривается с точки зрения неклассической логики и ее потребностей (в частности, теории доказательств). Значительное внимание уделяется систематическому построению исчислений категорной логики и теоретико-категорных семантик для систем неклассической логики, призванных заменить теоретико-множественные и алгебраические семантики этих систем. В настоящее время монография подобной направленности в мировой литературе отсутствует. Книга представляет интерес для логиков, философов и математиков и может быть использована в исследовании теоретических и метатеоретических вопросов современной логики.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1), ИБФ-ООН
Свободны: ИВМ-Фонд (1)

[Текст] : Экзаменационные ответы для студентов вузов / В.А. Светлов. - Санкт-Петербург ; Москва ; Нижний Новгород : Питер, 2006. - 160 с. : ил. - (Завтра экзамен). - ISBN 5-469-00910-6 : 49.40 р.

ГРНТИ	02.21
УДК	16(075.8)^V3

ББК Ю4я73

Аннотация: Данное издание подготовлено на основе авторских курсов по логике для специалистов самого разного профиля. Написанная в форме ответов на вопросы, эта книга позволяет быстро повторить все основные темы годового курса по логике. Пособие соответствует требованиям Госстандарта. Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает логику.

Держатели документа:
ИВМ СО РАН : 660036, Красноярск, Академгородок, 50, стр.44
Экземпляры всего: 1
ИВМ-Фонд (1)
Свободны: ИВМ-Фонд (1)