Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов :: Электронная библиотека попечительского совета мехмата МГУ

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

Авторизация

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

Красота

Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов

Лавров И.А., Максимова Л.Л. — Задачи по теории множеств, математической логике и теории алгоритмов

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

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

Название: Задачи по теории множеств, математической логике и теории алгоритмов

Авторы: Лавров И.А., Максимова Л.Л.

Аннотация:

В книге систематически изложены основы теории множеств, математической логики и теории алгоритмов в форме задач. Книга предназначена для активного изучения математической логики и смежных с ней наук. Состоит из трех частей: "Теория множеств", "Математическая логика" и "Теория алгоритмов". Задачи снабжены указаниями и ответами. Все необходимые определения сформулированы в кратких теоретических введениях к каждому параграфу. Сборник может быть использован как учебное пособие для математических факультетов университетов, педагогических институтов, а также в технических ВУЗах при изучении кибернетики и информатики. Для математиков-алгебраистов, логиков и кибернетиков.

Язык:

Рубрика: Математика/

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

ed2k: ed2k stats

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

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

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

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

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

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

$\exists$ -составляющая      86
$\exists$ -формула      75
$\exists\foral$ -формула      75
$\forall$ -формула      75
1—I-функция      14
K-подсистема      115
K-расширение      115
K-система      115
m-сводимость      133
Аксиома      60
Аксиома бесконечности      91
Аксиома выбора      20 40 91
Аксиома выделения      91
Аксиома замены      92
Аксиома индукции      91
Аксиома множества подмножеств      91
Аксиома множества-суммы      91
Аксиома объемности      91
Аксиома пары      91
Аксиома равенства      89
Аксиома регулярности      91
Аксиома теории P      90
Аксиома теории Q      90
Аксиома теории R      91
Аксиома теории ZF      91 92
Аксиома упорядоченной n-ки      96
Аксиома упорядоченной пары      96
Аксиома Цермело      40
Алгебра Линденбаума      66
Алгебра подмножеств      22
Алгебраическая система      70
Алгебраическая система нормальная      75
Алгоритм Евклида      39
Алфавит      46
Алфавит внешний для машины Тьюринга      122
Алфавит внутренних состояний машины Тьюринга      122
Алфавит исчисления      59 81
Ассоциативный закон для фильтрованных произведений      102
Базис замкнутого класса      54
Бесконечная работа машины Тьюринга      123
Булева алгебра      21
Вариант схемы аксиом      60
Взаимно однозначное соответствие      14
Вложимость изоморфная      90_
Вложимость элементарная      105
Вхождение подслова в слово      46
Вхождение свободное      69
Вхождение связанное      69
Вывод      60 83
Вывод из множества формул      60 84
Вычисление на машине Тьюринга      123
Гомоморфизм      98
Гомоморфизм сильный      98
Грань верхняя      21
Грань нижняя      21
Грань точная верхняя      21
Грань точная нижняя      21
График функции      128
Д. и. ф.      47
Диаграмма      105
Диаграмма полная      105
Дизъюнктивная нормальная форма      47
Дизъюнкция      46 47
Дизъюнкция элементарная      47 51
Дистрибутивность полная      19
Доопределение функции      128
Дополнение бинарного отношения      13
Дополнение множества      7
Дополнение элемента в булевой алгебре      21
Закон двойственности      51
Замена      46
Значение истинностное      70
Значение терма      53 70
Значение формулы      47
Значение функции      14
Изоморфизм алгебраических систем      90 98
Изоморфизм частично упорядоченных множеств      21
Импликация      46
Индукция возвратная      95
Индукция трансфинитная      37 39 97
Истина      46
Исчисление высказываний      59
Исчисление высказываний L      67
Исчисление высказываний ИВ      60
Исчисление высказываний ИИВ      61
Исчисление высказываний ИИС      67
Исчисление высказываний интуиционистское      61
Исчисление высказываний ИС      59
Исчисление предикатов      81
Исчисление предикатов ИП      83
Исчисление предикатов ИПР      89
Исчисление предикатов ИПС      81
Исчисление предикатов с равенством      89
Итерация      114
К. н. ф.      47
Квазивывод      83
Квантор общности      68
Квантор существования      68
Квантор существования единственного элемента      90
Класс абстрактный      104
Класс аксиоматизируемый      104
Класс всех алгебраических систем сигнатуры $\sigma$       75 104
Класс замкнутый      53
Класс конечно аксиоматизируемый      104
Класс наследственный      110
Класс предполный      53
Класс смежный      20
Класс универсально аксиоматизируемый      105
Класс эквивалентности      20
Команда      122
Композиция машин Тьюринга      124
Конечный характер семейства множеств      40
Константа предметная      68
Контакт замыкающий      54
Контакт размыкающий      54
Континуум      29
Конфигурация      123
Конъюнктивная нормальная форма      47
Конъюнкция      46 47
Конъюнкция элементарная      47 51
Кортеж длины n      127
Лемма Тейхмюллера — Тьюки      40
Лемма Цорна      40
Ложь      46
Матрица логическая      61
Машина Тьюринга      122
Метод бесконечного спуска      95
Минимизация      113
Множества изоморфные      21
Множества подобные      32
Множества равномощные      29
Множества равные      7
Множества эквивалентные      29
Множество      7
Множество m-универсальное      133
Множество n-ок      127
Множество бесконечное      29
Множество вполне упорядоченное      21
Множество всех функций из A в B      14
Множество конечное      29
Множество континуальное      29
Множество креативное      133
Множество линейно упорядоченное      21
Множество примитивно рекурсивное      127
Множество пустое      7
Множество рекурсивно перечислимое      127
Множество рекурсивное      127
Множество самодвойственное      26
Множество счетное      29
Множество творческое      133

