Вводный курс математической логики — В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 1-го порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций. Для студентов математических факультетов университетов, педагогических институтов, а также вузов с углубленным изучением информатики и кибернетики.
Название: Вводный курс математической логики Автор: Успенский В. А., Верещагин Н. К., Плиско В. Е. Издательство: Физматлит Год: 2004 Страниц: 128 Формат: PDF Размер: 10,61 Мб ISBN: 5-9221-0278-8 Качество: Отличное
Содержание:
Введение Глава 1. Элементы теории множеств § 1. Основные понятия теории множеств § 2. Бинарные отношения и функции § 3. Взаимно однозначные соответствия и эквивалентные множества § 4. Счетные множества § 5. Канторовский диагональный метод § 6. Кардинальные числа, или мощности § 7. Теорема Кантора § 8. Парадоксы теории множеств § 9. Аксиоматическая теория множеств Глава 2. Языки первого порядка § 1. Высказывания и высказывательные формы § 2. Логические операции § 3. Логика высказываний § 4. Кванторы § 5. Субъектно-предикатная структура предложений § 6. Языки первого порядка § 7. Примеры языков первого порядка § 8. Определение интерпретации § 9. Формальное определение истинности § 10. Общезначимые формулы, выполнимые формулы, равносильные формулы § 11. Предваренные формулы § 12. Истинность в конечных интерпретациях § 13. Изоморфизмы и элементарная эквивалентность § 14. Выразимость. Доказательство невыразимости с помощью автоморфизмов Глава 3. элементы теории доказательств § 1. Аксиоматический метод § 2. Логическое следование § 3. Тавтологическое следствие § 4. Исчисление предикатов § 5. Вывод из гипотез § 6. Теории первого порядка § 7. Формальная арифметика Глава 4. Теорема Гёделя о полноте § 1. Расширение теории § 2. Каноническая интерпретация теории § 3. Доказательство теоремы о полноте § 4. Некоторые следствия теоремы Гёделя о полноте § 5. Математические применения теоремы о полноте и ее следствий § 6. Категоричность Глава 5. Теория алгоритмов § 1. Вычислимые функции § 2. Разрешимые множества § 3. Полуразрешимые множества § 4. Свойство пошагового выполнения алгоритма и его следствия § 5. Универсальная вычислимая функция § 6. Перечислимость множества теорем § 7. Машины Тьюринга § 8. Универсальная вычислимая по Тьюрингу функция § 9. Тезис Чёрча Список рекомендуемой литературы Предметный указатель
На сайте Terraincognito всегда новый и свежий хороший Софтяк, Драйвера, Мультимедиа и Редакторы, а так же найдёте Юмор и Демотиваторы, Обои на Рабочий стол, Видеоуроки, Игры, всё для Графики и дизайна, Книги и журналы, есть много Познавательного, Загадки планеты, о событиях в мире, как реальном так и виртуальном ! Каждий у нас найдёт что скачать, причем бесплатно (для ознакомления). Уважаемые гости и посетители, всегда рады Вас видеть на сайте! Регистрируемся у Нас на сайте Terraincognito!
На сайте AvtorMuzik представлено множество все различных музыкальных клипов, сборников, песен и концертов. Такие направления и жанры, как рок, Dubstep & Drumstep, шансон, рэп, поп, dance, techno, metall и другие Вы найдете у нас. Каждый сможет подобрать Mp3 альбом по своему вкусу. Всегда рады Вас видеть!
В мире компьютерных технологий на сайте Mirinfi.info! Расскажем про цифровые технологии, много статьей о железе, обзоры конференций и выставок известных брендов IT технологий, представим рынок IT, всё о событиях в мире, как реальном так и виртуальном !
Категория: Книги и журналы |
Просмотров: 172 |
Добавил: pmojka
| Теги:
| Рейтинг: 0.0/0
