Г47 Гильберт, Д. Основания математики. Логические исчисления и формализация арифметики [Текст] / Д. Гильберт, П. Бернайс; Пер. с нем. Н.М. Нагорного; Под ред. С.И. Адяна. - 2-е изд. - М. : Наука, 1982. - 558 с. - 2.70 р.
Кл.слова (ненормированные): Математика -- основания математики -- формализация -- арифметика -- логические исчисления Доп.точки доступа: Бернайс, П. Экземпляры всего: 1 2к (1) Свободны: 2к (1) |
Т95 Тьюринг, А. Может ли машина мыслить? [Текст] / А. Тьюринг; Пер. с англ. Ю.А. Данилова; Ред. С.А. Яновский. - М. : Госфизиздат, 1960. - 110 с. - 0.19 р. С прилож. ст. Д. Неймана "Общая и логич. теория автоматов"
Кл.слова (ненормированные): Техника -- машиноведение -- Математика -- приборостроение -- логические исчисления -- автоматика -- мышление Доп.точки доступа: Нейман, Д. Экземпляры всего: 3 2к (3) Свободны: 2к (3) |
Л13 Лавров, И. А. Математическая логика: Учеб. пособие для студ. вузов, обуч. по технич. и естест.-нучн. специальностям [Текст] / И.А. Лавров; Под ред. Л.Л. Максимовой. - М. : Академия, 2006. - 240 с. - (Университетский учебник). - 212.00 р.
Кл.слова (ненормированные): Математика -- математическая логика -- числа -- натуральные числа -- действительные числа -- семантика -- алгебраические системы -- логические системы -- синтаксис -- построение логических исчислений -- логические исчисления -- исчисление высказываний -- исчисление предикатов -- исчисление функций -- связь семантики и синтаксиса -- интерпретации -- классические аксиоматические теории -- аксиоматика -- теория множеств -- числовые теории Экземпляры всего: 1 6к (1) Свободны: 6к (1) |
Н73 Новиков, Ф. А. Дискретная математика для программистов: учеб. пособие для студ. вузов, обуч. по напр. подготовки диплом. специалистов "Информатика и вычислительная техника" [Текст] / Ф. А. Новиков. - 2-е изд. - СПб. : Питер, 2006. - 364 с. : ил. - (Учебник для вузов). - 250.00 р.
Кл.слова (ненормированные): Математика -- независимость -- программирование -- циклы -- деревья -- связность -- графы -- комбинаторика -- логические исчисления -- булевы функции -- множества -- дискретная математика -- вычислительная техника -- информатика -- алгоритмы -- программы -- учебное пособие для вузов -- дискретная математика Экземпляры всего: 1 2к (1) Свободны: 2к (1) |