Множество транзитивное      39
Множество универсальное      7
Множество формул выполнимое      87
Множество формул неполное      84
Множество формул непротиворечивое      61 84
Множество формул полное      84
Множество формул противоречивое      61 84
Множество частично упорядоченное      21
Модель      70
Модель арифметики стандартная      91
Модель теории      90
Мощность      29
Мощность алгебраической системы      70
Мощность континуума      29
Мощность порядкового типа      32
Надмножество      7
Начальный отрезок      33
Непосредственное следствие      59 60 83
Номер клиниевский      132
Номер команды      124
Номер машины Тьюринга      124
Номер постовский      133
Нормальная форма Клини      131
Нумерация клиниевская      132
Нумерация постовская      133
Обеднение      70
Область действия квантора      69
Область значений бинарного отношения      13
Область определения бинарного отношения      13
Обобщенная гипотеза континуума      108
Обогащение      70
Образ множества      13
Обратное отношение      13
Обращение      114
Объединение множеств      7
Объединение семейства множеств      7
Оператор минимизации ( $\mu$ -оператор)      113
Оператор минимизации ограниченный      113
Оператор подстановки      112
Оператор примитивной рекурсии      112
Оператор суперпозиции      112
Оператор эффективный      135
Орф      113
Остановка машины Тьюринга      123
Отношение n-местное      14
Отношение антисимметричное      20
Отношение бинарное      13
Отношение включения      7
Отношение иррефлексивное      20
Отношение на множестве      13
Отношение обратное      13
Отношение принадлежности      7
Отношение рефлексивное      20
Отношение симметричное      20
Отношение транзитивное      20
Отображение естественное      24
Отображение монотонное      21
Отображение элементарное      105
Отрицание      46
Отрицание тесное      50
Переключатель двухпозиционный      54
Переменная предметная      68
Переменная пропозициональная      46
Переменная свободная      69
Переменная связанная      69
Переменная существенная      53
Переменная фиктивная      53
Переменное высказывание      46
Перерабатывание машинного слова      123
Пересечение множеств      7
Пересечение семейства множеств      7
Подмножество      7
Подмножество плотное      35
Подмножество собственное      7
Подмодель      70
Подмодель алгебраической системы      105
Подмодель собственная      70
Подобие множеств      32
Подсистема      70
Подсистема собственная      70
Подсистема элементарная      105
Подсистема, порожденная множеством      105
Подслово      46
Подстановка      14 112'
Подстановка в слово      46
Подформула      46 69
Порядковый тип      32
Порядок двойственный      21
Порядок линейный      21
Порядок плотный      35
Порядок полный      21
Порядок частичный      21
Правило вывода      59 60
Правило вывода modus ponens      60
Правило вывода ИВ      60
Правило вывода ИП      83
Правило вывода ИПС      82
Правило вывода ИС      59 60
Правило вывода, допустимое в ИВ      61
Правило вывода, допустимое в ИС      60
Правило подстановки      61 64
Правильное вычисление на машине Тьюринга      123
Предваренная нормальная форма      75
Предикат      69
Предикат примитивно рекурсивный      127
Предикат рекурсивный      127
Предложение      69
Предложение, относящееся к алгебраической системе      70
Предпорядок      21
Пренексная нормальная форма      75
Принцип индукции      97
Принцип максимальности Куратовского — Хаусдорфа      40
Принцип наименьшего числа      95
Принцип трансфинитной индукции      37 39
Программа машины Тьюринга      122
Произведение декартово      13
Произведение кардинальных чисел      41
Произведение отношений      14
Произведение порядковых типов      33
Произведение приведенное      99
Произведение прямое      13 98
Произведение семейства множеств      14
Произведение слов      46
Произведение фильтрованное      99
Произведение частично упорядоченных множеств      26
Прообраз множества      13
Противоречие      47
Прф      113
Равенство множеств      7
Разбиение      23
Разветвление машин Тьюринга      124
Разность множеств      7
Разность порядковых чисел      29
Расширение      70
Расширение собственное      70
Расширение элементарное      105
Результат замены      46
Результат подстановки      46 69
Рекурсия возвратная      113
Рекурсия по двум переменным      131
Рекурсия примитивная      112
Рекурсия совместная      118
Релятивизация      75
Решетка      21
Решетка дистрибутивная      21
С. д. и. ф.      47
С. к. н. ф.      47
Связка логическая      46
Сегмент      26
Секвенция      59

1 2

Реклама

© Электронная библиотека попечительского совета мехмата МГУ, 2004-2024

Электронная библиотека мехмата МГУ

Valid HTML 4.01!

|

Valid CSS!

О проекте