В книге изложены основные классические исчисления математической логики: исчисление высказываний и исчисление предикатов; имеется краткое изложение основных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - изложены более подробно, чем это предусмотрено программой.
Для студентов математических специальностей вузов. Может служить пособием для спецкурсов.
Оглавление.
1. Исчисление высказываний.
2. Теория множеств.
3. Истинность на алгебраических системах.
4. Исчисление предикатов.
5. Теория моделей.
6. Теория доказательств.
7. Алгоритмы и рекурсивные функции.
Дополнительно: ГРАЖДАНЕ ПОКУПАТЕЛИ! ПРЕЖДЕ, ЧЕМ ОФОРМЛЯТЬ ЗАКАЗ, ПРОЧТИТЕ УСЛОВИЯ!
Если вы особо чувствительны к состоянию книг, то прежде чем, оформлять заказ, выйдите на связь с продавцом, воспользовавшись функцией "СПРОСИТЬ" (только для зарегистрированных пользователей), поскольку ваше понимание "хорошего" и "отличного" может не совпадать с таковым пониманием продавца.
Встреча по договоренности происходит б... [подробнее]
Дополнительно: Уважаемые покупатели ! Все представленные книги из домашней библиотеки. За границу не отправляю. Заказ не принимается к исполнению, если отсутствуют контактные данные (телефон). Встречи в первой половине дня по предварительной (накануне) договоренности.