Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Installi
Kiiremini kui brauser!
 

Klassikaline loogika

Index Klassikaline loogika

Klassikaline loogika (inglise classical logic), ka standardloogika (inglise standard logic), on matemaatilise loogika osa, mis koosneb klassikalisest lauseloogikast ja predikaatloogikast.

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 »

Ümbersuunamised siin:

Standardloogika.

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »