Название: Конечно аксиоматизируемые теории Автор: Перетятькин М.Г. Издательство: Научная книга Год: 1997 Формат: PDF, djvu Страниц: 327 Размер: 12,91 Мб Язык: русский
Описывается универсальная конструкция, осуществляющая сведение многих проблем для конечно аксиоматизируемых теорий к более простому случаю рекурсивно аксиоматизируемых теорий. Представлено компактное замкнутое изложение решения проблемы Ханфа и проблемы Воота — Морли. Даны аналоги теоремы Раиса для предложений, характеризация алгебры Линденбаума логики предикатов, классификация схожести теорий. Для интересующихся математической логикой.
Математическая логика и теория алгоритмов Название: Математическая логика и теория алгоритмов Автор: Макоха А. Н., Шапошников А. В., Бережной В. В. Издательство: изд-во СКФУ Год: 2017...
Элементы математической логики (1973) Название: Элементы математической логики Автор: Новиков П.С. Издательство: М.: Наука Год: 1973 - 2-изд., испр. Cтраниц: 401 Формат: pdf Размер: 23...
Математическая логика для социологов Название: Математическая логика для социологов Автор: Гуц А.К. Издательство: Омский государственный университет Год: 2017 Страниц: 192 Формат: djvu...
Введение в математическую логику Название: Введение в математическую логику Автор: А.Н. Колмогоров, А.Г. Драгалин Издательство: МГУ Год: 1982 Формат: pdf Страниц: 121 Размер: 51,5 Mb...
Аристотель и традиционная логика Название: Аристотель и традиционная логика Автор: Бочаров В.А. Издательство: Изд-во Московского ун-та Год издания: 1984 Количество страниц: 135...
Булева структура и ее модели Название: Булева структура и ее модели Автор: Яглом И.М. Издательство: М.: Советское радио Год: 1980 Формат: pdf Страниц: 192 Размер: 15 mb Язык:...
Информация
Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.
Навигация
Вход на сайт
Реклама
Конечно аксиоматизируемые теории 
