type theory
Typentheorie
A branch of mathematical logic and theoretical computer science concerned with typesA branch of mathematical logic and theoretical computer science concerned with types.
» Mathematics is just a subset of type theory.
Значение
значений: 1(неисчисляемое, обычно)A branch of mathematical logic and theoretical computer science concerned with types.
Typentheorie
Примеры
предложений: 1Mathematics is just a subset of type theory.
Переводы
языков: 2Deutsch
По значениям 1
branch of logic and computer science:
Формы
мн. число: type theories| Ед. число | type theory |
|---|
неисчисляемое
Однокоренные
связанных слов: 1Связанныеtype system
Уроки к слову
уроков: 1- A1Исчисляемые и неисчисляемые существительные — Потому что оно может быть неисчисляемым