Хичээлийн эхний хэсэ нь хэллэгийн тооллын, хоёрдугаар хэсэгт предикатын тооллын логик зндсийн судална. Математик логикийн удиртгал буюу хэллэгийн тоолол, нэгдүгээр эрэмбийн онолууд, предикатын тооллын формаль хэл, төрөлх хэлний илэрхийллийг формальчлах арга, зарчим, дүрмүүдийг авч үзэж, бодлого, дасгалууд ажиллана.