Бесплатная библиотека - 1 338 003 изданий в библиотеке

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

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

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

ЭЛЕМЕНТЫ ТЕОРИИ АЛГОРИТМОВ.
При изучении дискретной математики и формальных исчислений мы рассматривали большое количество различных алгоритмов. Это и алгоритм Евклида нахождения наибольших общих делителей, и алгоритмы нахождения кратчайших маршрутов во взвешенном графе, и алгоритм распознавания доказуемости формул исчисления высказываний.
Отметим несколько основных общих черт алгоритмов.
1. Алгоритм — это процесс последовательного построения (вычисления) величин, протекающий в дискретном времени так, что в начальный момент времени задается исходная конечная система величин, а в каждый последующий момент система величин получается по определенному закону (программе) из системы величин, имевшихся в предыдущий момент времени (дискретность алгоритма).
2. Система величин, получаемых в любой не начальный момент времени, однозначно определяется системой величин, полученных в предыдущие моменты времени (детерминированность алгоритма).
3. Закон получения последующей системы величин из предшествующей должен быть простым (элементарность шагов алгоритма).
4. Если способ получения последующей величины из какой-нибудь заданной величины не дает результата, то должно быть указало, что надо считать результатом алгоритма (направленность алгоритма).
Оглавление
Предисловие
Введение
Глава 1. Исчисления высказываний
§1.1. Определение формального исчисления
§1.2. Исчисление высказываний генценовского типа
§1.3. Эквивалентность формул
§1.4. Нормальные формы
§1.5. Семантика исчисления секвенций
§1.6. Исчисление высказываний гильбертовского типа
§1.7. Алгоритмы проверки общезначимости и противоречивости в ИВ
§1.8. Логические задачи
Задачи и упражнения
Глава 2. Логика и исчисления предикатов
§2.1. Формулы сигнатуры ?. Истинность формулы на алгебраической системе
§2.2. Секвенциальное исчисление предикатов
§2.3. Эквивалентность формул в IIПС?
§2.4. Нормальные формы
§2.5. Теорема о существовании модели
§2.6. Исчисление предикатов гильбертовского типа
§2.7. Скулемнзация алгебраических систем
§2.8. Метод резолюций в исчислении предикатов
§2.9. Логические программы
Задачи и упражнения
Глава 3. Элементы теории моделей
§3.1. Элементарная эквивалентность. Теоремы Лёвенгейма — Скулема
§3.2. Элементарные теории
§3.3. Типы. Основные классы моделей
§3.4. Категоричность. Спектры моделей полных теорий
§3.5. Система аксиом арифметики Пеано. Нестандартные модели арифметики
Задачи и упражнения
Глава 4. Элементы теории алгоритмов
§4.1. Машины Тьюринга
§4.2. Рекурсивные функции и отношения
§4.3. Эквивалентность моделей алгоритмов
§4.4. Универсальные частично рекурсивные функции. Теорема Райса
§4.5. Рекурсивно перечислимые отношения
§4.6. Неразрешимость исчисления предикатов. Теорема Гёделя о неполноте. Разрешимые и неразрешимые теории
§4.7. Характеристики сложности алгоритмов
§4.8. Переборные задачи
§4.9. Алгоритмы сортировки
§4.10. Конечные автоматы
Задачи и упражнения
Глава 5. Неклассические логики
§5.1. Пропозициональные логики
§5.2. Предикатные логики
§5.3. Предикатные временные логики и их приложение к программированию
§5.4. Алгоритмические логики
Задачи и упражнения
Список литературы
Предметный указатель.

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12806 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Источники питания моноблоков и телевизоров

    Источники питания моноблоков и телевизоров

    Название: Источники питания моноблоков и телевизоровАвтор: Лукин Н.В.Издательство: Наука и техникаГод: 1998Страниц: 136Формат: djvuРазмер: 3285 KBISBN: 5-88977-032-2В данной книге - `Источники пит . . .

  • Книга Источники питания современных телевизоров

    Источники питания современных телевизоров

    Название: Источники питания современных телевизоровАвтор: Ю. Фомичев Н. ЛукинИздательство: Наука и техникаГод: 1997Страниц: 100Формат: djvuРазмер: 2174 KBОписаны принципы формирования питающих напряже . . .

  • Книга Я сижу на берегу.

    Я сижу на берегу.

    Название: Я сижу на берегуАвтор: Рубен Давид Гонсалес ГальегоИздательство: Лимбус ПрессГод: 2005Формат: PDFРазмер: 1,4 МбISBN: 5-8370-0397-5Качество: хорошееЯзык: русскийОт автора: «Я сижу на берегу,Н . . .

  • Книга Каплан Р.С., Нортон Д.П Стратегические карты: Трансформация нематериальных активов в материальные результаты.

    Каплан Р.С., Нортон Д.П Стратегические карты: Трансформация нематериальных активов в материальные результаты.

    Название: Стратегические карты: Трансформация нематериальных активов в материальные результаты.Автор: Каплан Р.С., Нортон Д.ПИздательство: Олимп-БизнесГод: 2005Страниц: 493Формат: .pdfРазмер: 11.2 MbI . . .

  • Книга Журнал "Радио" №2 2007

    Журнал "Радио" №2 2007

    Название: Журнал 'Радио'Автор: коллективГод: 2007-02Страниц: 84Формат: djvuРазмер: 6 MbКачество: отличноеЯзык: русскийЕжемесячный журнал для радиолюбителей.Содержание номера:А. Долгий. От ЦКБ-17 — до . . .

  • Журнал Anna №5 2009

    Anna №5 2009

    Название: Anna №5 2009Издательство: BurdaГод издания: 2009Номер: № 5Язык: НемецкийCтраниц: 70Формат: JPEGРазмер: 13 МБОписание: Anna - популярный и известный журнал по рукоделию. В каждом номере предс . . .

  • Книга Тайны языческой Руси

    Тайны языческой Руси

    Название: Тайны языческой РусиАвтор: Ю.В и Ю.Г. МизунИздательство: ВечеГод: 2000Страниц: 448Формат: PDF (OCR)Размер: 2,2 MBISBN: 5-7838-0734-6Качество: хорошееСерия или Выпуск: Великие тайныЯзык: русс . . .

  • Книга Наерман М. С. - Справочник молодого шлифовщика

    Наерман М. С. - Справочник молодого шлифовщика

    Название: Справочник молодого шлифовщикаАвтор: Наерман М. С.Издательство: — М.: Высш. шк.Год: 1985.Страниц: 207 сФормат: DjvuРазмер: 1.87 MbКачество: HQЯзык: РусскийНаерман М. С. - Справочник молодого . . .

  • Журнал Knitting №490 1990

    Knitting №490 1990

    Название: Knitting №490 1990Издательство: HamakaГод издания: 1990Номер: 0490Язык: ЯпонскийCтраниц: 85Формат: JPEGРазмер: 22 МБОписание: Популярный японский журнал по вязанию спицами и крючком, с очень . . .

  • Журнал Knitting №2322 2005

    Knitting №2322 2005

    Название: Knitting №2322 2005Издательство: HamakaГод издания: 2005Номер: № 2322Язык: ЯпонскийCтраниц: 85Формат: JPEGРазмер: 26 МБОписание: Популярный японский журнал по вязанию спицами и крючком, с оч . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика и теория алгоритмов, Судоплатов С.В., Овчинникова Б.В., 2004. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.