| |||
mathematical logic (исследование мышления с помощью исчислений и формализованных языков); symbolic logic | |||
mathematic logic | |||
formal logic | |||
logistics | |||
mathematical logic; logic theory | |||
mathematics of logic; logic | |||
Російський тезаурус | |||
| |||
дедуктивная логика, включающая математические методы исследования способов рассуждений выводов; математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике. Большой Энциклопедический словарь |
математическая логика: 5 фраз в 4 тематиках |
Загальна лексика | 1 |
Математика | 1 |
Науковий термін | 1 |
Програмування | 2 |