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