Артикул: p7036121
20 раз
купили
Пока этой книги нет, получите
скидку 10% на любую другую книгу в наличии
По промокоду
BOOK24-U1HASХарактеристики
- Серия: Учебное пособие. АСТ
- Год издания:2017
- Жанр: Математические науки
- ISBN:978-5-9775-3806-0
- Переплет: Мягкий переплёт
- Формат: 150x215 мм
- Общий тираж: 100
- Вес: 560 г
Описание
В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики и исчисление высказываний, логика и исчисление предикатов, рассмотрены вопросы содержательного и формального определения логики высказываний и логики предикатов. Дается введение в теорию алгоритмов и вычислимых функций. Содержание разделов книги взаимно связано друг с другом и снабжено большим количеством примеров и решенных задач, помогающих усвоить и закрепить излагаемый материал.