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