Расширенный поиск
Все разделы
Корзина
у вас нет товаров

Математическая логика

Основы математической обработки информации. Часть I. Алгебра логики. Практикум по решению задач Пиотровская К.Р., Сазонова Н.В.

Основы математической обработки информации. Часть I. Алгебра логики. Практикум по решению задач

Пиотровская К.Р., Сазонова Н.В.
Учебное пособие является частью учебно-методического комплекса по дисциплине «Основы математической обработки информации», читаемой в академическом бакалавриате по педагогическим специальностям. Учебное пособие включает краткий теоретический курс, посвященный алгебре логики, подробные разборы решений типовых задач, а также задачи различного уровня сложности для самостоятельного...
Прикладная логика Попов С.В., Брошкова Н.Л.

Прикладная логика

Попов С.В., Брошкова Н.Л.
Логический формализм рассматривается как инструмент для формулировки и решения содержательных задач. Анализируются его два аспекта: семантический — установление выполнимости логических функций — и синтаксический — построение выводов в логическом исчислении. Основная задача книги состоит в выделении так называемых локальных задач, которые характеризуются простыми процедурами...
Элементы математической логики Тарасенко А.В., Егорова И.П.

Элементы математической логики

Тарасенко А.В., Егорова И.П.
Учебное пособие содержит краткое изложение теоретического материала по основным разделам математической логики, подробное решение наиболее типичных задач, большое количество упражнений для самостоятельной работы студентов. Учебное пособие написано для студентов 2 курса факультета информационных систем и технологий очной формы обучения.
Вводный курс математической логики Успенский В.А.

Вводный курс математической логики

Успенский В.А.
В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов...
12
Вверх