| |||
mathematical logic (исследование мышления с помощью исчислений и формализованных языков); symbolic logic | |||
formal logic | |||
mathematic logic | |||
mathematics of logic; logic | |||
logistics | |||
mathematical logic; logic theory | |||
Russian thesaurus | |||
| |||
дедуктивная логика, включающая математические методы исследования способов рассуждений выводов; математическая теория дедуктивных способов рассуждений. Математической логикой называют также логику, которой пользуются в математике. Большой Энциклопедический словарь |
математическая логика: 5 phrases in 4 subjects |
General | 1 |
Mathematics | 1 |
Programming | 2 |
Scientific | 1 |