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