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

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

Авторизация

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

Красота

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

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

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

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

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

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

Аннотация:

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

Язык:

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

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

ed2k: ed2k stats

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

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

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

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

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

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

Секвенция выводимая      59
Семейство всех подмножеств множества      7
Сигнатура      69
Символы алфавита      46
Символы вспомогательные      46 68
Символы логические      68
Символы предикатные      68
Символы функциональные      68
Симметрическая разность множеств      7
Система аксиом класса      104
Система аксиом независимая      61
Система аксиом элементарной теории      90
Система алгебраическая      70
Система алгебраическая нормальная      75
Система предложений независимая      90
Система схем аксиом независимая      61
Система формул независимая      61
Система формул противоречивая      59
Система функций независимая      53
Система функций полная      53
Скобки      46
Скулемовская нормальная форма      75
Слово      46
Слово машинное      123
Совершенная дизъюнктивная нормальная форма      47
Совершенная конъюнктивная нормальная форма      47
Соединение контактов параллельное      54
Соединение контактов последовательное      54
Состояние переключателя      54
Спектр формулы      81
Степень кардинальных чисел      41
Степень множества      13
Степень порядкового числа      33
Структура      21
Сумма кардинальных чисел      40
Сумма порядковых типов      33
Суперпозиция      53 112
Схема аксиом для ИВ      80
Схема аксиом для ИП      83
Схема аксиом для ИПР      89
Схема аксиом для ИПС      82
Схема аксиом для ИС      59
Схема примитивной рекурсии      112
Схема релейно-контактная      54
Схема релейно-контактная более простая      54
Таблица истинности      46
Тавтология      46 75
Теорема адекватности      89
Теорема Гёделя е полноте ИП      88
Теорема интерполяционная      63 111
Теорема Кантора — Вернштейна      29
Теорема Лёвенгейма — Скулема      88 108
Теорема Линденбаума      88
Теорема Лося      103
Теорема Мальцева локальная      88 106
Теорема Мальцева о компактности      89
Теорема Мальцева о расширении      107
Теорема о графике      130
Теорема о дедукции      65 67 86
Теорема о делении с остатком      39
Теорема о замене      63 65 78 85 87
Теорема о неподвижной точке      134 137
Теорема о полноте      63 66 93
Теорема о существовании модели      88 106
Теорема Поста      57 129
Теорема Раиса      135
Теорема Робинсона, Р.      120
Теорема Робинсона, Ю.      122
Теорема Стоуна      28
Теорема Цермело      40
Теоремы теории      90
Теория $\mthfrak M$ -категоричная      110
Теория E      90
Теория P      90
Теория Q      90
Теория R      91
Теория ZF      91
Теория категоричная      148
Теория равенства      90
Теория элементарная      90
Теория элементарная неполная      90
Теория элементарная непротиворечивая      90
Теория элементарная полная      90
Теория элементарная противоречивая      90
Терм      53
Терм сигнатуры $\sigma$       69
Терм, свободный для переменной в формуле      69
Трихотомия      41
Ультрапроизведение      99

Ультрастепень      99
Ультрафильтр      22 98
Условие индуктивности      26
Условие минимальности      26
Условие обрыва убывающих цепей      26
Фактор-множество      20
Фильтр главный      98
Фильтр максимальный      22
Фильтр на булевой алгебре      22
Фильтр над множеством      98
Фильтр простой      22
Фильтр счетно полный      98
Фильтр Фреше      98
Формула алгебры высказываний      48
Формула атомная      69
Формула выводимая      61 84
Формула выполнимая      47 75
Формула двойственная      51
Формула доказуемая      59
Формула замкнутая      68
Формула истинная      71
Формула ложная      71
Формула общезначимая      61
Формула опровержимая      47
Формула сигнатуры $\sigma$       69
Формула тождественно истинная      47 78
Формула тождественно ложная      47
Формула универсальная      75
Формула фильтрующаяся      99
Формула хорновская      103
Формула, выводимая из $\Gamma$       61 84
Формула, зависящая от системы формул      61
Формула, независимая от системы формул      61
Формула, семантически следующая из $\Gamma$       75
Формула, условно фильтрующаяся      99
Функция      14
Функция B-мажорируемая      122
Функция n-местная      14
Функция Аккермана      122
Функция алгебры логики      53
Функция большого размаха      117
Функция выбора      40
Функция вычислимая      124
Функция Геделя      117
Функция линейная      54
Функция монотонная      54
Функция нумерующая канторовская      116
Функция нумерующая клиниевская      132
Функция общерекурсивная      113
Функция простейшая      112
Функция самодвойственная      54
Функция скулемовская      78
Функция универсальная      114
Функция характеристическая для множеств      19 128
Функция характеристическая для предиката      127
Функция характеристическая частичная      128
Функция частичная числовая      112
Функция частично рекурсивная      113
Функция, всюду определенная      112
Функция, кусочно-заданная      116
Функция, нигде не определенная      119
Функция, правильно вычислимая      124
Функция, представимая термом      53
Функция, представляющая для предиката      127
Функция, примитивно рекурсивная      113
Цепь      21
Цепь электрическая      54
Цепь электрическая более простая      54
Число кардинальное      29
Число кардинальное бесконечное      29
Число кардинальное конечное      29
Число конструктивное      120
Число непосредственно следующее      36
Число общерекурсивное      120
Число ординальное      33
Число порядковое      33
Число порядковое предельное      33
Число элементов множества      29
Чрф      113
Эквивалентность      20
Эквивалентность множеств      29
Эквивалентность формул      47
Эквивалентность цепей      53
Эквивалентность элементарная для систем      105
Элемент максимальный      21
Элемент минимальный      21
Элемент наибольший      21
Элемент наименьший      21
Элемент непосредственно следующий      34

1 2

Реклама

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

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

Valid HTML 4.01!

|

Valid CSS!

О проекте