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