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 > Corsi G - M > Logica matematica > {2003/2004}[diario del corso]Logica Thread Rating: 2 votes, 5.00 average.
Pages (5): [1] 2 3 4 5 »   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
 Red face [Diario del corso] Logica

[Questo thread dovrebbe essere spostato nel futuro forum dedicato alle lauree specialistiche]

Oggi c'è stata la prima lezione di Logica per le lauree specialistiche. Il professore ha semplicemente introdotto il corso, le lezioni vere e proprie inizieranno domani.

Il corso non prevede libro di testo, ma esclusivamente dispense che saranno distribuite dal docente.
Si tratta di un corso dal taglio pratico, in gran parte basato sull'utilizzo di un tool (SPASS) per dimostrazioni automatiche: durante le lezioni si apprenderà, tra le altre cose, l'utilizzo del tool, perciò la frequenza al corso è consigliata per prendere confidenza col programma in maniera immediata.
L'esame sarà in parte di carattere pratico (richiederà di saper utilizzare SPASS) e in parte orale (domande sul programma, ma non sono richieste dimostrazioni).

Per chi volesse seguire il corso di Logica II (6 crediti), questo inizierà approssimativamente dopo Natale, nello stesso orario di Logica.

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

Last edited by 0m4r on 29-03-2004 at 19:54
08-10-2003 13:30
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
frieduz
.consigliere.

User info:
Registered: Jun 2003
Posts: 110 (0.01 al dì)
Location: arcore beach
Corso: info...che?
Anno: 3
Time Online: 16:51:15 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Le dispense saranno "distribuite" nel senso che:
* da lui le fotocopie
* le lascia in copisteria
* le mette online
?

