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