Saytik+© Всё самое интересное в сети
        Saytik+
Вход | Регистрация
Приветствуем Вас ,Гость, на нашем сайте "Saytik+" !
У нас Вы можете скачать программы (софт),обои для рабочего стола,игры для Вашего ПК,а также музыку,фильмы,книги,скрипты и многое другое.Вы можете не только пользоваться материалами сайта,но и добавлять свои (для этого достаточно лишь зарегистрироваться на сайте).
Пятница, 24.05.19
Время: 
21:31
   



Навигация
Реклама от Так.ру


Наш опрос
--- Откуда Вы узнали о нас ? ---


Всего проголосовало: 498
Интересное
Популярное
Новое на форуме
 Сеть автомастерских  Ответов:(0)
 Сеть автомастерских  Ответов:(0)
 Купить Датчики для вашего авто в Киеве!  Ответов:(0)
Друзья сайта


Архив материалов
Реклама


Главная » Литература » Скачать Введение в математическую логику

Вы находитесь в категории "Литература" на странице материала "Введение в математическую логику", любезно предоставленного для Вашего ознакомления с ним нашим пользователем Gunpowder. На этой странице Вы можете ознакомиться с материалом "Введение в математическую логику", скачать его с любого из доступных файлобменников, оставить комментарий, а также поделиться ссылкой на данный материал с друзьями и знакомыми.

 

Введение в математическую логику

Автор: Gunpowder , Дата: 07.12.15,21:31
Просмотров: 355


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

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

Содержание:

От редактора перевода
Предисловие
Введение
Глава 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. Неразрешимые проблемы
Дополнение. Доказательство непротиворечивости формальной арифметики
Литература
Алфавитный указатель
Символы и обозначения

Скачать Введение в математическую логику
Скачать с dfiles.ru
Скачать с turbobit.net
Скачать с hitfile.net
Скачать с uploaded.net
Читайте наши новости через RSS
Все новости по теме: «Введение в математическую логику» 

Категория: Литература | Теги: математическую, логику, 1976, Введение | Рейтинг: 0.0/0

Новости по теме:


Поделись ссылкой с друзьями: - Ссылка

- BBCode

- HTML

Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]



Внимание: Все выложенные здесь материалы предоставлены исключительно в целях ознакомления! После ознакомления с материалами Вы обязаны их удалить! Если вы хотите пользоваться данным материалом в дальнейшем – вы должны приобрести лицензию. Не удалив материал после ознакомления, вы берёте на себя ответственность, согласно действующему законодательству. Все авторские и другие права на данные материалы принадлежат их правообладателям. Любое использование данных материалов (в том числе - коммерческое), кроме ознакомления – является незаконным! За последствия, возникшие в процессе ознакомления с материалами этого сайта, равно как и за применение опубликованных программ ответственность несете только Вы сами!
Наш сайт не является инстанцией, однозначно определяющей критерии соответствия ресурсов действующему законодательству , и поэтому не несет никакой ответственности как за содержание материала «Введение в математическую логику» ,так и за содержание других материалов.


Вверх
Авторизация
Гость!



Логин:


Пароль:
Забыл пароль  |  Регистрация
Календарь
«  Декабрь 2015  »
ПнВтСрЧтПтСбВс
 123456
78910111213
14151617181920
21222324252627
28293031
Облако тегов
Для отображения блока требуется Flash Player 10
Показать все теги
СМИ-это интересно
Наша кнопка
Вы можете разместить нашу кнопку у Вас на сайте



Получить код кнопки:

Все рекламные материалы
Стоит взглянуть...
Статистика
тИЦ и PR сайта romale80.ucoz.ru
Онлайн пользователи:
Всего online: 1
Незарегистрированных: 1
Пользователей: 0

Лучшие пользователи:
Приветствуем новичка:

На правах рекламы


Кто на сайте ?
Новое у партнера
Счетчики

Раскрутка сайта - регистрация в каталогах
Рейтинг@Mail.ru


ВНИМАНИЕ!
Все файлы расположенные на данном ресурсе были взяты из открытых источников. Любая информация представленная здесь, может использоваться только в ознакомительных целях, после чего вы обязаны ее удалить. Сайт не предоставляет электронные версии произведений и ПО, а занимается индексированием файлов, находящихся в файлообменных сетях. Все права на произведения и ПО принадлежат правообладателям. Ни основатель проекта, ни хостинг-провайдер, не любые другие физические или юридические лица не несут никакой ответственности за использование материалов сайта. Заходя на сайт под своим аккаунтом вы автоматически соглашаетесь с данными условиями.   [Правообладателям]

©2009 - 2019 Saytik+romale80.ucoz.ru           
Получить кнопку|Get button