Contributi utente
(ultima | prima) Vedi (50 più recenti | 50 meno recenti) (20 | 50 | 100 | 250 | 500).
- 15:47, 4 gen 2013 (diff | cron) . . (-10) . . Logica fuzzy (→Decidability) (attuale)
- 11:31, 23 dic 2012 (diff | cron) . . (0) . . File:Posets Hesse.pdf (Mattiie ha caricato una nuova versione di "File:Posets Hesse.pdf": Corretto errore di inglese e definizione totally ordered set) (attuale)
- 18:04, 20 dic 2012 (diff | cron) . . (0) . . File:Plot.pdf (Mattiie ha caricato una nuova versione di "File:Plot.pdf": Corretta terza formula.) (attuale)
- 18:02, 20 dic 2012 (diff | cron) . . (0) . . File:Posets Hesse.pdf (Mattiie ha caricato una nuova versione di "File:Posets Hesse.pdf": Corretti altri errori)
- 09:15, 20 dic 2012 (diff | cron) . . (0) . . File:Posets Hesse.pdf (Mattiie ha caricato una nuova versione di "File:Posets Hesse.pdf": Corretti alcuni errori)
- 08:19, 19 dic 2012 (diff | cron) . . (0) . . Logica fuzzy (→Last concepts (Devo ancora decidire che titolo dargli))
- 16:10, 18 dic 2012 (diff | cron) . . (0) . . N File:Posets Hesse.pdf
- 15:51, 13 dic 2012 (diff | cron) . . (+227) . . Logica fuzzy
- 15:41, 13 dic 2012 (diff | cron) . . (0) . . File:Plot.pdf (Mattiie ha caricato una nuova versione di "File:Plot.pdf": Added errors reporting address.)
- 11:49, 13 dic 2012 (diff | cron) . . (+379) . . Logica fuzzy (→Decidability)
- 11:32, 13 dic 2012 (diff | cron) . . (+1 222) . . Logica fuzzy (→Decidability)
- 11:00, 13 dic 2012 (diff | cron) . . (0) . . Logica fuzzy (corretto errore di scrittura)
- 10:56, 13 dic 2012 (diff | cron) . . (+469) . . Logica fuzzy (→Decidability)
- 10:49, 13 dic 2012 (diff | cron) . . (+710) . . Logica fuzzy (Lemma di riduzione dei mondi possibili)
- 10:38, 13 dic 2012 (diff | cron) . . (+380) . . Logica fuzzy (Fn is a finite set, example on equiv 1)
- 10:31, 13 dic 2012 (diff | cron) . . (+1) . . Logica fuzzy (correzione errore grammaticale)
- 10:30, 13 dic 2012 (diff | cron) . . (+252) . . Logica fuzzy (→Decidability)
- 10:17, 13 dic 2012 (diff | cron) . . (+235) . . Logica fuzzy (Classi di equivalenza definite da equi)
- 10:12, 13 dic 2012 (diff | cron) . . (+163) . . Logica fuzzy (equiv è una relazione d'equivalenza)
- 10:04, 13 dic 2012 (diff | cron) . . (+1) . . Logica fuzzy (Grammatical error)
- 10:01, 13 dic 2012 (diff | cron) . . (+1) . . Logica fuzzy (Corretto errore di grammatica)
- 11:35, 11 dic 2012 (diff | cron) . . (+1) . . Logica fuzzy (Correzione grammatica)
- 22:20, 24 nov 2012 (diff | cron) . . (+1) . . Logica fuzzy
- 22:18, 24 nov 2012 (diff | cron) . . (+40) . . N File:Plot.pdf (Plots of godel functions in one variable)
- 17:18, 24 nov 2012 (diff | cron) . . (+1 690) . . Logica fuzzy (→Decidability)
- 15:58, 24 nov 2012 (diff | cron) . . (+952) . . Logica fuzzy (→Decidability)
- 15:39, 24 nov 2012 (diff | cron) . . (+44) . . Logica fuzzy
- 15:35, 24 nov 2012 (diff | cron) . . (0) . . Logica fuzzy (→Relationship between syntax and semantic)
- 14:02, 19 nov 2012 (diff | cron) . . (+63) . . Logica fuzzy (→Semantic)
- 13:57, 19 nov 2012 (diff | cron) . . (+663) . . Logica fuzzy (→Relationship between syntax and semantic)
- 13:39, 19 nov 2012 (diff | cron) . . (-2) . . Logica fuzzy (→Classical Propositional Logic)
- 13:39, 19 nov 2012 (diff | cron) . . (+64) . . Logica fuzzy (→Relationship between syntax and semantic)
- 13:06, 19 nov 2012 (diff | cron) . . (+165) . . Logica fuzzy (→Semantic)
- 12:36, 11 nov 2012 (diff | cron) . . (+127) . . Logica fuzzy (→Relationship between syntax and semantic)
- 12:21, 11 nov 2012 (diff | cron) . . (+871) . . Logica fuzzy (→Relationship between syntax and semantic)
- 12:03, 11 nov 2012 (diff | cron) . . (+41) . . Logica fuzzy (→Relationship between syntax and semantic)
- 11:55, 11 nov 2012 (diff | cron) . . (+469) . . Logica fuzzy (Aggiunta la mia dimostrazione di TAUT_g subset TAUT)
- 11:34, 11 nov 2012 (diff | cron) . . (+2) . . Logica fuzzy (→Semantic)
- 11:33, 11 nov 2012 (diff | cron) . . (+74) . . Logica fuzzy (→Relationship between syntax and semantic)
- 11:29, 11 nov 2012 (diff | cron) . . (+1 281) . . Logica fuzzy
- 11:02, 11 nov 2012 (diff | cron) . . (+62) . . Logica fuzzy (→Semantic)
- 10:49, 11 nov 2012 (diff | cron) . . (+1 332) . . Logica fuzzy (→Semantic)
- 10:32, 11 nov 2012 (diff | cron) . . (+122) . . Logica fuzzy (→Semantic)
- 10:22, 11 nov 2012 (diff | cron) . . (+1 340) . . Logica fuzzy (Definizione di veritò, non verità, falsità, tautologia, contraddizione, soddisfacibilità, refutabilità nella logica di Godel)
- 12:05, 6 nov 2012 (diff | cron) . . (+292) . . Logica fuzzy (→Semantic)
- 11:50, 6 nov 2012 (diff | cron) . . (+291) . . Logica fuzzy (→Semantic)
- 11:25, 6 nov 2012 (diff | cron) . . (+83) . . Logica fuzzy (→Syntax)
- 11:22, 6 nov 2012 (diff | cron) . . (+520) . . Logica fuzzy (→Semantic)
- 10:54, 6 nov 2012 (diff | cron) . . (+181) . . Logica fuzzy (→Relationship between syntax and semantic)
- 10:49, 6 nov 2012 (diff | cron) . . (+1 105) . . Logica fuzzy (→Semantic)