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

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

blank
blank
blank
Красота
blank
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики
Успенский В.А., Верещагин Н.К., Плиско В.Е. — Вводный курс математической логики



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



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


Название: Вводный курс математической логики

Авторы: Успенский В.А., Верещагин Н.К., Плиско В.Е.

Аннотация:

В учебном пособии содержится материал основного курса «Введение в математическую логику», читаемого на механико-математическом факультете МГУ. Излагаются элементы теории множеств, основные понятия, относящиеся к семантике формализованных логико-математических языков первого порядка, исчисление предикатов и теорема о его полноте, дается введение в теорию алгоритмов и вычислимых функций.
Для студентов математических факультетов университетов, педагогических институтов, а также других вузов с углубленным изучением информатики и кибернетики.


Язык: ru

Рубрика: Computer science/Алгоритмы/

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

ed2k: ed2k stats

Издание: второе

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
modus ponens      63
Автоморфизм      51
Аксиома      56
Аксиома бесконечности      18
Аксиома выбора      18
Аксиома выделения      18
Аксиома множества всех подмножеств      17
Аксиома объединения      17
Аксиома объемности      17
Аксиома пары      17
Аксиома подстановки      18
Аксиома равенства      63
Аксиома фундирования      18
Аксиомы Пеано      77
Алгоритм      93
Алфавит      10
Алфавит рабочий      109
Ансамбль      95
Арифметика Пеано      77
Буква      10
Валентность      28
Вывод      63
Вывод из гипотез      69
Вывод сокращенный      67
Высказывание      19
Вычисление      112
Вычисление безрезультатное      112
Гипотезы      69
Дизъюнкция      22
Доказательство      61 73
Закон двойного отрицания      23
Закон исключенного третьего      23
Закон логический      23
Закон Пирса      23
Закон противоречия      23
Запись программы      119
Значение функции      7
Изоморфизм      47
Импликация      22
Имя      20
Индукция по построению      28
Интерпретатор      104
Интерпретации элементарно эквивалентные      47
Интерпретация      34
Интерпретация изоморфная      47
Интерпретация стандартная      34
Истинностная таблица      22
Истинностное значение      19 36
Исчисление предикатов      62
Каноническая интерпретация теории      81
Квантор      24
Квантор общности      24
Квантор существования      25
Кванторная приставка      30
Класс      17
Команда      110
Композиция отношений      7
Константа      27
Конструктивный объект      94
Континуум-гипотеза      15
Конфигурация      111
Конфигурация начальная      112
Конъюнкция      22
Кортеж длины n      7
Лемма Генкина      85
Лемма Линденбаума      80
Логическая операция      21
Логический символ      28
Логическое следствие      58
Машина Тьюринга      109
Множества равномощные      9
Множества эквивалентные      10
Множество      6
Множество дедуктивно замкнутое      73
Множество значений      7
Множество линейно упорядоченное      57
Множество непротиворечивое      71
Множество перечислимое      101
Множество полуразрешимое      96
Множество противоречивое      71
Множество пустое      6
Множество разрешимое      95
Множество семантически полное      59
Множество совместное      58
Множество строго частично упорядоченное      8
Множество счетное      10
Множество универсальное      106
Множество частично упорядоченное      8
Модель      58
Модель арифметики нестандартная      88
Мощность      14
Мощность континуума      15
Номер вычислимой функции      105
Носитель интерпретации      34
Нумерация вычислимых функций      105
Область определения      7
Область применимости алгоритма      93
Объединение      6
Операция пропозициональная      23
Отношение антисимметричное      8
Отношение бинарное      7
Отношение иррефлексивное      8
Отношение обратное      7
Отношение рефлексивное      8
Отношение симметричное      8
Отношение транзитивное      8
Отношение эквивалентности      8
Отрицание      21
Оценка      36
Парадокс Кантора      16
Парадокс Рассела      16
Параметр      20
Переменная      19 28
Переменная пропозициональная      2
Переменная свободная      20 30
Переменная связанная      20 30
Пересечение      6
Подмножество      6
Подмножество собственное      6
Подстановка      31
Поле нулевой характеристики      90
Порядок плотный линейный      60
Порядок частичный      8
Порядок частичный строгий      8
Последовательность      8
Последовательность вычислимая      99
Постулат      56
Правила Бернайса      67
Правило вывода      63
Правило вывода производное      66
Правило заключения      63
Правило обобщения      63
Правило силлогизма      63
Правило тавтологического следствия      63
Предикат      26
Предикат выразимый      51
Предикат равенства      27
Предикатный символ      28
Принцип математической индукции      77
Программа      105 110
Проекция      98
Произведение декартово      7
Произведение отношений      7
Произведение прямое      7
Равные множества      6
Разность      6
Расширение теории      80
Результат вычисления в сильном смысле      112
Результат вычисления в слабом смысле      112
Связка пропозициональная      23
Сигнатура      27
Слово      10
Соответствие взаимно однозначное      9
Субъект      26
Схема аксиом      77
Тавтологическое следствие      61
Тавтология      23 38
Тезис Чёрча      121
Теорема      61 73
Теорема Генкина      84
Теорема Гёделя о полноте      86
Теорема интерполяционная      24
Теорема Кантора      15
Теорема Кантора-Бернштейна      15
Теорема компактности      24
Теорема Линденбаума      80
Теорема Мальцева локальная      88
Теорема Мальцева о компактности      88
Теорема об универсальной функции      104
Теорема Поста      102
Теория      74
Теория $\mathfrak m$-категоричная      92
Теория Генкина      82
Теория групп      56
Теория дедуктивная      73
Теория дедуктивно полная      75
Теория линейно упорядоченных множеств      58
Теория неполная      75
Теория первого порядка      74
Теория полей      57
Теория полная      75
Теория разрешимо аксиоматизируемая      107
Теория семантическая      73
Теория элементарная      74 75
Терм      28
Терм оцененный      36
Форма k-местная      20
Форма высказывательная      20
Форма именная      20
Формальная арифметика      76
Формула      29
Формула атомная      29
Формула выводимая      63
Формула выполнимая      39
Формула закрытая      31
Формула замкнутая      31
Формула конечно-общезначимая      44
Формула общезначимая      37 44
Формула оцененная      36
Формула предваренная      42
Формула пропозициональная      23
Формула тождественно истинная      37
Формула элементарная      29
Формулы равносильные      39
Функциональный символ      28
Функция      7
Функция взаимно однозначная      9
Функция вычислимая      94
Функция вычислимая по Тьюрингу      113
Функция тождественная      8
Функция универсальная      104
Функция характеристическая      14 96
Функция частичная      94
Характеристика поля      90
Число кардинальное      14
Эквивалентность      22
Элемент максимальный      9
Язык первого порядка      27
Язык теории множеств      33
Язык формальной арифметики      33
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте