Задачи и упражнения по математической логике и теории алгоритмов Игошин В.И.
описание
звоните нам с 9:00 до 19:00
 

Задачи и упражнения по математической логике и теории алгоритмов

Оценки: 4.8 5 20
от

Хорошо и качественно
Количество:
  
-
+
Цена: 352 
P

В корзину
В наличии
Артикул: 00821838
Автор: Игошин В.И.
Издательство: Академия (все книги издательства)
Место издания: Москва
ISBN: 5-7695-1364-0
Год: 2005
Формат: 60x90/16 (~145х215 мм)
Переплет: Твердый переплет
Вес: 370 г
Страниц: 304

Cкачать/полистать/читать on-line
Показать ▼

Развернуть ▼

Сборник содержит задачи и упражнения по всем традиционным разделам курса математической логики и теории алгоритмов. В каждом параграфе подробно рассмотрены разнообразные типовые примеры и приведены многочисленные задачи разного уровня сложности для самостоятельного решения.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».

Содержание
Предисловие
Глава I. Алгебра высказываний
§ 1. Основные понятия алгебры высказываний
Высказывания и операции над ними
Формулы алгебры высказываний
Тавтологии алгебры высказываний
Логическое следование
Равносильность формул
Упрощение систем высказываний
§ 2. Нормальные формы для формул алгебры высказываний и их применение
Отыскание нормальных форм
Применение нормальных форм
Нахождение следствий из посылок
Нахождение посылок для данных следствий
§ 3. Приложение алгебры высказываний к логико-математической практике
Обратная и противоположная теоремы. Принцип полной дизъюнкции. Необходимые и достаточные условия Упрощение систем высказываний. Правильные и неправильные рассуждения Нахождение всех следствий из посылок. Нахождение посылок для следствий «Логические» задачи
Глава II. Булевы функции
§ 4. Понятие булевой функции и свойства булевых функций
Число булевых функций
Равенство булевых функций
Свойства булевых функций
§ 5. Специальные классы булевых функций
Полиномы Жегалкина и линейные булевы функции. Двойственность и самодвойственные булевы функции. Монотонные булевы функции. Булевы функции, сохраняющие нуль и сохраняющие единицу
§ 6. Полные системы и функционально замкнутые классы булевых функций
Полные и неполные системы булевых функций. Применение теоремы Поста. Функционально замкнутые классы булевых функций.
Базисы булевых функций
§ 7. Применение булевых функций к релейно-контактным схемам
Анализ релейно-контактных схем
Синтез релейно-контактных схем
от Аноним

Хорошо и качественно

Пожалуйста, оставьте отзыв на товар.

Что бы оставить отзыв на товар Вам необходимо войти или зарегистрироваться
Все права защищены и охраняются законом. © 2006 - 2019 CENTRMAG
Рейтинг@Mail.ru