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

[Текст] / Отв. ред И.МоскваМакаров. - Москва : Наука. - (Информатика: неограниченные возможности и возможные ограничения). : монография / А.Е. Болотов, В.А. Бочаров, А.Е. Горчаков и др. - 2004. - 207 с. : ил. - Библиогр.: с.193-204. - ISBN 5-02-032859-6 : 71.00 р., 71.00 р.

ГРНТИ	28.23
УДК	16	004.41

ББК З 973.205

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

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

Доп.точки доступа:
Болотов, А.Е.; Бочаров, В.А.; Горчаков, А.Е.; Макаров, В.В.; Шангин, В.О.
Экземпляры всего: 2
ИВМ-СИФ (1), ИХХТ-АБ (1)
Свободны: ИВМ-СИФ (1), ИХХТ-АБ (1)

[Текст] / В. А. Смирнов. - [Б. м.] : УРСС, 2002. - 263 с. : ил. - ISBN 5-8360-0308-4 : 80.00 р.
библиогр.: с. 256-263

ГРНТИ

02.21

02.31.21

12.01.07

ББК Ю4в01 + Ю4.в017:Ю25 + Ю25в641

Аннотация: Анализируются способы рассуждений и введения понятий, используемых в дедуктивных и эмпирических науках. Значительное внимание уделено малоисследованным проблемам определенности в научных теориях. Изучены различные типы отношений между теориями. Даются логические реконструкции процедур описания, объяснения, предсказания. Помимо классических, изучаются интенсиональные логики и языки, выявляется их роль для описания научных процедур.

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

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

/ В.А. Бочаров, Т.И. Юраскина. - М. : Издательство Московского университета , 2003. - 175 с. - Библиогр.: с. 173-174. - ISBN 5-211-04641-2 : 31.00 р.

ГРНТИ

21.31.35

ББК Э210


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

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

: учебное пособие для вузов по специальностям "110200- металлургия цветных металлов, 090300 - обогащение полезных ископаемых / А. В. Тарасов, В. А. Бочаров. - М. : Металлургия, 2001. - 304 с. : ил. - Библиогр.: с. 302-304. - ISBN 5-229-01270-6 : 220.00 р.

ГРНТИ	53.37.01
УДК	669.018.674

ББК К33/34



Доп.точки доступа:
Бочаров, В.А.
Экземпляры всего: 2
ИХХТ-АБ (2)
Свободны: ИХХТ-АБ (2)