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

Год ( По возрастанию | По убыванию )

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

Прикладная логика Попов С.В., Брошкова Н.Л.

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

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

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

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