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