Описание: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
Цена: 788 руб.
Знаете ли Вы, что ...
Рабочее время
Рабочее время - время, в течение которого работник в соответствии с правилами внутреннего трудового распорядка и условиями ...
Лихорадка
Лихорадка (fever) или пирексия (pyrexia) - повышение температуры тела по сравнению с нормальной (т.е. выше оральной ...
Эпидемия
Эпидемия (от греч. epidemia, epi - на, среди и demos - народ) - распространение какой-либо инфекционной болезни человека, ...
Элиминация
Элиминация (от лат. еlimino - выношу за порог, удаляю) (биол.) - гибель неприспособленных особей в процессе борьбы за ...
Экзотические болезни
Экзотические болезни - болезни, не свойственные данной территории, завезенные из других стран.
Штамм
Штамм (от нем. stamm - ствол, основа) - чистая культура микроорганизмов, выделенных из определенного источника и отличающихся ...
