modele canonice Archives - MultiMedia https://www.telework.ro/ro/tag/modele-canonice/ Știință și filosofie, afaceri online (web design, marketing, traduceri, cărți online, rețele sociale), artă. Știința informației (data science, business intelligence). Fri, 12 Jul 2019 15:34:06 +0000 ro-RO hourly 1 https://www.telework.ro/wp-content/uploads/2016/01/cropped-logostore-32x32.png modele canonice Archives - MultiMedia https://www.telework.ro/ro/tag/modele-canonice/ 32 32 2257885 Modele canonice și Carlson în logica modală a lui Saul Kripke https://www.telework.ro/ro/modele-canonice-si-carlson-in-logica-modala-a-lui-saul-kripke/ https://www.telework.ro/ro/modele-canonice-si-carlson-in-logica-modala-a-lui-saul-kripke/#respond Fri, 12 Jul 2019 15:29:20 +0000 https://www.telework.ro/?p=89212 Modele canonice Pentru orice logică modală normală L, poate fi construit un model Kripke (numit model canonic), care validează exact teoremele L, printr-o adaptare a tehnicii standard de a folosi seturi consistente maximale ca modele. Modelele Canonice Kripke joacă un … Citeşte mai mult

The post Modele canonice și Carlson în logica modală a lui Saul Kripke appeared first on MultiMedia.

]]> https://www.telework.ro/ro/modele-canonice-si-carlson-in-logica-modala-a-lui-saul-kripke/feed/ 0 89212