Subject | English | Finnish |
comp., MS | Champion of Logic | logiikan mestari (Skill level in the Purble Place game. Once a Purble Place game is completed, a player gets a skill level rank assigned automatically by the game (based on number of guesses and hints during the game)) |
IT | clause form of predicate logic | predikaattilogiikan lausemuoto |
commun., IT | logic management of terminals | looginen hallinta |
IT | natural deduction systems of logic | logiikan luonnolliset päättelyjärjestelmät |
IT | system of formal logic | aksiomatiikka |
IT | system of formal logic | formaalinen systeemi |