Воскресенье, 06.10.2024, 11:14
Приветствую Вас Гость | RSS
Меню сайта
RSS
Поиск
Мини-чат
Наш опрос
С чего пришли к нам на сайт?
Результаты | Архив опросов
Всего ответов: 171
Реклама
Главная » Файлы » Книги » Уроки, обучение, курсы
Вводный курс математической логики
10.04.2016, 03:02

Вводный курс математической логики — В пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков 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. Тезис Чёрча
Список рекомендуемой литературы
Предметный указатель



Категория: Уроки, обучение, курсы | Добавил: pmojka | Теги: 2004, Вводный, курс, математической, логики
Просмотров: 283 | Загрузок: 0
Рейтинг: 0.0/0
Уважаемый Гость! Если ссылка на материал битая, просим вас сообщить нам кликнув по ссылке ниже, и написав жалобу, что сссылка битая! Жаловаться на материал

Похожие публикации:

Поделись ссылкой

  • -ссылка
  • -BBCode
  • -HTML

    • Всего комментариев: 0
    Добавлять комментарии могут только зарегистрированные пользователи.
    [ Регистрация | Вход ]
    Пятерка последних добавленных игр:
    Magicka: Wizard Wars (2015/PC/RUS)
    Last Inua (2014/PC/RUS)
    Cargo 3 (2014/ENG/MULTi6)
    Фантастическая рыбалка / Fantastic Fishing v. Новый Год 2015 (2014/Rus/PC)
    GTA San Andreas - Русская зима v.0.1 (2015/ RUS) PC repack jn lucky
    Пятерка последних добавленных видео:
    Михаил Зуев-Ордынец - Желтый тайфун (1928) pdf, djvu
    Джеймс Хэдли Чейз - Собрание сочинений (1991-1995) fb2
    Александр Беляев - Остров погибших кораблей (Аудиокнига)
    Александр Беляев - Остров погибших кораблей (Аудиокнига)
    Эжен Сю - Сборник произведений (2011) fb2
    Авторизация
    Привет: Гость
    Группа: Гости
    Сообщения:

    Гость, мы рады вас видеть. Пожалуйста зарегистрируйтесь или авторизуйтесь!

    Облачко тегов
    Топ постеров
    pmojka
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 44599
    felix4
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 6389
    zyzy
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 4820
    Синица
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 4453
    19Anton98
    Репутация: 0
    Пол: Мужчина
    Комментов: 0
    Публикаций: 2959
    Последнее на форуме
    Статистика
    » Зарег. на сайте
    Всего: 247
    Новых за месяц: 0
    Новых за неделю: 0
    Новых вчера: 0
    Новых сегодня: 0
    » Из них
    Администраторов: 1
    Модераторов: 1
    Журналисты: 35
    Проверенных: 1
    Обычных юзеров: 205
    » Из них
    Парней: 209
    Девушек: 38

    Онлайн всего: 2
    Гостей: 2
    Пользователей: 0
    Пользователи, посетившие
    сайт за текущий день :

    Вверх
    WMmail.ru - сервис почтовых рассылок Web-IP.ru - Система Активной Рекламы

    Copyright dga.ucoz.ru © 2008 - 2017 | Конструктор сайтов - uCoz
    Главная | Скачать софт | Скачать фильмы | Скачать игры | Скачать музыку | Скачать обои | Скачать книги | Sitemaprss
    Все файлы и ссылки на файлы, выложенные на сайте, были найдены в сети интернет как свободно распространяемые и предоставлены лишь для ознакомления с ними, последующим удалением с вашего компьютера и покупкой (при необходимости) у авторов продукции. Если вы являетесь правообладателем какого либо контента и не желаете его свободного распространения, сообщите нам и нарушение будет устранено. Обратная связь