- Алгебраические системы
-
Wikimedia Foundation. 2010.
Интеллектуальные системы (кафедра МФТИ) — Значимость предмета статьи поставлена под сомнение. Пожалуйста, покажите в статье значимость её предмета, добавив в неё доказательства значимости по частным критериям значимости или, в случае если частные критерии значимости для… … Википедия
Алгебра — Общие сведения Алгебра один из больших разделов математики (См. Математика), принадлежащий наряду с арифметикой (См. Арифметика) и геометрией (См. Геометрия) к числу старейших ветвей этой науки. Задачи, а также методы А.,… … Большая советская энциклопедия
Универсальная алгебра — Не следует путать с универсальной алгеброй одним из видов структур, изучаемых данным разделом математики. Универсальная алгебра раздел математики, изучающий общие свойства алгебраических систем, отыскивая общие черты между такими… … Википедия
Абстрактная алгебра — (также высшая алгебра или общая алгебра) раздел математики, изучающий алгебраические системы (также иногда называемые алгебраическими структурами), такие как группы, кольца, поля, частично упорядоченные множества, решётки, а также… … Википедия
Алгебра — У этого термина существуют и другие значения, см. Алгебра (значения). Алгебра (от араб. الجبر, «аль джабр» восполнение[1]) раздел математики, который можно грубо охарактеризовать как обобщение и расширение арифметики. Слово… … Википедия
исчисление — знаковая система, создаваемая использованием процесса образования всех синтаксически правильных символических выражений из букв алфавита системы языка исчисления, то есть термов (слов) и формул (фраз), и процесса вывода потенциально значимых… … Энциклопедический словарь
Двоичная система счисления — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей … Википедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
МОДЕЛЕЙ ТЕОРИЯ — раздел математической логики, изучающий математические модели. Начало М. т. относится к 30 м гг. 20 в., когда были доказаны следующие две основные теоремы. Теорема 1 (теорема Гёделя Мальцева). Если каждая конечная подсовокупность совокупности… … Математическая энциклопедия
МНОГОЗНАЧНАЯ ЛОГИКА — раздел математической логики, изучающий математич. модели логики высказываний. Эти модели отражают две основные черты последней множественность значений истинности высказываний и возможность построения новых более сложных высказываний из заданных … Математическая энциклопедия