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