5 suhted: Koolibri (kirjastus), Lauseloogika, Matemaatiline loogika, Mitteklassikaline loogika, Predikaatloogika.
Koolibri (kirjastus)
Lehola tänava nurgal Koolibri on Eesti kirjastus, mis annab välja eelkõige õppekirjandust, kuid ka sõnaraamatuid, aime-, laste- ja ilukirjandust.
Uus!!: Klassikaline loogika ja Koolibri (kirjastus) · Näe rohkem »
Lauseloogika
Lauseloogika ehk lausearvutus on loogika valdkond, mis uurib tõefunktsionaalseid tehteid propositsioonidega (loogikatehteid).
Uus!!: Klassikaline loogika ja Lauseloogika · Näe rohkem »
Matemaatiline loogika
Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.
Uus!!: Klassikaline loogika ja Matemaatiline loogika · Näe rohkem »
Mitteklassikaline loogika
Mitteklassikaline loogika (inglise non-classical logic), ka alternatiivloogika (inglise alternative logic), on matemaatilise loogika osa, mille moodustavad 19.
Uus!!: Klassikaline loogika ja Mitteklassikaline loogika · Näe rohkem »
Predikaatloogika
Predikaatloogika ehk predikaatarvutus on lauseloogika laienduste klass, kus lisaks lausesümbolitele ja konnektoritele on kasutusel vähemalt predikaadisümbolid, indiviidikonstandid, muutujad (indiviidimuutujad) ja kvantorid.
Uus!!: Klassikaline loogika ja Predikaatloogika · Näe rohkem »