Введение в теорию программирования. Функциональный подход

Что отличает теорию типов от прочих теорий?

(Отметьте один правильный вариант ответа.)

Варианты ответа

принцип полноты

принцип индукции

принцип иерархичности(Верный ответ)

Похожие вопросы

Что отличает аксиомы комбинаторной логики от прочих утверждений?

Что отличает аксиомы от прочих утверждений формальной теории?

Какая из теорий не является формализацией семантики?

Что отличает Microsoft .NET от предыдущих идеологий?

Что отличает ранние языки программирования от поздних?

Что отличает императивные языки программирования от декларативных?

Что отличает ламбда-исчисление от булевой логики?

Что отличает Microsoft .NET от других платформ разработки приложений?

Что отличает языки сценариев от других языков программирования?