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