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