Математическая логика: Ершов, Палютин
5(1 оценка)0 рецензий
В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусм
Полная аннотация
Издательство
Все характеристики
Аннотация
В книге приведены главные традиционные исчисления математической логики: исчисление изречений и исчисление предикатов; имеется краткое изложение главных понятий теории множеств и теории алгоритмов. Ряд разделов книги - теория моделей и теория доказательств - приведены более детально, чем это предусмотрено программой. Для студентов математических специальностей ВУЗов. Может служить пособием для спецкурсов.
6-е издание, исправленное.
6-е издание, исправленное.
Характеристики
Редактор
Издательство
ID товара
510934
ISBN
978-5-9221-1301-4
Страниц
356 (Офсет)
Вес
482 г
Размеры
221x146x20 мм
Тип обложки
7Бц - твердая, целлофанированная (или лакированная)
Иллюстрации
Без иллюстраций
Все характеристики
Нет в продаже
Рецензии на книгу
Читали книгу? Как она вам?
+50 ₽ за рецензию
Вы можете стать одним из первых, кто напишет рецензию на эту книгу, и получить бонус — до 50 рублей на баланс в Лабиринте!
Книги из жанра
1 2432 485 -50% Еще 8 дней
1 1262 251 -50% Еще 8 дней
440879 -50% Еще 8 дней
489978 -50% Еще 8 дней
445890 -50% Еще 8 дней
282564 -50% Еще 8 дней
8151 629 -50% Еще 8 дней
199397 -50% Еще 8 дней
2 3204 639 -50% Еще 8 дней
1 2142 428 -50% Еще 8 дней
2.5
9231 846 -50% Еще 8 дней
8031 606 -50% Еще 8 дней
1 6743 348 -50% Еще 8 дней
2 2604 519 -50% Еще 8 дней
2 9285 856 -50% Еще 8 дней
8411 681 -50% Еще 8 дней
401801 -50% Еще 8 дней
1 1672 334 -50% Еще 8 дней
1 2652 529 -50% Еще 8 дней
1 8853 769 -50% Еще 8 дней
