|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Гастев Ю.А. — Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования |
|
|
|
| Предметный указатель |
Абстракция актуальной бесконечности 63
Абстракция потенциальной осуществимости 63
Абстракция, обобщающая абстракция, абстракция отождествления 19 62
Автоморфизм 17 36 37 81
Автоморфизм тождественный 36 37 44 82
Алгебра универсальная 57 89
Алгебра, алгебраическая система 78 88—93 95 112 127
Алгол 11 12
Андоморфизм 17 36 37 40 44
Аристотель 6 8 61
Байес см. "Формула Байеса"
Баранович, Т.М. 81
Бернштейн, Н.А. 21 68 120
Бесконечные (инфинитарные, трансфинитные, предельные) конструкции 113—118 134
Бирюков, Б.В. 18
Бихевиоризм 65
Богданов, А.А. 130
Бонгард, М.М. 23 126
Бочвар, Д.А. 83 см
Буль, Дж. 9
Бурмистрович, И.Е. 81
Вероятностная логика 109
Вероятность 102—104
Вероятность априорная 102
Вероятность условная 102
Взаимно-однозначное соответствие 24 34—36 43 64 81 82
Виленкин, Н.Я. 108 111 113
Винер, Н. 120 129
Витгенштейн, Л. 11—13 21 30 68—70
Восприятие 66
Гастев, А.К. 129 130
Гельфанд, И.М. 120 125
Гёдель, К. см. "Теорема Гёделя"
Гильберт, Д. 9 70
Гипотеза 102—104
Глушков, В.М. 65
Гомеостат 124
Гомоморфизм естественный (канонический) 60 86 97
Гомоморфизм обобщенный 81 106 118
Гомоморфизм, гомоморфный образ 9—11 15—20 31—41 44—60 64 68 71 73 77—88 92—101 118—122 126—129 133 см.
Дедукция, дедуктивный метод (подход) 8 9 105 118
Диалектика 105 118
Дискретность см. "Прерывность и непрерывность"
Естественный (канонический) гомоморфизм 60 86 97
Жолковский, А.К. 21 132
Заде, Л. 16 108—111
Заславский, И.Д. 83
Зиман, Э. 110
Иванов, В.В. 21
Изоморфизм, изоморфный образ 9—12 15—32 35—47 50 64—66 73 75 79 81 92 95—99 107 120—123 126—129 133
Изофункционализм 29
Индивидуации принцип 21
Индукция 103 105 118
Интеллектуальная коммуникация 132
Интенсиональный уровень (подход, аспект) 118 132
Интервал абстракции отождествления 22
Интерпретация 24 26
Интуиционизм 9 70
Искусственный интеллект 132
Кант, И. 7 13
Карнап, Р. 13 70
Категоричность 93
Кибернетика 27
Когаловский, С.Р. 112 130
Конгруэнция 56—60 100 101
Конечный автомат 119
Конструктивное направление, конструктивизм 70
Крипке см. "Модель Крипке"
Леви-Стросс, К. 130
Лейбниц, Г.В. 6 9 13 21
Лефевр, В.А. 111
Линдон, Р.К. 83
Логика 8 9
Логика вероятностная 109
Логика второй ступени 112
Логика высших ступеней 112
Логика мажоритарная 109
Логика многозначная 110 111
Логика пороговая 109
Логический атомизм 68 70
Лукасевич, Я. см. "Логика Лукасевича"
Любищев, А.А. 132
Мажорирование, мажоритарная логика 109 111
Мельчук, И.А. 21 132
Метаморфизм, метаморфный образ 15 81—87 90—93 105—108 118 134
Метод оврагов 125 126
Метрика 75 134
Многозначная логика 110 111 133
Множество, теория множеств, теоретико-множественный подход 20 32 35 69 71 118 132
Моделирование 14 16 18 27 29 46 74 88 100 120—123 126—129 133
Модель (общее понятие), отношение «быть моделью» 14—21 29 46 92 111 120—122 126 129 133
Модель Крипке 133
| Модель «Смысл  Текст» 20
Модель, реляционная система см. "Теория моделей"
Мономорфизм 116
Научная организация труда (НОТ) 130
Непрерывность см. "Прерывность и непрерывность"
Новоселов, М.М. 22
Номинализм 62
Образ (при отображении) 35 36 118
Обратного отношения закон 118
Оврагов метод 125 126
Омонимия 21
Описание состояния 70
Основная теорема 101—105
Отражение, отображение, теория отражения 7 16 30 63 66 98 103 130
Парадокс Скулема 71
Параморфизм 84—87 90 91 94 106 108 134
Платонизм 18 62 69—71 92 123
Пороговая логика 109
Порядка отношение, упорядочение 19 37 38 52—56
Прагматика 131
Представление, теоремы о представлениях 95 96
Прерывность и непрерывность 72—75
Принцип индивидуации 21
Программирование 129
Прообраз (при отображении) 36
Равенство 19
Ранг предиката 77—80
Расплывчатые (размытые, нечеткие, fuzzy) множества, предикаты, алгорифмы 108—112 132 134
Рассел, Б. 9 21 62 66
Ричардсон 124
Семантика, логическая семантика 130—133
Семиотика, семиотический подход, семиотическая дисциплина, формальная семиотика 77 80 130—133 136
Сигнатура 39 78 81 90 92 119
Синонимия 20 21
Синтаксис, синтактика 131
Системные исследования, системный подход, общая теория систем и т. п. 130
Скулем, Т. см. "Парадокс Скулема" "Теорема
Сломиньский 81
Спектр двойной 118
Спектр обратный 113 117 118 134
Спектр прямой 113 116 118 134
Стоун, М. 96
Теорема Байеса см. "Формула Байеса"
Теорема Гёделя 9 12 93
Теорема Лёвенгейма — Скулема 93
Теорема о гомоморфизмах обобщенная 105—106
Теорема о гомоморфизмах, теорема о гомоморфизме, теорема об изоморфизме 10 58 97—102 127—129 133
Теорема о метаморфизмах 105
Теорема о параморфизмах 105
Теорема о представлениях 96
Теория моделей 15 89
Теория типов 82 94 112
Тождества неразличимых принцип 21
Тождество, отождествление 19—22 68 76 86 133
Толерантность 17 112 113 134
Топология, топологический подход 75 76 112 134
Ультраинтуиционизм 20
Универсалии, общие понятия 62
Универсальная алгебра 57 89
Факторалгебра 57 60 86 97 98
Факторизация 56—61 64 65 79 81
Фактормножество, факторсистема 56—59 97 98
Фалес Милетский 8
Финн, В.К. 13 108
Фома Аквинский 21
фон Нейман, Дж. 6 120
Формальная логика 7 8
Формула Байеса 102 105 125
Фрей, Г. 4 10
Фудзивара, Т. 81
Функция, отображение, морфизм 36 113—115
Хомский, Н. 130
Хорошо организованная функция 126
Цетлин, М.Л. 21 68 120 123 125
Частичная алгебраическая система 119 129
Частичная модель 129
Частичное (неполное) отображение 45 75 79 119
Шеннон, К. 11
Шмаин, И.Х. 83
Шрейдер, Ю.А. 108 111
Эйнштейн, А. 70
Эквивалентность 15 19 20 26 35 51—57 69 79 100 112
Экстенсиональный уровень (подход, аспект) 79 118 132
Энгельс, Ф. 6
Эпиморфизм 117
Эшби, У. Росс 15 28 124
Юм, Д. 66
Ядерная конгруэнция, ядерная эквивалентность, отношение равнообразности 83
Язык, языки 20
«Логико-философский трактат» 11 13
«социальная инженерия» 130
«Структурная эпистемология» 10 136
|
|
|
| Реклама |
|
|
|
|
|
О проекте