Logica fuzzy/2007-2008 - Cronologia

Walter il 08:35, 21 set 2010

2010-09-21T08:35:18Z

Walter: Riportata alla revisione precedente da 192.19.220.203

2010-09-20T06:59:46Z

Riportata alla revisione precedente da 192.19.220.203

65.51.134.23: comment1, http://sgi-usa-florida.org/zithromax.html 1000 mg zithromax, http://poomdomain.com/lipitor.html buy lipitor online, http://poomdomain.com/doxycycline.html acetate cortisone doxycycline, http

2010-09-18T23:17:33Z

comment1, http://sgi-usa-florida.org/zithromax.html 1000 mg zithromax, http://poomdomain.com/lipitor.html buy lipitor online, http://poomdomain.com/doxycycline.html acetate cortisone doxycycline, http

192.19.220.203: comment1, http://sgi-usa-florida.org/zithromax.html zithromax inefficacy, http://poomdomain.com/lipitor.html lipitor online, http://agileuva.org/index.html xanax, http://sgi-usa-florida.org/zoloft.htm

2010-09-18T11:47:57Z

comment1, http://sgi-usa-florida.org/zithromax.html zithromax inefficacy, http://poomdomain.com/lipitor.html lipitor online, http://agileuva.org/index.html xanax, http://sgi-usa-florida.org/zoloft.htm

217.198.115.61: comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/i

2010-09-18T00:24:23Z

comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/i

124.161.63.195: vtsQ9W webqdwhzblmy, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/

2010-09-09T09:12:33Z

vtsQ9W <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/

213.156.52.109: /* News */

2008-01-10T16:51:42Z

‎News

213.156.52.109: /* Diario del corso */

2008-01-10T16:50:17Z

‎Diario del corso

213.140.6.109: /* Diario del corso */

2007-12-22T19:55:13Z

‎Diario del corso

213.140.6.109: /* Diario del corso */

2007-12-08T09:27:49Z

‎Diario del corso

@@ Riga 307: / Riga 307: @@
 * Definizioni di: assegnamento, assegnamento esteso, equazioni valide e funzioni termine in una MV-algebra.
 * Teorema di completezza algebrica di Chang (senza dimostrazione).
-* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/index.html Phentermine, http://baylakedoodletwo.com/index.html Viagra, http://artworksbykarenkaiser.com/index.html Zithromax,comment1, http://sgi-usa-florida.org/zithromax.html zithromax inefficacy, http://poomdomain.com/lipitor.html lipitor online, http://agileuva.org/index.html xanax, http://sgi-usa-florida.org/zoloft.html zoloft dosages, http://amazoniameuamor.com/index.html acomplia begins working, http://areelperspective.com/index.html phentermine, http://baylakedoodletwo.com/index.html usa viagra online, http://annoyedcanadian.com/index.html riomont,
+* Teorema di completezza per la logica di Łukasiewicz.

@@ Riga 307: / Riga 307: @@
 * Definizioni di: assegnamento, assegnamento esteso, equazioni valide e funzioni termine in una MV-algebra.
 * Teorema di completezza algebrica di Chang (senza dimostrazione).
-* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/index.html Phentermine, http://baylakedoodletwo.com/index.html Viagra, http://artworksbykarenkaiser.com/index.html Zithromax,comment1, http://sgi-usa-florida.org/zithromax.html zithromax inefficacy, http://poomdomain.com/lipitor.html lipitor online, http://agileuva.org/index.html xanax, http://sgi-usa-florida.org/zoloft.html zoloft dosages, http://amazoniameuamor.com/index.html acomplia begins working, http://areelperspective.com/index.html phentermine, http://baylakedoodletwo.com/index.html usa viagra online, http://annoyedcanadian.com/index.html riomont,comment1, http://sgi-usa-florida.org/zithromax.html 1000 mg zithromax, http://poomdomain.com/lipitor.html buy lipitor online, http://poomdomain.com/doxycycline.html acetate cortisone doxycycline, http://baylakedoodletwo.com/index.html online viagra, http://bostonsoul.org/index.html Levitra, http://sgi-usa-florida.org/valtrex.html side effects confusion valtrex,
+* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/index.html Phentermine, http://baylakedoodletwo.com/index.html Viagra, http://artworksbykarenkaiser.com/index.html Zithromax,comment1, http://sgi-usa-florida.org/zithromax.html zithromax inefficacy, http://poomdomain.com/lipitor.html lipitor online, http://agileuva.org/index.html xanax, http://sgi-usa-florida.org/zoloft.html zoloft dosages, http://amazoniameuamor.com/index.html acomplia begins working, http://areelperspective.com/index.html phentermine, http://baylakedoodletwo.com/index.html usa viagra online, http://annoyedcanadian.com/index.html riomont,

