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