Электронный каталог. . Муниципальная Информационно-Библиотечная Система г. Новокузнецка

   22.12
   И 26

    Игошин, Владимир Иванович.
    Математическая логика и теория алгоритмов : учебное пособие для студентов вузов, обучающихся по специальности "Математика" / В. И. Игошин. - Москва : Академия, 2004 (Саратов). - 446, [1] с. ; 22 см. - (Высшее профессиональное образование. Педагогические специальности). - Библиогр. : с. 435-442. - ISBN 5-7695-1363-2 (в пер.) : 193.20 р.

ББК 22.12я73
Рубрики: Математика
Кл.слова (ненормированные):
АЛГЕБРА ВЫСКАЗЫВАНИЙ -- БУЛЕВЫ ФУНКЦИИ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ЛОГИКА ПРЕДИКАТОВ -- ПРЕДИКАТЫ -- АЛГОРИТМЫ -- МАШИНЫ ТЬЮРИНГА -- ТЬЮРИНГА МАШИНЫ -- МАРКОВА АЛГОРИТМЫ -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ -- ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ -- ЛОГИК-ТЕОРЕТИК, ПРОГРАММА -- ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ -- ПРОГРАММИРОВАНИЕ ЛОГИЧЕСКОЕ -- ЯЗЫКИ ПРОГРАММИРОВАНИЯ -- ПРОЛОГ, ЯЗЫК ПРОГРАММИРОВАНИЯ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- УЧЕБНЫЕ ИЗДАНИЯ ДЛЯ ВЫСШИХ УЧЕБНЫХ ЗАВЕДЕНИЙ
Аннотация: Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Тьюринг, Алан Мэтисон (1912-1954) \о нем\; Turing, Alan Mathison \о нем\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), абонемент, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-87 (1)
Прямая ссылка
Найти похожие

   81
   Н 23

    Налимов, Василий Васильевич.
    Вероятностная модель языка : о соотношении естественных и искусственных языков / В. В. Налимов. - Москва : Наука, 1974. - 271, [1], [1] л. ил. с. - Предметный указатель: с. 265-266. - Авторский указатель: с 267-270. - 1.04 р.

ББК 81
Рубрики: Языкознание
Кл.слова (ненормированные):
Бейеса модель -- Геделя теорема -- естественные языки -- знаковые системы -- искусственные языки -- метаязык -- модель Бейеса -- семантика языка -- теорема Геделя -- философский язык -- язык (лингв.) -- язык абстрактной живописи -- язык математики -- язык науки -- язык прикладной математики -- Языкознание -- История

Экземпляры всего: 2
читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: читальный зал, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-46-91 (1), отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

   22.12
   Г 47

    Гильберт, Давид.
    Основания математики = Grundlagen der mathematik : теория доказательств / Д. Гильберт, П. Бернайс ; перевод с немецкого Н. М. Нагорного ; под редакцией С. И. Адяна. - Москва : Наука, 1982. - 652 с. - (Математическая логика и основания математики). - 3.40 р.

ББК 22.12
Рубрики: Математика
Кл.слова (ненормированные):
ФОРМУЛЫ -- ТЕОРЕМЫ -- АРИФМЕТИКА -- ПЕРЕМЕННЫЕ -- НЕПРОТИВОРЕЧИВОСТЬ -- ФОРМАЛИЗМЫ -- ЧИСЛА -- ЭРБРАНА ТЕОРЕМА -- ТЕОРЕМА ЭРБРАНА -- ЛЕВЕНГЕЙМА ТЕОРЕМА -- ТЕОРЕМА ЛЕВЕНГЕЙМА -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ -- ПРЕДИКАТЫ -- ТАРСКОГО ТЕОРЕМА -- ТЕОРЕМА ТАРСКОГО -- ЧЕРЧА ТЕОРЕМА -- ТЕОРЕМА ЧЕРЧА -- КАЛЬМАРА ДОКАЗАТЕЛЬСТВО -- ДОКАЗАТЕЛЬСТВО КАЛЬМАРА -- АККЕРМАНА ДОКАЗАТЕЛЬСТВО -- ДОКАЗАТЕЛЬСТВО АККЕРМАНА

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Бернайс, Пауль; Адян, С. И. \ред.\; Нагорный, Н. М. \пер.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

   22.1
   С 50

    Смаллиан, Рэймонд М..
    Как же называется эта книга? = What is the name of this book? / Рэймонд М. Смаллиан ; перевод с английского Ю. А. Данилова. - Москва : Мир, 1981. - 237, [2] с. - 0.60 р.

ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
ЛОГИКА -- ЛОГИЧЕСКИЕ РАЗВЛЕЧЕНИЯ -- ГОЛОВОЛОМКИ -- ЛОГИЧЕСКИЕ ЗАДАЧИ -- ДОКАЗАТЕЛЬСТВА -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Данилов, Ю. А. \пер.\
Экземпляры всего: 1
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), Запсибовская, ул. Горьковская 27, т. 52-55-97
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1)
Прямая ссылка
Найти похожие

   22.1
   С 50

    Смаллиан, Рэймонд М..
    Принцесса или тигр? = The lady or the tiger? / Рэймонд М. Смаллиан ; перевод с английского И. Е. Зино под редакцией Ю. И. Манина. - Москва : Мир, 1985. - 221, [1] с. - 0.55 р.

ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
ЛОГИКА -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- ГОЛОВОЛОМКИ -- МЕТАГОЛОВОЛОМКИ -- ЛОГИКО-АРИФМЕТИЧЕСКИЕ ЗАДАЧИ -- ГЕДЕЛЯ ТЕОРЕМА -- ТЕОРЕМА ГЕДЕЛЯ

Держатели документа:
МБУ "МИБС"

Доп.точки доступа:
Манин, Ю. И. \ред., пер.\; Зино, И. Е. \пер.\
Экземпляры всего: 2
отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), На Октябрьском, пр. Октябрьский 16, т. 77-18-63 (1)
Свободны: отдел книгохранения, Центральная городская библиотека им. Н.В. Гоголя ул. Спартака 11, т.74-73-27 (1), На Октябрьском, пр. Октябрьский 16, т. 77-18-63 (1)
Прямая ссылка
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)