10 vzťahy: Atomárny fakt, Epistemická logika, Konečná množina, Logický kalkul, Logika, Predikátová logika, Spočítateľná množina, Syntaktická skratka, Umelá inteligencia, Výroková logika.
Atomárny fakt
Atomárny fakt je fakt, ktorý sa nedá rozložiť na ďalšie fakty.
Nový!!: Doxastická logika a Atomárny fakt · Pozrieť viac »
Epistemická logika
Epistemická logika alebo logika poznania je neklasická logika, ktorá sa zaoberá poznaním.
Nový!!: Doxastická logika a Epistemická logika · Pozrieť viac »
Konečná množina
Množina konečná je množina, ktorá má konečný počet prvkov.
Nový!!: Doxastická logika a Konečná množina · Pozrieť viac »
Logický kalkul
Logický kalkul je kalkul, ktorého zložky sa prostredníctvom nejakej interpretácie logicky vykladajú.
Nový!!: Doxastická logika a Logický kalkul · Pozrieť viac »
Logika
Logika (z gr. slova λόγος logos) je veda zaoberajúca sa vyplývaním.
Nový!!: Doxastická logika a Logika · Pozrieť viac »
Predikátová logika
Predikátová logika.
Nový!!: Doxastická logika a Predikátová logika · Pozrieť viac »
Spočítateľná množina
Spočítateľná množina je množina, ktorá má v istom zmysle nanajvýš „rovnako veľa“ prvkov ako množina prirodzených čísel.
Nový!!: Doxastická logika a Spočítateľná množina · Pozrieť viac »
Syntaktická skratka
Syntaktická skratka je symbol ktorý zastupuje nejakú zložitejšiu presne vymedzenú syntaktickú konštrukciu v jazyku logiky alebo teórie.
Nový!!: Doxastická logika a Syntaktická skratka · Pozrieť viac »
Umelá inteligencia
Umelá inteligencia alebo umelý intelekt (skratka UI resp. AI z) je všeobecne.
Nový!!: Doxastická logika a Umelá inteligencia · Pozrieť viac »
Výroková logika
Výroková logika je časť matematickej logiky (výroková algebra), ktorá sa zaoberá tvorbou výrokov, ich vzájomným spájaním, zisťovaním logickej pravdivosti výrokov a ich spojení i niektorými spôsobmi odvodzovania.
Nový!!: Doxastická logika a Výroková logika · Pozrieť viac »