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

w10=
Найдено документов в текущей БД: 2
   В1
   К 17

    Что такое математическая логика
/ Л. А. Калужнин. - М. : Наука, 1964. - 151 с. - Библиогр. - 0.21 р.
ГРНТИ
ББК В12 + Ю4


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

Теоретическая информатика и ее основания   Т. 1
[Текст] : в 2 т. / Г. Н. Зверев. - москва : Физматлит. - 2007. - 591 с. : ил. - Библиогр.: с. 556-564. Предм. указ.: с. 584-588. - ISBN 978-5-9221-0925-3 : 822.80 р.
ГРНТИ
УДК
ББК В18
Рубрики:
информатика--теория
   логика--математика

Кл.слова (ненормированные):
Информатика

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

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