Софт,игры и все самое лучшее для нетбука и ПК...
Четверг, 28.03.2024, 15:04



Приветствую Вас Гость | RSS
[ Главная ] [ ] [ Регистрация ] [ Вход ]

Меню сайта

Категории раздела
Софт ( программы ) [102]
Скачать драйвера [3]
Музыка / Клипы [3775]
Фильмы бесплатно [151]
Советские мультфильмы бесплатно [55]
Современные мультфильмы [16]
Аудиокниги бесплатно [565]
Игры для нетбука и ПК [410]
Эротические игры для нетбука и ПК [37]
JAVA игры для мобилы [8]
Софт, игры для Android [70]
Литература / книги [7108]
Радиотехнические книги [281]
Компьютерные книги [642]
Журналы [712]
Компьютерные журналы [82]
Радиотехнические журналы [341]
Игровые журналы [10]
Рамки для фотошопа [32]
Шаблоны для фотошопа [102]
ФОТО (обои - девушки) [92]
Картинки / Обои [154]
Видеоуроки [1643]
Обучающемуся, Учебники, Пособия, ЕГЭ, Шпаргалки [153]
Карты для навигатора [8]
Кряки/Crack [1]
Русификаторы [0]
NoDVD/NoCD [5]
Игры для iPad, iPhone, iPod Touch [30]
Программы для iPad, iPhone, iPod Touch [13]
Антивирус для нетбука скачать [2]
Файлообменники [2]
Разное [59]

Популярное
Скачать Живой аквариум на рабочий стол нетбука или компьютера 
Agent Dash на компьютер 
HTML5. Карманный справочник, 5-е издание 
Скачать ПДД 2013 экзамен, билеты на компьютер. Категории AB CD 
Скачать Майнкрафт 1.5.1 на нетбук / компьютер 
Скачать новый футбол PES 2014. ПЕС 2014 для нетбука, ноутбука, компьютера 
Medal Of Honor Warfighter (Медаль за отвагу) 
Скачать GTA Ментовский беспредел бесплатно для нетбука и ПК 
Скачать Тренажер ( программу ) по обучению вождения 
Сергеев Станислав. Товарищ жандарм (Аудиокнига) 

Наш опрос
Каким нетбуком вы пользуетесь
Всего ответов: 134

Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0

Мы ВКОНТАКТЕ

Форма входа

Книги по ПК





























































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


00:04

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


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

Название: Введение в математическую логику
Автор: Эллиот Мендельсон
Издательство: Наука
Год: 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




Полезный совет!
Достаточно часто бывает, что скачиваемая игра в конечном счете не оправдывает наши надежды. Чтобы не жалеть в дальнейшем, о зря потраченном времени, рекомендуем установить на свой компьютер или нетбук программу IObit Game Booster, которая подготовит Вашу операционную систему к оптимальной производительности перед запуском игровых приложений.



Поделитесь этой страницей с друзьями:

 

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

Амиго браузер
Браузер Амиго 


Поисковики

 


Полезный софт
CCleaner 3.23.1823

EVEREST

UltraISO 9.0 Premium

TuneUp Utilities

Total Commander

Acronis True Image Home

Advanced SystemCare Pro


Полезные статьи
Заработок на файлообменниках 
Как установить Windows XP с флешки 
Как установить Windows XP с диска 
Как установить Windows 7 с флешки 
Как удалить неудаляемое на компьютере 
Как ускорить систему Windows XP 
Ускорение Windows 7 
Удаление баннера с рабочего стола - не загружается в безопасный режим 
Как удалить порно баннер с рабочего стола - где находится, - универсальный способ 
Как настроить wifi на ноутбуке 

Календарь

Недавно читали
Вирус отключил диспетчер задач - как его включить 
Как удалить неудаляемое на компьютере 
Как установить Windows 7 с диска 
Открываем файлы формата dmg 
Почему компьютер ( ноутбук ) выключается сам по себе. Что делать? 
Как установить Windows XP с флешки 
Греется (перегревается) ноутбук / нетбук , что делать? 
Как установить Windows XP с диска 
Браузер не заходит на сайты 
Начинающий компьютерный мастер –необходимые приборы и инструменты 

Недавно скачивали
Новые обои с красивыми интерьерами различных помещений (Часть 7) 
Deadly Dozen 
Профессиональный поиск в Интернете 
Annihilator 1.01 
American Chopper 
Mob Enforcer 
Ballerburg 
Арчер Натан. Хищник. Бетонные джунгли (Аудиокнига) 
Подборка обоев с величественными замками разных стран (Часть 4) 
Интернет. Энциклопедия. 3-е изд. 

Где заработать?


FileSpace-новый файлообменник, платит единую сумму независимо от размера файла, начисляет 50% с продаж. Дополнительные бонусы на своем сайте. Платит даже за недокачанные файлы. Условия работы просто отличные! Спешите заработать!



Популярные игры
























































Друзья сайта
Компьютерная помощь

Ремонт компьютера и ноутбука своими руками



Copyright MyCorp © 2024
Бесплатный хостинг uCoz