Begreppsinformation
klass
135Logistiikka. Looginen kalkyyli
Typ
-
hklj-luokka
-
owl:Class
överordnad klass
nyckelord
- Formaalinen logiikka (135)
- Intensionaalinen logiikka (135)
- Järjestyslogiikka (135)
- Käsiteanalyysi, logiikka (135)
- Käsitteenmuodostus, logiikka (135)
- Käsitteet, logiikka (135)
- Logistiikka, logiikka (135)
- Looginen kalkyyli (135)
- Luokkakalkyyli (135)
- Matemaattinen logiikka (135)
- Matemaattiset menetelmät, matemaattinen logiikka (135)
- Modaalilogiikka (135)
- Muodollinen logiikka (135)
- Predikaattilogiikka (135)
- Reaalilogiikka (135)
- Symbolinen logiikka (135)
- Todennäköisyys, logiikka (135)
- Todennäköisyyslogiikka (135)
- Tyyppihierarkiat, logiikka (135)
- Välttämättömyys, modaalilogiikka (135)
Användningsanmärkning
- Matemaattinen, muodollinen ja symbolinen logiikka yleensä Käsitelogiikka. Predikaatti- ja luokkakalkyyli. Reaalilogiikka. Funktiokalkyyli. Järjestyslogiikka. Tyyppihierarkia. Todennäköisyyslogiikka
Termer på andra språk
-
engelska
-
svenska
-
Begrepp, logik (135)
-
Begreppsanalys, logik (135)
-
Begreppsbildning, logik (135)
-
Formalistisk logik (135)
-
Formell logik (135)
-
Intensional logik (135)
-
Klasskalkyl (135)
-
Logisk kalkyl (135)
-
Logistik, logik (135)
-
Matematisk logik (135)
-
Matematiska metoder, matematisk logik (135)
-
Modallogik (135)
-
Nödvändighet, modallogik (135)
-
Ordningslogik (135)
-
Predikatlogik (135)
-
Reallogik (135)
-
Sannolikhet, logik (135)
-
Sannolikhetslogik (135)
-
Symbolisk logik (135)
-
Typhierarkier, logik (135)
URI
http://urn.fi/URN:NBN:fi:au:hklj:135
{{label}}
{{#each values }} {{! loop through ConceptPropertyValue objects }}
{{#if prefLabel }}
{{/if}}
{{/each}}
{{#if notation }}{{ notation }} {{/if}}{{ prefLabel }}
{{#ifDifferentLabelLang lang }} ({{ lang }}){{/ifDifferentLabelLang}}
{{#if vocabName }}
{{ vocabName }}
{{/if}}