 |
исчисление
| Русская Википедия - свободная энциклопедия | Download this dictionary |
Исчисление
В математике термином «исчисление» обозначаются разные области знаний, а также формальные теории (множества формул, полученных из аксиом с помощью правил вывода).
Исчисления в математической логике:
- Логическое исчисление (основная статья)
- Исчисление высказываний
- Исчисление предикатов
- Лямбда-исчисление
- Исчисление Ламбека
| Продолжение на Wikipedia.οrg... |
© Текстовое содержимое использует материал из Википедии® и доступно в соответствии с лицензией свободной документации GNU
