Теория типов Мартин-Лёфа: между феноменологией и аналитической философией

Сопоставление теории типов Мартин-Лёфа и теории интенциональности Гуссерля, особенно их ноэматической стороны с точки зрения феноменологии и аналитической философии. Правила конструирования объектов и оперирования с ними как конкретизация понятия ноэмы.

Подобные документы

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.