Значение словосочетания «теория типов»
-
В математике, логике и компьютерных науках теорией типов считается какая-либо формальная система, являющаяся альтернативой наивной теории множеств, сопровождаемая классификацией элементов такой системы с помощью типов, образующих некоторую иерархию. Также под теорией типов понимают изучение подобных формализмов.
Теория типов — математически формализованная база для проектирования, анализа и изучения систем типов данных в теории языков программирования (раздел информатики). Многие программисты используют это понятие для обозначения любого аналитического труда, изучающего системы типов в языках программирования. В научных кругах под теорией типов чаще всего понимают более узкий раздел дискретной математики, в частности λ-исчисление с типами.
Современная теория типов была частично разработана в процессе разрешения парадокса Рассела и во многом базируется на работе Бертрана Рассела и Альфреда Уайтхеда «Principia mathematica».
Источник: Википедия
Делаем Карту слов лучше вместе
Привет! Меня зовут Лампобот, я компьютерная программа, которая помогает делать
Карту слов. Я отлично
умею считать, но пока плохо понимаю, как устроен ваш мир. Помоги мне разобраться!
Спасибо! Я стал чуточку лучше понимать мир эмоций.
Вопрос: универбация — это что-то нейтральное, положительное или отрицательное?
Ассоциации к слову «теория»
Синонимы к словосочетанию «теория типов»
Предложения со словосочетанием «теория типов»
- Модные теории типа «бирюзовых организаций», основанных на принципах коллективного самоуправления, пока не выдержали проверку временем.
- За другими теориями типов личности нет единой теории психики.
- Несмотря на то, что в теории типов тела использована терминология греко-римского периода, до нас не дошло ни одного древнего письменного источника, повествующего о ней.
- (все предложения)
Цитаты из русской классики со словосочетанием «теория типов»
- Так, эмпиризм сам по себе есть заблуждение, но в нем есть частичная истина, которая должна войти в теорию познания более высшего типа.
- Как бы то ни было, новый тип народился. Это тип, продолжающий дело ветхого человека, но старающийся организовать его, приводящий к одному знаменателю яичницу, которую наделал его предшественник. Старый"ветхий человек"умирает или в тоске влачит свои дни, сознавая и в теории, и в особенности на практике, что предмет его жизни… фью! Новый"ветхий человек"выступает на сцену и, сохраняя смысл традиций, набрасывается на подробности и выказывает неслыханную, лихорадочную деятельность…
- Я должен обобщать каждый свой поступок, я должен находить объяснение и оправдание своей нелепой жизни в чьих-нибудь теориях, в литературных типах, в том, например, что мы, дворяне, вырождаемся, и прочее…
- (все цитаты из русской классики)
Сочетаемость слова «теория»
Сочетаемость слова «тип»
Понятия со словосочетанием «теория типов»
-
Теория типов — математически формализованная база для проектирования, анализа и изучения систем типов данных в теории языков программирования (раздел информатики). Многие программисты используют это понятие для обозначения любого аналитического труда, изучающего системы типов в языках программирования. В научных кругах под теорией типов чаще всего понимают более узкий раздел дискретной математики, в частности λ-исчисление с типами.
-
Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших категориях и типах в логике и языках программирования.
- (все понятия)
Афоризмы русских писателей со словом «теория»
- Прежде была теория любви, теперь теория денег.
- Теория учит нас, что прежде чем приступить, надо подготовить необходимые условия и соответствующую почву.
- Все теории стоят одна другой. Есть среди них и такая, согласно которой каждому будет по его вере.
- (все афоризмы русских писателей)
Отправить комментарий
Предложения со словосочетанием «теория типов»
Модные теории типа «бирюзовых организаций», основанных на принципах коллективного самоуправления, пока не выдержали проверку временем.
За другими теориями типов личности нет единой теории психики.
Несмотря на то, что в теории типов тела использована терминология греко-римского периода, до нас не дошло ни одного древнего письменного источника, повествующего о ней.
- (все предложения)
Синонимы к словосочетанию «теория типов»
- теория представлений
- феноменологическая теория
- современные теории
- теория моделей
- теория групп
- (ещё синонимы...)