Изучение основ логики, пропозициональной и предикатной. Применение в различных областях: математика, информатика, лингвистика