Главная Сайт МБУ "МИБС" Инструкция по поиску в WEB-ИРБИС Видеоуроки по поиску в WEB-ИРБИС
Авторизация
Фамилия
№ читательского билета
 

Базы данных


Электронный каталог- результаты поиска

Вид поиска

Область поиска
Поисковый запрос: (<.>K=ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
   87.4
   Г 47


    Гильберт, Дэвид.
    Основы теоретической логики / Д. Гильберт, В. Аккерман ; пер. с нем. А. А. Ерофеева ; ред., вступ. ст. и коммент. С. А. Яновской. - Москва : Госиздат иностранной литературы, 1947. - 304 с. - Библиогр.: с. 297-298. - Приложение: с. 208-296. - 1.46 р.
ББК 87.4
Рубрики: Логика
Кл.слова (ненормированные):
ЛОГИКА ВЫСКАЗЫВАНИЯ (КОМП.) -- МАТЕМАТИКА -- ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ -- ЛОГИЧЕСКИЕ СВЯЗИ -- ИСЧИСЛЕНИЕ (ЛОГ.) -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ (ЛОГ.) -- ЛОГИСТИКА -- ЛОГИКА ПРИКЛАДНАЯ -- ДОКАЗАТЕЛЬСТВО (ЛОГ.) -- ТЕОРИЯ МАТЕМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА -- СВОДИМОСТЬ (ЛОГ,) -- ПАРАДОКСЫ -- ЛОГИЧЕСКИЕ ПАРАДОКСЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА


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

2.
   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)
Прямая ссылка
Найти похожие

3.
   22.12
   С 81


    Столл, Роберт Р.
    Множества. Логика. Аксиоматические теории / Роберт Р. Столл ; перевод с английского Ю. А. Гастева и И. Х. Шмаина ; под ред. Ю. А. Шихановича. - Москва : Просвещение, 1968. - 230, [1] с. - (Математическое просвещение). - 0.79 р.
ББК 22.1
Рубрики: Математика
Кл.слова (ненормированные):
Математика -- множества -- логика (математика) -- исчисление высказываний -- исчисление предикатов -- аксиоматические теории -- теории аксиоматические -- булевы алгебры


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

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