Výsledky vyhľadávania
Prejsť na navigáciu
Prejsť na vyhľadávanie
- [[Kategória:Sémantika]] …967 bajtů (154 slov) - 19:28, 8. február 2022
- …orom, ktorý nie je ani triviálny, ani diskrétny. Využíva sa vo formálnej [[sémantika (náuka)|sémantike]] a v [[teória vypočítateľnosti|teórii vypočítateľnosti]] …1 KB (159 slov) - 20:20, 9. január 2025
- …ďaka jednoduchosti jazyka je možné formálne a presne matematicky popísať [[Sémantika|sémantiku]] výpočtu modelovaného ς-výrazom v tomto jazyku. …2 KB (301 slov) - 16:08, 3. apríl 2013
- * [[Kripkeho sémantika]] …2 KB (305 slov) - 19:49, 15. marec 2013
- …rmatiky - v odôvodnení sa spomínajú oblasti ako [[syntaktická analýza]], [[sémantika programovacích jazykov]], [[verifikácia programov]], či analýza [[algoritmu …4 KB (562 slov) - 01:19, 19. október 2022
- …ho najslávnejšie práce sú z oblasti [[Modálna logika|modálnej logiky]] a [[Sémantika (náuka)|sémantiky]]. Do sémantiky prispel najmä teóriou [[Možný svet|možnýc …neskôr aj pre intuicionistické a iné neklasické logiky, sa nazýva Kripkeho sémantika. Jej objav bol prelomový na poli neklasických logík, nakoľko predtým neexis …16 KB (2 506 slov) - 23:41, 4. jún 2024