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

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

blank
blank
blank
Красота
blank
Гастев Ю.А. — Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования
Гастев Ю.А. — Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования



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



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


Название: Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования

Автор: Гастев Ю.А.

Аннотация:

Книга посвящена проблемам логики, семиотики, методологии науки. В ней говорится о структурных аспектах процесса познания в терминах математической логики и алгебры. Уточняется понятие модели и процедуры моделирования с помощью понятий изоморфизма, гомоморфизма и их обобщений. Рассматриваются возможности упрощения описываемой концептуальной схемы и условия ее применимости.


Язык: ru

Рубрика: Наука/

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

ed2k: ed2k stats

Издание: 1ое издание

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

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

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

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Абстракция актуальной бесконечности      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
Модель «Смысл $\Leftrightarrow$ Текст»      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
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2020
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте