Google 
Аннотация: Математическая логика: Алгебра высказываний. Булевы функции. Логика предикатов. Формализованное исчисление высказываний. 2-е изд., испр
Учебное пособие содержит теоретический материал и практические задания по традиционным для высших учебных заведений разделам дисциплины «Математическая логика». Рассматриваются следующие темы и их приложения: алгебра высказываний, булевы функции, логика предикатов, формализованное исчисление высказываний. Для самостоятельной работы по каждой теме предлагается достаточное количество задач с алгоритмами их решения. Пособие предназначено для студентов всех направлений подготовки бакалавров и специалистов, в учебных планах которых имеется дисциплина «Математическая логика».| Издательство | ЛЕНАНД |
| Автор/составитель | Путилов Сергей Васильевич;Корпачёва Марина Александровна;Сорокина Марина Михайловна |
| Год выпуска | 2024 |
| Кол-во страниц | 176 |
| ISBN | 978-5-00237-016-0 |
| Обложка | мягкая обложка |
| Вес | 175г |
| Формат | 14 x 22 cm |
| Тираж | 1000 |
| Возрастная категория | 16+ |
Бесплатная Доставка по Европе (EU)*
*Для заказов свыше 40, - евро Подробнее
Математическая логика: Алгебра высказываний. Булевы функции. Логика предикатов. Формализованное исчисление высказываний. 2-е изд., испр
- Производитель: ЛЕНАНД
- Модель: TEEI11654930
- ISBN: 978-5-00237-016-0
- Наличие:
-
Срок доставки: 21 день
- (5 оценок)
