Математическая логика, занимается формализацией и анализом рассуждений, является фундаментальной дисциплиной, лежащей в основе многих научных исследований. На кафедре математической логики разрабатываются методы и подходы, позволяющие…
Математическая логика, занимается формализацией и анализом рассуждений, является фундаментальной дисциплиной, лежащей в основе многих научных исследований. На кафедре математической логики разрабатываются методы и подходы, позволяющие…