Похожие статьи:

1. Конструктивизм (философия науки) Конструктивизм (философия науки) Конструктивизм — точка зрения в философии науки, утверждающая, что научные знания создаются научным...
2. Лямбда Лямбда-сигнал История и значение буквы «Лямбда» Лямбда — 11-я буква греческого алфавита, имеет числовое значение 30. ...
3. Социальный конструктивизм Социальный конструктивизм Социальный конструктивизм — социологическая теория познания, утверждающая, что развитие человека социально обусловлено и знания...
4. Лямбда-исчисление Лямбда-исчисление Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-терминах.  Лямбда-термины представляют собой выражения, которые...
5. Гейтинговая арифметика Захватывающая арифметика Основы конструктивной математики Конструктивная математика отличается от классической тем, что она основана на конструкциях,...
6. Типизированное лямбда-исчисление Типизированное лямбда-исчисление Основы типизированных лямбда-исчислений Типизированные лямбда-исчисления — это формализация лямбда-исчисления с типами.  Они являются фундаментальными...
7. Оливия Карамелло Оливия Карамелло Карьера Оливии Карамелло Итальянский математик, ассоциированный профессор Рита Леви-Монтальчини в Университете Инсубрии.  Известна работами...
8. Лямбда-мю-исчисление Лямбда-математический анализ Основы лямбда-мю-исчисления Лямбда-мю-исчисление расширяет лямбда-исчисление, добавляя новые операторы.  Оператор μ отличается от оператора μ...
9. Определение лямбда-исчисления Определение лямбда-исчисления Определение лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и β- и η-редукциях. ...
10. Стратегия сокращения Стратегия сокращения выбросов Основы лямбда-исчисления Лямбда-исчисление — это формальное исчисление, основанное на лямбда-абстракции и рекурсии.  Редукция...
11. Лямбда-барион Лямбда-барион Определение и свойства лямбда-барионов Лямбда-барионы — это адронные частицы с одним верхним, одним нижним кварками...
12. Теоретическая философия Теоретическая философия Деление философии на теоретическую и практическую Основывается на категориях Аристотеля  Теория и практика являются...
13. Практическая философия Практическая философия Определение и разделение философии Практическая философия занимается предметами, имеющими практическое значение.  Современное разделение на...
14. Зависимый тип Зависимый тип Основы теории зависимых типов Теория зависимых типов (ТДТ) расширяет систему типов, добавляя зависимые типы. ...
15. Лямбда-исчисление Лямбда-исчисление Лямбда-исчисление — формальное исчисление для описания вычислений с использованием лямбда-терминов.  Лямбда-термины представляют собой выражения, которые...
16. Основная теорема теории топоса Фундаментальная теорема теории топосов Определение и свойства топосов Топосы — это категории с дополнительной структурой, включающей...
17. Конечнозначная логика Конечнозначная логика Конечнозначная логика — логическое исчисление высказываний с дискретными истинностными значениями.  Традиционная бивалентная логика Аристотеля...
18. Термин (логика) Термин (логический) Статья представляет собой введение в лямбда-исчисление и его применение в программировании.  Лямбда-исчисление является формализмом...
19. Комбинатор с фиксированной точкой Комбинатор с фиксированной запятой Определение и свойства комбинатора с фиксированной точкой Комбинатор с фиксированной точкой —...
20. Философия на Тайване Философия на Тайване История философии на Тайване Философия на Тайване имеет долгую историю, начиная с периода...
21. Промежуточная логика Промежуточная логика Определение и классификация логических систем Логика — это наука о правильном мышлении и рассуждениях. ...
22. Просто типизированное лямбда-исчисление Просто набранное лямбда-исчисление Основы просто типизированного лямбда-исчисления Просто типизированное лямбда-исчисление — это расширение типизированного лямбда-исчисления с...