Käsitteen tiedot
luokka
12LOGIIKKA
Tyyppi
-
YKL-luokka
Hakusanat
- Aksiomaattinen menetelmä, logiikka (12)
- Alkeislogiikka (12)
- Antinomiat, logiikka (12)
- Arvostelmat, logiikka (12)
- Deduktio, logiikka (12)
- Dialektiikka, logiikka (12)
- Funktiokalkyyli, logiikka (12)
- Induktio, logiikka (12)
- Järjestyslogiikka (12)
- Kategoriat, logiikka (12)
- Kielellinen logiikka (12)
- Kielet, logiikka (12)
- Käsite, logiikka (12)
- Lauselogiikka (12)
- Logiikka, yl. (12)
- Logistiikka, filosofia, yl. (12)
- Looginen kalkyyli (12)
- Looginen semantiikka (12)
- Looginen syntaksi (12)
- Luokkakalkyyli, logiikka (12)
- Matemaattinen logiikka (12)
- Muodollinen logiikka (12)
- Paradoksit, logiikka (12)
- Predikaattikalkyyli, logiikka (12)
- Päätelmät, logiikka (12)
- Reaalilogiikka (12)
- Sumea logiikka, yl. (12)
- Syllogistiikka (12)
- Symbolinen logiikka (12)
- Syntaksi, logiikka (12)
- Todennäköisyyslogiikka (12)
- Tyyppihierarkiat, logiikka (12)
- Virhepäätelmät, logiikka (12)
Käyttöhuomautus
- Tähän logiikan yleisteokset Alkeislogiikka. Muodollinen, symbolinen ja matemaattinen logiikka Sumea logiikka Deduktion, induktion ja dialektiikan logiikka Logistiikka. Looginen kalkyyli Predikaatti- ja luokkakalkyyli Reaalilogiikka. Funktiokalkyyli Järjestyslogiikka. Tyyppihierarkia Looginen syntaksi ja semantiikka Logiikan ja logistiikan sovellukset eri aloille luokitetaan alan mukaan Muotoluokkaa 01 ei käytetä luokan 12 yhteydessä
References
Muunkieliset termit
-
englanti
-
ruotsi
-
Antinomier, logik (12)
-
Axiomatisk metod, logik (12)
-
Begrepp, logik (12)
-
Deduktion, logik (12)
-
Dialektik, logik (12)
-
Elementär logik (12)
-
Formell logik (12)
-
Funktionskalkyl, logik (12)
-
Induktion, logik (12)
-
Kategorier, logik (12)
-
Klasskalkyl, logik (12)
-
Logik, allm. (12)
-
Logisk kalkyl (12)
-
Logisk semantik (12)
-
Logisk syntax (12)
-
Logistik, filosofi, allm.(12)
-
Matematisk logik (12)
-
Ordningslogik (12)
-
Oskarp logik (12)
-
Paradoxer, logik (12)
-
Paralogismer, logik (12)
-
Predikatkalkyl, logik (12)
-
Reallogik (12)
-
Sannolikhetslogik (12)
-
Satslogik (12)
-
Slutsatser, logik (12)
-
Språk, logik (12)
-
Språklig logik (12)
-
Syllogistik (12)
-
Symbolisk logik (12)
-
Syntax, logik (12)
-
Typhierarkier, logik (12)
-
Utsagor, logik (12)
URI
http://urn.fi/URN:NBN:fi:au:ykl:12
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}