Никольская И.Л. - Математическая логика :: Электронная библиотека попечительского совета мехмата МГУ

Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lib.mexmat.ru/books/1370
Дата изменения: Unknown
Дата индексирования: Sun Apr 10 02:08:23 2016
Кодировка: Windows-1251

Электронная библиотека Попечительского совета
механико-математического факультета
Московского государственного университета

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Поиск по указателям

Никольская И.Л. - Математическая логика

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Математическая логика

Автор: Никольская И.Л.

Аннотация:

Книга предназначена для учащихся техникумов по специальности 1750 'Прикладная математика' и содержит теоретический материал, соответствующий программе курса 'Математическая логика', а также упражнения для активного усвоения курса н приобретения необходимых навыков. Изложение базируется на знаниях по математике, полученных учащимися в восьмилетней школе, и на усвоенных ими языковых нормах. Предназначается для учащихся средних специальных учебных заведений.

Язык:

Рубрика: Математика/Алгебра/Математическая логика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1981

Количество страниц: 128

Добавлена в каталог: 21.03.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

n-местная высказывательная форма      68
n-местный предикат      70
n-местный предикатный символ      106
Алфавит      19 22 106
Анализ и упрощение переключательной схемы      63 64
Антецедент      15
Антирефлексивность      90
Антисимметричность      90
Аргумент      46
Бинарное отношение      89
Выражение импликации и эквиваленции через конъюнкцию, дизъюнкцию и отрицание      35 36
Высказывание      7
Высказывательная переменная      18 19
Высказывательная форма      7
Двойственные кванторы      101
Двойственные формулы      33
Декартово произведение множеств      69 70
Дизъюнктивная нормальная форма (д. н. ф.)      54 55
Дизъюнкция      12
Дизъюнкция высказывательных форм      78
Достаточное условие      41
Заключение      46
Закон двойного отрицания      30 31
Закон исключенного третьего      30 31
Закон контрапозиции      40
Закон противоречия      30
Закон тождества      30
Законы ассоциативности      30 31
Законы де Моргана      30 31
Законы дистрибутивности      30
Законы идемпотентности      30 31
Законы коммутативности      30 31
Законы поглощения      33
Законы склеивания      33
Замкнутая формула      107
Значение переменной      7
Значения истинности      11
Идентичные контакты      63
Импликация      15 16
Импликация высказывательных форм      78
Инверсные контакты      63
Интерпретация формулы      107
Квантификация высказывательных форм      95 97
Квантор общности      95
Квантор существования      95
Классификация      86
Консеквент      16
Конъюнктивная нормальная форма (к. н. ф.)      56
Конъюнкция      12
Конъюнкция высказывательных форм      77
Логическая операция      12
Логическая связка      9
Логически истинное предложение      27
Логические операции над высказывательными формами      77-79
Метаязык      22
Множество истинности предиката      72 73
Необходимое условие      41
Неправильный аргумент      46
Область действия квантора      106
Обратно-противоположные предложения      38 40
Обратные предложения      38 39
Общезначимая формула      108
Открытая формула      107
Отношение нестрогого порядка      93
Отношение следования между высказывательными формами      82

Отношение следования между формулами логики высказываний      44 45
Отношение следования между формулами логики предикатов      108
Отношение совершенного порядка      93
Отношение строгого порядка      93
Отношение эквивалентности      92
Отношения как многоместные предикаты      88 89
Отрицание      13
Отрицание высказывательной формы      77
Отрицание предложений с кванторами      100 101
Переключательная схема      61
Переменная      7
Посылка      46
Правила классификации      87
Правильный аргумент      46
Предваренная форма формулы      109
Предваренная формула      109
Предикат      69
Предикат-отношение      71
Предикат-свойство      71
Предметные переменные      83 84
Приведенная форма формулы      109
Принцип двойственности      33
Противоположные предложения      38 39
Равносильное преобразование      33 75
Равносильность высказывательных форм      74
Равносильность формул логики высказываний      29
Равносильность формул логики предикатов      108
Рефлексивность      89
Свободная в формуле переменная      107
Свободная переменная      95
Свободное вхождение переменной в формулу      106
Свойства как одноместные предикаты      85
Связанная переменная      95
Связанное вхождение переменной в формулу      106
Связанность      90
Симметричность      89
Синтаксис      22
Синтез переключательной схемы      64 65
Следование      см. 'Отношение следования'
Слово      22
Совершенная дизъюнктивная нормальная форма (с. д. н. ф.)      53 55 60
Совершенная конъюнктивная нормальная форма (с. к. н. ф.)      53 56 58
Сокращенный способ проверки аргументов      49-51
Составная формула      106
Составное предложение      9
Структура определений      43 44
Таблица истинности      11
Тавтология      27
Тождественно истинная формула      27
Тождественно истинный предикат      73
Тождественно ложный предикат      73
Транзитивность      90
Упорядоченная n-ка      69
Упрощение формулы      33
Формализованный язык      22
Формула      22
Формула логики высказываний      19
Формула логики предикатов      106
Численные кванторы      102
Штрих Шеффера      36
Эквиваленция      16 17
Эквиваленция высказывательных форм      79
Элементарная формула      19 106
Элементарное предложение      9
Язык-объект      22

О проекте