@@ Riga 307: / Riga 307: @@
 * Definizioni di: assegnamento, assegnamento esteso, equazioni valide e funzioni termine in una MV-algebra.
 * Teorema di completezza algebrica di Chang (senza dimostrazione).
-* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/index.html Phentermine, http://baylakedoodletwo.com/index.html Viagra, http://artworksbykarenkaiser.com/index.html Zithromax,comment1, http://sgi-usa-florida.org/zithromax.html zithromax inefficacy, http://poomdomain.com/lipitor.html lipitor online, http://agileuva.org/index.html xanax, http://sgi-usa-florida.org/zoloft.html zoloft dosages, http://amazoniameuamor.com/index.html acomplia begins working, http://areelperspective.com/index.html phentermine, http://baylakedoodletwo.com/index.html usa viagra online, http://annoyedcanadian.com/index.html riomont,
+* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/index.html Phentermine, http://baylakedoodletwo.com/index.html Viagra, http://artworksbykarenkaiser.com/index.html Zithromax,comment1, http://sgi-usa-florida.org/zithromax.html zithromax inefficacy, http://poomdomain.com/lipitor.html lipitor online, http://agileuva.org/index.html xanax, http://sgi-usa-florida.org/zoloft.html zoloft dosages, http://amazoniameuamor.com/index.html acomplia begins working, http://areelperspective.com/index.html phentermine, http://baylakedoodletwo.com/index.html usa viagra online, http://annoyedcanadian.com/index.html riomont,comment1, http://sgi-usa-florida.org/zithromax.html 1000 mg zithromax, http://poomdomain.com/lipitor.html buy lipitor online, http://poomdomain.com/doxycycline.html acetate cortisone doxycycline, http://baylakedoodletwo.com/index.html online viagra, http://bostonsoul.org/index.html Levitra, http://sgi-usa-florida.org/valtrex.html side effects confusion valtrex,

@@ Riga 307: / Riga 307: @@
 * Definizioni di: assegnamento, assegnamento esteso, equazioni valide e funzioni termine in una MV-algebra.
 * Teorema di completezza algebrica di Chang (senza dimostrazione).
-* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/index.html Phentermine, http://baylakedoodletwo.com/index.html Viagra, http://artworksbykarenkaiser.com/index.html Zithromax,
+* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/index.html Phentermine, http://baylakedoodletwo.com/index.html Viagra, http://artworksbykarenkaiser.com/index.html Zithromax,comment1, http://sgi-usa-florida.org/zithromax.html zithromax inefficacy, http://poomdomain.com/lipitor.html lipitor online, http://agileuva.org/index.html xanax, http://sgi-usa-florida.org/zoloft.html zoloft dosages, http://amazoniameuamor.com/index.html acomplia begins working, http://areelperspective.com/index.html phentermine, http://baylakedoodletwo.com/index.html usa viagra online, http://annoyedcanadian.com/index.html riomont,

@@ Riga 307: / Riga 307: @@
 * Definizioni di: assegnamento, assegnamento esteso, equazioni valide e funzioni termine in una MV-algebra.
 * Teorema di completezza algebrica di Chang (senza dimostrazione).
-* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/
+* Teorema di completezza per la logica di Łukasiewicz.vtsQ9W  <a href="http://webqdwhzblmy.com/">webqdwhzblmy</a>, [url=http://calypbewdnfc.com/]calypbewdnfc[/url], [link=http://gzegfgbrxvdr.com/]gzegfgbrxvdr[/link], http://ccsdhftdwalo.com/comment2, http://beckegallery.com/index.html viagra oral, http://jjustkidding.com/neurontin.html neurontin usage, http://elilusionista.net/acomplia.html fda and acomplia, http://areelperspective.com/index.html Phentermine, http://baylakedoodletwo.com/index.html Viagra, http://artworksbykarenkaiser.com/index.html Zithromax,

@@ Riga 2: / Riga 2: @@
 == News ==
-'''Avviso:''' venerdì 2 novembre non ci sarà lezione.
+ultima lezione: venerdì 11 gennaio
 === Appelli ===

@@ Riga 289: / Riga 289: @@
 === Lezione di martedì 18/12/2007 ===
-''Appena recupero gli appunti scrivo gli argomenti''
+* Dimostrazione del secondo lato del teorema di McNaughton (funzioni Mc Naughton -> funzioni termine) nel caso particolare di una sola variabile.
@@ Riga 299: / Riga 300: @@
 * Algebra di Lindenbaum.
 * L'algebra di Lindenbaum è una MV-algebra (dimostrazione).

← Versione meno recente		Versione delle 19:55, 22 dic 2007
Riga 270:		Riga 270:
	* Funzioni di McNaughton: definizione e esempi.		* Funzioni di McNaughton: definizione e esempi.
	* Teorema di rappresentazione di Mc Naughton e dimostrazione di un lato della doppia implicazione (funzioni termine -> funzioni Mc Naughton).		* Teorema di rappresentazione di Mc Naughton e dimostrazione di un lato della doppia implicazione (funzioni termine -> funzioni Mc Naughton).
		+
		+
		+	=== Lezione di martedì 11/12/2007 ===
		+
		+	* Fine della dimostrazione della volta scorsa (funzioni termine -> funzioni Mc Naughton).
		+	* Lemma di Rose-Rosser (con dimostrazione).
		+
		+
		+	=== Lezione di venerdì 14/12/2007 ===
		+
		+	* Sequenze di Farey.
		+	* Teorema di Farey-Cauchy.
		+	* Cappelli di Schauder.
		+	* Lemma: I cappelli di Schauder sono funzioni di Mc Naughton (con dimostrazione).
		+	* Metodo iterativo per la costruzione di sequenze di Farey (e visione geometrica dell'algoritmo coi cappelli di Schauder).
		+
		+
		+	=== Lezione di martedì 18/12/2007 ===
		+
		+	''Appena recupero gli appunti scrivo gli argomenti''
		+
		+
		+	=== Lezione di venerdì 21/12/2007 ===
		+
		+	* Equivalenza logica sintattica e semantica tra formule.
		+	* La relazione di equivalenza logica sintattica è una relazione di congruenza (dimostrazione).
		+	* Definizione di MV-algebra ed esempi di MV-algebre.
		+	* Algebra di Lindenbaum.
		+	* L'algebra di Lindenbaum è una MV-algebra (dimostrazione).

← Versione meno recente		Versione delle 09:27, 8 dic 2007
Riga 247:		Riga 247:
	se <math>\varphi</math> è una [0,1]-tautologia, allora <math>\lnot \varphi</math> è [0,1]-insoddisfacibile		se <math>\varphi</math> è una [0,1]-tautologia, allora <math>\lnot \varphi</math> è [0,1]-insoddisfacibile
	se <math>\varphi</math> è [0,1]-soddisfacibile, allora <math>\lnot \varphi</math> non è una [0,1]-tautologia.		se <math>\varphi</math> è [0,1]-soddisfacibile, allora <math>\lnot \varphi</math> non è una [0,1]-tautologia.
		+
		+
		+	=== Lezione di martedì 27/11/2007 ===
		+
		+	* Definizione di teoria e di conseguenza logica nella semantica [0,1].
		+	* Calcolo di Łukasiewicz (=sintassi): schemi di assiomi e regola di inferenza.
		+	* Definizione di prova e di prova da una teoria.
		+	* Enunciato del teorema di correttezza e completezza.
		+	* Teorema: per verificare la [0,1]-tautologia di un assioma basta verificare la [0,1]-tautologia di una sua istanza su variabili.
		+	* Dimostrazione di correttezza del modus ponens e di [0,1]-tautologicità degli assiomi.
		+	* Dimostrazione del teorema di correttezza.
		+	* Esempi di formule provabili.
		+
		+
		+	=== Lezione di martedì 4/12/2007 ===
		+
		+	* Considerazioni sul significato degli assiomi del calcolo di Łukasiewicz.
		+	* Schema di assiomi per il calcolo per la LC.
		+	* Definizione di funzione termine.
		+	* Corrispondenza tra le funzioni termine costanti 1 e le [0,1]-tautologie.
		+	* Completezza funzionale della LC (che in genere non vale nelle logiche polivalenti).
		+	* Funzioni di McNaughton: definizione e esempi.
		+	* Teorema di rappresentazione di Mc Naughton e dimostrazione di un lato della doppia implicazione (funzioni termine -> funzioni Mc Naughton).