исчисление
Значения
noun
- система символов, основными компонентами которой являются: 1) алфавит (совокупность элементарных символов — букв. цифр, скобок и т.п.), 2) правила построения формул из символов алфавита, 3) аксиомы (исходные доказуемые формулы), 4) правила вывода теорем (производных доказуемых формул) из аксиом
Произношение
Формы слова
Переводы
Данные карточки собраны из открытого источника: Викисловарь (CC BY-SA/GFDL). Формы слова служат для поиска и не индексируются как отдельные страницы.