Издательский центр
«Академия»
Вход
Регистрация
На главную
Номер страницы:
Содержание
Предисловие
Введение
Часть I. содержательная (СЕМАНТИЧЕСКАЯ МАТЕМАТИЧЕСКАЯ логика
Введение
глава 1. алгебра высказываний
1.1Высказывания.и.операции.над.ними
1.2Формулы.алгебры.высказываний
1.3Тавтологии.алгебры.высказываний
1.4Логическая.равносильность.формул
1.5Нормальные.формы.для.формул.алгебры.высказываний
1.6Логическое.следование.формул
1.7Приложение.алгебры.высказываний
к.логико-математической.практике
глава 2. Булевы функции
2.1Булевы.функции.от.одного,.двух.и.n.аргументов
2.2Применение.булевых.функций.к.теории.дискретных
преобразователей.информации
2.3Релейно-контактные.и.функциональные.схемы
в.компьютерах
глава 3. логика предикатов
3.1Основные.понятия,.связанные.с.предикатами
3.2Логические.операции.над.предикатами
3.3Кванторные.операции.над.предикатами
3.4Формулы.и.тавтологии.логики.предикатов
3.5Равносильные.преобразования.формул.и.логическое
следование.формул.логики.предикатов
3.6Применение.логики.предикатов.к.логико-математической
практике
Часть II. Формальная (СИНТАКСИЧЕСКАЯ МАТЕМАТИЧЕСКАЯ логика
Введение
глава 4. Формализованное исчисление высказываний
4.1Система.аксиом.и.теория.формального.вывода
высказываний
4.3Независимость.системы.аксиом.формализованного
исчисления.высказываний
глава 5. Формализованное исчисление предикатов
5.1Система.аксиом.и.теория.формального.вывода
5.2Полнота.и.другие.свойства.формализованного.исчисления
предикатов
Часть III. АКСИОМАТИЧЕСКИЙ метод в математике
Введение
глава 6. содержательные аксиоматические теории
6.1Аксиоматический.метод.в.математике
и.аксиоматические.теории
6.2Свойства.аксиоматических.теорий
глава 7. Формальные аксиоматические теории
7.1Понятие.формальной.аксиоматической.теории
7.2Формальные.аксиоматические.математические.теории
первого.порядка
7.3Примеры.формализованных.аксиоматических
математических.теорий.первого.порядка
математических.теорий.первого.порядка
7.5Дальнейшие.примеры.формальных.аксиоматических
математических.теорий.первого.порядка
Заключение. Как.изучать.математику.и.обучать.математике
после.изучения.курса.математической.логики
Список.литературы
Элементы математической логики
Внимание - режим тестирования!
Для приобретения лицензии на
он-лайн чтение
обратитесь к менеджеру!