Описание: В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
Рабочее время
Рабочее время - время, в течение которого работник в соответствии с правилами внутреннего трудового распорядка и условиями ...
Объективное исследование
Объективное исследование - беспристрастный, спокойный, лишенный пристрастия и предвзятости. Объективное отношение. Объективный ...
Обострение
Обострение (recrudescence) - рецидив заболевания после периода клинического улучшения или ремиссии ...