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