__________________
==========================
Io collaboro con Wikipedia (http://it.wikipedia.org/). E tu?
==========================
08-10-2003 14:39
Click Here to See the Profile for frieduz Click here to Send frieduz a Private Message Visit frieduz's homepage! Find more posts by frieduz Add frieduz 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

Le dispense saranno spedite via mail agli studenti. Oggi il docente ha raccolto gli indirizzi e-mail dei presenti, domani farà altrettanto.
Non escludo però che possa consegnarle a mano anche a lezione.

__________________
The man in black fled across the desert and the gunslinger followed.
08-10-2003 14:53
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
frieduz
.consigliere.

User info:
Registered: Jun 2003
Posts: 110 (0.01 al dì)
Location: arcore beach
Corso: info...che?
Anno: 3
Time Online: 16:51:15 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

pensi poi di postarle qui?

__________________
==========================
Io collaboro con Wikipedia (http://it.wikipedia.org/). E tu?
==========================
08-10-2003 15:15
Click Here to See the Profile for frieduz Click here to Send frieduz a Private Message Visit frieduz's homepage! Find more posts by frieduz Add frieduz 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

Sì, penso di sì. Non credo ci siano problemi. :)

__________________
The man in black fled across the desert and the gunslinger followed.
08-10-2003 15:16
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
frieduz
.consigliere.

User info:
Registered: Jun 2003
Posts: 110 (0.01 al dì)
Location: arcore beach
Corso: info...che?
Anno: 3
Time Online: 16:51:15 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

grazie mille!

__________________
==========================
Io collaboro con Wikipedia (http://it.wikipedia.org/). E tu?
==========================
08-10-2003 15:19
Click Here to See the Profile for frieduz Click here to Send frieduz a Private Message Visit frieduz's homepage! Find more posts by frieduz Add frieduz to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
recoil
dsy adminz

User info:
Registered: Mar 2002
Posts: 4454 (0.51 al dì)
Location: Milano / Erba
Corso: TICOM
Anno: laureato
Time Online: 61 Days, 16:17:45 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

interessano anche a me visto che logica non lo seguirò.

lo SPASS è questo?
http://spass.mpi-sb.mpg.de/index.html

__________________
Sono sempre alla ricerca di curriculum interessanti da segnalare alle società con cui ho contatti. Info in pm
08-10-2003 15:50
Click Here to See the Profile for recoil Click here to Send recoil a Private Message Visit recoil's homepage! Find more posts by recoil Add recoil 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

Sì, esatto recoil.

A questo indirizzo potete trovare il programma del corso.

__________________
The man in black fled across the desert and the gunslinger followed.
08-10-2003 15: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
Juventina
@Dublin

User info:
Registered: Dec 2001
Posts: 3334 (0.38 al dì)
Location: Trezzano s/N
Corso: specialistica informatica
Anno: 4 + 3 :/
Time Online: 44 Days, 15:17:10 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

niente prolog?

__________________
Don't be evil ;)
08-10-2003 17:08
Click Here to See the Profile for Juventina Click here to Send Juventina a Private Message Find more posts by Juventina Add Juventina 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

No, il professore non l'ha citato, quindi mi sa che (purtroppo... :)) non si parlerà di prolog...

__________________
The man in black fled across the desert and the gunslinger followed.
09-10-2003 08:43
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
0m4r
.grande:maestro.

User info:
Registered: Mar 2002
Posts: 7287 (0.84 al dì)
Location: Düsseldorf (DE)
Corso:
Anno: ESAMI FINITI
Time Online: 49 Days, 0:57:33 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

Originally posted by Bulma
Sì, penso di sì. Non credo ci siano problemi. :)


è meglio che lo chiedi a Ghilardi, le dispense del corso di Filosofia del Linguaggio dell'anno scorso per ComDig non hanno avuto il permesso di essere postate qui...

__________________
http://www.twitter.com/0m4r
11-10-2003 15:59
Click Here to See the Profile for 0m4r Click Here to See the Blog of 0m4r Click here to Send 0m4r a Private Message Find more posts by 0m4r Add 0m4r to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
Collapse
recoil
dsy adminz

User info:
Registered: Mar 2002
Posts: 4454 (0.51 al dì)
Location: Milano / Erba
Corso: TICOM
Anno: laureato
Time Online: 61 Days, 16:17:45 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

ok ma al corso siamo veramente in pochi...

se qualcuno ha bisogno delle dispense può sempre mandare una mail al prof oppure chiedere a uno di noi e farsele mandare in privato

__________________
Sono sempre alla ricerca di curriculum interessanti da segnalare alle società con cui ho contatti. Info in pm
11-10-2003 16:03
Click Here to See the Profile for recoil Click here to Send recoil a Private Message Visit recoil's homepage! Find more posts by recoil Add recoil 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

Infatti contavo di chiedere al prof il permesso di postarle. Oppure sostengo l'idea di recoil: chi ha bisogno delle dispense può chiederle direttamente al prof. via mail.

__________________
The man in black fled across the desert and the gunslinger followed.
12-10-2003 11: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
 Prima lezione - 09/10/2003

Argomenti trattati nella prima lezione:

Sintassi dei linguaggi elementari:
- cosa è un linguaggio elementare
- linguaggi con identità
- termini e formule
- termini ground
- occorrenze vincolate e libere di variabili
- enunciato

Sematica dei linguaggi elementari:
- struttura
- nozione di verità

__________________
The man in black fled across the desert and the gunslinger followed.
13-10-2003 10:03
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
recoil
dsy adminz

User info:
Registered: Mar 2002
Posts: 4454 (0.51 al dì)
Location: Milano / Erba
Corso: TICOM
Anno: laureato
Time Online: 61 Days, 16:17:45 [...]
Status: Offline

Post actions:

Edit | Report | IP: Logged

cmq ho dato un'occhiata alle dispense e c'è praticamente la stessa roba che ha spiegato a lezione quindi si può pure fare a meno di prendere appunti :)

__________________
Sono sempre alla ricerca di curriculum interessanti da segnalare alle società con cui ho contatti. Info in pm
13-10-2003 11:44
Click Here to See the Profile for recoil Click here to Send recoil a Private Message Visit recoil's homepage! Find more posts by recoil Add recoil to your buddy list Printer Friendly version Email this Article to a friend Reply w/Quote
All times are GMT. The time now is 17:04.    Post New Thread    Post A Reply
Pages (5): [1] 2 3 4 5 »   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.115 seconds (60.81% PHP - 39.19% MySQL) con 24 query.