Четверг, 16.01.2025, 14:12
Приветствую Вас Гость | RSS
Меню сайта
RSS
Поиск
Мини-чат
Наш опрос
На что делать акцент?
Результаты | Архив опросов
Всего ответов: 55
Реклама
Главная » Файлы » Книги » Уроки, обучение, курсы
Введение в математическую логику
08.12.2015, 04:51

Введение в математическую логику — В книге дается доступное для начинающего читателя и достаточно полное изложение основных разделов современной математической логики и многих ее приложений. Наряду с такими разделами, как логика высказываний, исчисление предикатов, формальная арифметика и теория алгоритмов, в ней освещены также теория моделей и аксиоматическая теория множеств.
Следует однако отметить, что в этой книге по существу не затрагиваются интуиционистское и конструктивное направления математической логики. Изложение материала в книге ясное и лаконичное. Основной текст перемежается с большим числом примеров и упражнений. В упражнения автор вынес также некоторые результаты, используемые затем в основном тексте. Это, наряду с лаконичностью изложения, способствовало сокращению размеров книги при весьма обширном содержании. Переводчик и редактор перевода позволили себе без специальных оговорок и примечаний исправить ряд неточностей и опечаток, имевшихся в оригинале, а также привести терминологию и обозначения в соответствие с принятыми в русской литературе. Книгу Э. Мендельсона можно рекомендовать в качестве пособия не только студентам и аспирантам, специализирующимся по математической логике, но также всякому, кто захочет начать систематическое изучение этого предмета.

Название: Введение в математическую логику
Автор: Эллиот Мендельсон
Издательство: Наука
Год: 1976
Страниц: 320
Формат: PDF
Размер: 21,14 МБ
Качество: отличное
Язык: русский

Содержание:

От редактора перевода
Предисловие
Введение
Глава 1. Исчисление высказываний
§ 1. Пропозициональные связки. Истинностные таблицы
§ 2. Тавтологии
§ 3. Полные системы связок
§ 4. Система аксиом для исчисления высказываний
§ 5. Независимость. Многозначные логики
§ 6. Другие аксиоматизации
Глава 2. Теории первого порядка
§ 1. Кванторы
§ 2. Интерпретации. Выполнимость и истинность. Модели
§ 3. Теории первого порядка
§ 4. Свойства теорий первого порядка
§ 5. Теоремы о полноте
§ 6. Некоторые дополнительные метатеоремы
§ 7. Правило С
§ 8. Теории первого порядка с равенством
§ 9. Введение новых функциональных букв и предметных констант
§ 10. Предваренные нормальные формы
§ 11. Изоморфизм интерпретаций. Категоричность теорий
§ 12. Обобщенные теории первого порядка. Полнота и разреши­мость
Глава 3. Формальная арифметика
§ 1. Система аксиом
§ 2. Арифметические функции и отношения
§ 3. Примитивно рекурсивные и рекурсивные функции
§ 4. Арифметизация. Гёделевы номера
§ 5. Теорема Гёделя для теории S
§ 6. Рекурсивная неразрешимость. Теорема Тарского. Система
Робинсона
Глава 4. Аксиоматическая теория множеств
§ 1. Система аксиом
§ 2. Порядковые числа
§ 3. Равномощность. Конечные и счетные множества
§ 4. Теорема Хартогса. Начальные порядковые числа. Арифметика порядковых чисел
§ 5. Аксиома выбора. Аксиома ограничения
Глава 5. Эффективная вычислимость
§ 1. Нормальные алгорифмы Маркова
§ 2. Алгорифмы Тьюринга
§ 3. Вычислимость по Эрбрану-Гёделю. Рекурсивно перечислимые множества
§ 4. Неразрешимые проблемы
Дополнение. Доказательство непротиворечивости формальной арифметики
Литература
Алфавитный указатель
Символы и обозначения



Категория: Уроки, обучение, курсы | Добавил: pmojka | Теги: математическую, логику, 1976, Введение
Просмотров: 587 | Загрузок: 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

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

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

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