Pavasara versija 2025
408 984 šķirkļi
matemātiskā loģika vārdkoptermins
Zinātnes nozare, kurā pēta loģiskās domāšanas likumus, izmantojot formalizētu valodu, matemātisku simboliku un pārveidojumu metodes, kā arī pamatojot deduktīvo teoriju uzbūves principus.