Dsy Network>  www | forum | my | didattica | howto | wiki | el goog | stats | blog | dona | rappresentanti
Homepage
 Register   Calendar   Members  Faq   Search  Logout 
.dsy:it. : Powered by vBulletin version 2.3.1 .dsy:it. > Didattica > Didattica in generale > [Ragionamento Automatico I] Diario del corso 04/05
Pages (2): « 1 [2]   Last Thread   Next Thread
Author
Thread    Expand all | Contract all    Post New Thread    Post A Reply
Collapse
Bulma
.grande:maestro.

User info:
Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Lezione del 12-04-05

Argomenti trattati nella lezione di oggi:

- HORNSAT è in P (continuazione)
- Risoluzione lineare, risoluzione di input, risoluzione SLD
- La logica del I ordine: introduzione

__________________
The man in black fled across the desert and the gunslinger followed.
12-04-2005 16:44
Click Here to See the Profile for Bulma Click Here to See the Blog of Bulma Click here to Send Bulma a Private Message Find more posts by Bulma Add Bulma to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bulma
.grande:maestro.

User info:
Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Lezione del 13-04-05

Argomenti trattati nella lezione di oggi:

- Logica del Primo Ordine: sintassi e semantica

__________________
The man in black fled across the desert and the gunslinger followed.
13-04-2005 14:06
Click Here to See the Profile for Bulma Click Here to See the Blog of Bulma Click here to Send Bulma a Private Message Find more posts by Bulma Add Bulma to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bulma
.grande:maestro.

User info:
Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Lezione del 18-04-05

Argomenti trattati nella lezione di oggi:

- La semantica Tarskiana
- Sostituzioni
- Algebra della formule del I ordine
- Forma normale prenessa, skolemizzazione, equisoddisfacibilità

__________________
The man in black fled across the desert and the gunslinger followed.

Last edited by Bulma on 20-04-2005 at 17:02
20-04-2005 16:56
Click Here to See the Profile for Bulma Click Here to See the Blog of Bulma Click here to Send Bulma a Private Message Find more posts by Bulma Add Bulma to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bulma
.grande:maestro.

User info:
Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Lezione del 19-04-05

Argomenti trattati nella lezione di oggi:

- La semantica di Herbrand

__________________
The man in black fled across the desert and the gunslinger followed.
20-04-2005 17:05
Click Here to See the Profile for Bulma Click Here to See the Blog of Bulma Click here to Send Bulma a Private Message Find more posts by Bulma Add Bulma to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bulma
.grande:maestro.

User info:
Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Lezione del 20-04-05

Argomenti trattati nella lezione di oggi:

- Teorema di Herbrand + dimostrazione

__________________
The man in black fled across the desert and the gunslinger followed.
20-04-2005 17:07
Click Here to See the Profile for Bulma Click Here to See the Blog of Bulma Click here to Send Bulma a Private Message Find more posts by Bulma Add Bulma to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bulma
.grande:maestro.

User info:
Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Lezione del 26-04-05

Argomenti trattati nella lezione di oggi:

- Teorema di Herband, completezza e loro conseguenze
- Semidecidibilità di UNSAT al primo ordine

__________________
The man in black fled across the desert and the gunslinger followed.
26-04-2005 15:57
Click Here to See the Profile for Bulma Click Here to See the Blog of Bulma Click here to Send Bulma a Private Message Find more posts by Bulma Add Bulma to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
Bulma
.grande:maestro.

User info:
Registered: Jun 2002
Posts: 1706 (0.20 al dì)
Location: Rondinera City
Corso: Specialistica in Informatica
Anno: Dott. Mag.
Time Online: 72 Days, 20:00:05: [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged
 Lezione del 27-04-05

Argomenti trattati nella lezione di oggi:

- Sostituzioni, composizione di sostituzioni, unificatore e mgu
- Teorema di unificazione
- Clausole ortogonali, separatori, fattorizzazione, principio di risoluzione
- SFR deduzione, correttezza e completezza


Questa è stata l'ultima lezione del primo modulo del corso.
:ciao:

__________________
The man in black fled across the desert and the gunslinger followed.
27-04-2005 13:45
Click Here to See the Profile for Bulma Click Here to See the Blog of Bulma Click here to Send Bulma a Private Message Find more posts by Bulma Add Bulma to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 05:32.    Post New Thread    Post A Reply
Pages (2): « 1 [2]   Last Thread   Next Thread
Show Printable Version | Email this Page | Subscribe to this Thread | Add to Bookmarks

Forum Jump:
Rate This Thread:

Forum Rules:
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts 		HTML code is OFF
vB code is ON
Smilies are ON
[IMG] code is ON
 

Powered by: vBulletin v2.3.1 - Copyright ©2000 - 2002, Jelsoft Enterprises Limited
Mantained by dsy crew (email) | Collabora con noi | Segnalaci un bug | Archive | Regolamento | Licenze | Thanks | Syndacate
Pagina generata in 0.077 seconds (61.88% PHP - 38.12% MySQL) con 23 query.