Английский English Русский Русский
  • Английский Английский
  • Русский Русский
  • Английский Английский
  • Русский Русский
en

Heyting

UK
/ˈheɪtɪŋ/
US
/ˈheɪtɪŋ/
ru

Перевод heyting на русский язык

heyting
Существительное
raiting
UK
/ˈheɪtɪŋ/
US
/ˈheɪtɪŋ/
Heyting algebras are used in the study of intuitionistic logic.
Хейтинговые алгебры используются в изучении интуиционистской логики.

Опеределения

heyting
Существительное
raiting
UK
/ˈheɪtɪŋ/
US
/ˈheɪtɪŋ/
A surname of Dutch origin.
The Heyting family has a long history in the Netherlands.
In mathematics, a Heyting algebra is a type of bounded lattice that is used in intuitionistic logic.
The concept of a Heyting algebra is crucial for understanding the semantics of intuitionistic logic.