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