Dodo

lunatico

User info:

Registered: Jul 2002
Posts: 2340 (0.28 al dì)
Location: in una fibra ottica
Corso: Com Dig
Anno: 3+1 :P
Time Online: 42 Days, 7:55:56 [...]
Status: Offline

Post actions:

Qui raccogliamo tutto quello che viene fatto lezione per lezione.

Last edited by Dodo on 01-10-2004 at 19:35

Dodo

lunatico

User info:

Registered: Jul 2002
Posts: 2340 (0.28 al dì)
Location: in una fibra ottica
Corso: Com Dig
Anno: 3+1 :P
Time Online: 42 Days, 7:55:56 [...]
Status: Offline

Post actions:

Prof. Ghilardi
Il prof ha dato un po' di informazioni sul corso che potete trovare qua

Il prof nella prima lezione ha fatto un introduzione alla linguistica.

Disponibili gli appunti di Luna, della lezione di oggi APPUNTI!!!

Prof. Bucalo

La prof. ha ripreso alcune nozioni di Insiemistica, introducendo la logica proposizionale

Disponibili gli appunti di Luna, della lezione di oggi APPUNTI!!!

Last edited by Dodo on 01-10-2004 at 19:33

Dodo

lunatico

User info:

Registered: Jul 2002
Posts: 2340 (0.28 al dì)
Location: in una fibra ottica
Corso: Com Dig
Anno: 3+1 :P
Time Online: 42 Days, 7:55:56 [...]
Status: Offline

Post actions:

Prof. Bucalo
Durante la mattina, abbiamo ripreso il concetto di Prodotto Cartesiano. Abbiamo visto inoltre il concetto di Funzione Caratteristica. Poi abbiamo ripreso la Logica dove ha introdotto il linguaggio proposizionale. Ha parlato delle formule atomiche enunciando le loro regole. E infine ha spiegato come ottenere un Albero di formazione delle formule.
Alla fine ha dato alcuni esercizi su come ottenere un albero di formazione, di alcune formule.

Prof. Ghilardi

Il prof Ghilardi invece partendo dalla definizione di "frase" ha introdotto alcune regole sintattiche, introducendo il concetto di grammatica e di produzione della grammatica.

__________________
E' meglio essere ottimisti ed avere torto piuttosto che pessimisti ed avere ragione.

Albert Einstein

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.57 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

Prof. Bucalo

La prof ha spiegato le convenzioni sulle notazioni, le sottoformule , la semantica bivalente. Ha inoltre spiegato le tabelle della verita' sui connettivi e ha dato la definizione di interpretazione,tautologia,contraddizione e soddisfacibile.

Prof. Ghilardi

Durante il pomeriggio il prof ha spiegato l'ambiguità sintattica, l'interpretazione semantica e la funzione caratteristica Xs , e le congiunzioni booleane.

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Mifune

dsy moderator

User info:

Registered: Jul 2003
Posts: 3061 (0.39 al dì)
Location: Milano/ we Milano 3
Corso: Work
Anno: Work
Time Online: 20 Days, 22:03:07: [...]
Status: Offline

Post actions:

[Lezione 4] Resoconto 20/10/2004

Prof Bucalo

La prof ha spiegato : tautologia, come si determinano i modelli, il sequente.

Prof Ghilardi

Durante il pomeriggio il prof ha spiegato I sintagmi nominali Determinanti, ,Articolo Determinativi, Determinanti, Regole di traduzione.

__________________
Imac G5 2.1 Ghz 20" 1.5 Ram - Ibook 1.2 Ghz 12" 768 Ram - Ipod mini 4Gb - Base airport extreme - jbl creature
nippi.it - Blog

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.57 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

Oggi c'e' stata solo la lezione al mattino della Prof. Bucalo.

Ha spiegato la nozione di multinsieme, il sistema deduttivo di K con assiomi e regole. Introdotto il concetto di dimostrazione con un esempio riguardante l'argomento.

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.57 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

Prof. Bucalo

Stamattina la prof ha fatto alcuni esempi di dimostrazioni, ha spiegato il contromodello e il teorema di validità e completezza.
Abbiamo finito l'argomento sulla logica proposizionale. Infatti oggi ha spiegato il calcolo e il linguaggio del primo ordine e il concetto di arieta'.

Prof. Ghilardi

Nel pomeriggio il prof ha fatto un riassunto della lezione precedente fatta 15 giorni fa ripetendo il principio di lambda conversione,l'analisi semantica e il sintagma nominale.
Abbiamo fatto molti esercizi utilizzando la lambda conversione nel caso del verbo transitivo con due sintagmi nominali.

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.57 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

Oggi c'e' stata solo lezione della prof Bucalo. La lezione del prof Ghilardi verra' recuperata piu' avanti

Gli argomenti visti a lezione:

Ha fatto un breve ripasso sui linguaggi elementari (del primo ordine). Ha spiegato i termini,le formule, la formula atomica, le sottoformule e la variabile vincolata.
Abbiamo anche visto le regole per i quantificatori che applicheremo nei vari esercizi.

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.57 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

Prof. Bucalo

Oggi abbiamo fatto qualche esercizio applicando le regole dei quantificatori. Delle dispense abbiamo svolto l'esercizio 1 a pagina 38 e l'esercizio 39 a pagina 40.

Prof. Ghilardi

E' stato introdotto e spiegato il concetto di albero sollevato, svolgendo un pò di esercizi sull'argomento. Abbiamo anche fatto le regole di formazione della grammatica logica e le regole ricorsive facendo anche un esercizio. E' stato assegnato un esercizio per casa.
Pubblico in questo thread il testo (e' un esercizio dato in un tema d'esame , puo' essere molto utile )

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous

Last edited by luna on 17-11-2004 at 17:23

luna

.grande:maestro.

User info:

Registered: Apr 2003
Posts: 4565 (0.57 al dì)
Location: Rozzano
Corso:
Anno: Ormai finito!
Time Online: 102 Days, 14:49:55 [...]
Status: Offline

Post actions:

Prof Bucalo

Oggi abbiamo svolto esercizi con le regole dei quantificatori. Abbiamo anche visto l'utilizzo del contromodello nel caso in cui il sequente non sia dimostrabile.

Prof Ghilardi

Abbiamo svolto l'esercizio assegnato l'altra volta per casa,che era un vecchio tema d'esame. Il prof ha anche spiegato il pronome anaforico e non anaforico,con relativo esempio.
Oggi ha preso le firme!
Ci sara' un'altra possibilita' per chi era assente oggi di potersi iscrivere ai compitini tramite firme.

__________________
"Solamente il cuore ti permette di vedere chiaramente.L'essenziale e' invisibile agli occhi"
bisogna vivere "alla giornata", senza crearsi troppe aspettative. quello che viene sarà un "di più" ed è da mettere nel salvadanaio.
Sono troppo una grilla petulante by Nous