!_Расширенный поиск_!    <НА ГЛАВНУЮ>

Скачать "Судоплатов С.В., Овчинникова Б.В. - Математическая логика и теория алгоритмов" бесплатно

Панель управления
Логин 
Пароль 
 


Основные категории

-- Книги
-- Аудиокниги
-- Журналы
-- Фильмы


Информация
Все вопросы и пожелания пишите на [email protected]
Правообладателям
Расширенный поиск
по сайту
Математическая логика и теория алгоритмов : Программирование, Математика, физика, химия
автор: MIHAIL62 | 28 марта 2019 | Просмотров: 358
 
Математическая логика и теория алгоритмов     Название:   
    Автор:   
    Формат:   PDF
    Размер:   20.4 Мб
    Год:   
    Качество:   Нормальное
    Язык:   Русский
    Страниц:   224
    ISBN:   5-16-001975-8, 5-7782-0458-2

 
 

В книге излагаются основные исчисления математической логики: исчисления высказываний и исчисления предикатов; основы теории моделей и теории алгоритмов, а также элементы неклассических логик.
Для студентов младших курсов технических вузов, изучающих математическую логику и теорию алгоритмов.

Оглавление

Предисловие
Введение
Исчисление высказываний
Определение формальногo исчисления
Исчисление высказываний генценовскоro типа
Эквивалентность формул
Нормальные формы
Семантика исчислении секвенций
Исчисление высказываний гильбертовского типа
Алгоритмы проверки общезначимости и противоречивости в ИB
Логические задачи
Задачи и упражнения
Логика и исчисления предикатов
Формулы сигнатуры ?. Истинность формулы на aлгебраической системе
Секвенциальное исчисление предикатов
Эквивалентность формул в ИПС?
Нормальные формы
Теорема о существовании модели
Исчисление предикатов гильбертовского типа
Скулемизация алгебраических систем
Meтoд резолюций в исчислении предикатов
Логические программы
Задачи и упражнении
Элементы теории моделей
Элементарная эквивалентность. Teopeмы Лёвенгейма-Скулема
Элементарные теории
Типы. Основные классы моделей
Категоричность. Спектры моделей полных теорий
Система аксиом арифметики Пеано
Нестандартные модели арифметики
Задачи и упражнения
Элементы теории алгоритмов
Машины Тьюринга
Рекурсивные функции и отношении
Эквивалентность моделей алгоритмов
Универсальныe частично рекурсивные фyнкции. Теорема Райса
Рекурсивно пepeчислимые отношения
Неразрешимость исчисления предикатов. Теорема Гёделя о неполноте. Разрешимые и неразрешимые теории.
Xapaктepистики сложности aлгoритмов
Переборные задачи
Aлгоpитмы сортировки
Конечные автоматы
Задачи и упражнения
Нeклaccичecкие логики
Пропозициональные логики
Предикатные лoгики
Предикатные временные логики и их приложение к программированию
Aлгоpитмичecкиe логики
Список литeратуры
Предметный указатель









Сосчитайте:   69 + один – 3 =      и нажмите   






Разместите ссылку на эту страницу в социальных сетях. Так о ней узнают тысячи человек:





Нашли ошибку? Сообщите администрации сайта:
Выберите один из разделов меню и, если необходимо, напишите комментарий
   69 + один – 2 =    
За ложную информацию бан на месяц


Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

Код для вставки на сайт или в блог:      
Код для вставки в форум (BBCode):      
Прямая ссылка на эту публикацию:      


Помощь по работе с нашей библиотекой :

Программа для открытия файлов формата .PDF
Программа для открытия файлов формата .DJVU
Программа для открытия файлов формата .FB2

 
 
  • 0
 (голосов: 0)
Распечатать
 
 


Другие книги (журналы) по этой теме:
 
Математическая логика и теория алгоритмов (2019) | Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И. | Математика, физика, химия | Скачать бесплатно Вайнштейн Ю.В., Пенькова Т.Г., Вайнштейн В.И. - Математическая логика и теория алгоритмов (2019)

Изложены темы, традиционно изучаемые в курсе математической логики и теории алгоритмов: алгебра логики и исчисление высказываний, логика и исчисление предикатов, формальные аксиоматические теории, теория алгоритмов и теория вычислительной сложности.
 
 
Введение в математическую логику | Эллиот Мендельсон | Математика, физика, химия | Скачать бесплатно Эллиот Мендельсон - Введение в математическую логику

Введение в математическую логику — В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделе ...
 
 
Вводный курс математической логики | Успенский В.А., Верещагин Н.К., Плиско В.Е. | Математика, физика, химия | Скачать бесплатно Успенский В.А., Верещагин Н.К., Плиско В.Е. - Вводный курс математической логики

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

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



Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
Если это не так - свяжитесь с администрацией сайта.
Материал будет немедленно удален.
Электронная версия этой публикации предоставляется только в ознакомительных целях.
Для дальнейшего её использования Вам необходимо будет
приобрести бумажный (электронный, аудио) вариант у правообладателей.

Администрация сайта

Наверх