Математическая логика. Курс лекций: Сергей Шапорев
5(1 оценка)0 рецензий
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгор
Полная аннотация
Издательство
Все характеристики
Аннотация
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.
Для студентов, аспирантов и преподавателей технических вузов
Для студентов, аспирантов и преподавателей технических вузов
Характеристики
ID товара
553553
ISBN
978-5-9775-3806-0
Страниц
416 (Офсет)
Вес
562 г
Размеры
215x152x22 мм
Тип обложки
обл - мягкий переплет (крепление скрепкой или клеем)
Иллюстрации
Черно-белые
Все характеристики
Нет в продаже
Рецензии на книгу
Читали книгу? Как она вам?
+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 дней
