Homepage  Il progetto dsy.it è l'unofficial support site dei corsi di laurea del Dipartimento di Scienze dell'Informazione e del Dipartimento di Informatica e Comunicazione della Statale di Milano. E' un servizio degli studenti per gli studenti, curato in modo no-profit da un gruppo di essi. I nostri servizi comprendono aree di discussione per ogni Corso di Laurea, un'area download per lo scambio file, una raccolta di link e un motore di ricerca, il supporto agli studenti lavoratori, il forum hosting per Professori e studenti, i blog, e molto altro...
In questa sezione è indicizzato in textonly il contenuto del nostro forum


.dsy:it. .dsy:it. Archive > Didattica > Corsi G - M > Logica matematica
Pages: [1] 2 
Logica matematica - Thread da 1 a 200 di 264 disponibili.
Clicca QUI per visualizzare il forum normalmente.
Filez
No description available.
Thread attivi: 24 (102 posts)
<a href="http://wiki.dsy.it/w/Logica_matematica">--> Wiki</a>
No description available.
Thread attivi: 0 (0 posts)
Contromodello e dimostrazione21-01-2019 18:14 - 0 replies
Appunti Aguzzoli15-10-2018 12:35 - 0 replies
orario 201512-10-2015 16:45 - 2 replies
Info28-02-2013 12:14 - 3 replies
Ma dove accidenti è l'esame di domani?29-01-2013 08:19 - 0 replies
Appello Gennaio - Febbraio22-12-2012 11:16 - 1 reply
Curriculum Profesionalizzante Logica Matematica11-06-2012 14:26 - 3 replies
Preparazione esame di marzo20-02-2012 16:30 - 8 replies
Il corso c'è ancora?12-02-2012 11:25 - 1 reply
Esame 17/0210-02-2012 09:37 - 0 replies
Ora e aula esame di domani25-01-2012 08:28 - 2 replies
Esercizi dispense pag. 2501-11-2011 11:44 - 0 replies
esiti esame 22 settembre26-09-2011 14:56 - 0 replies
se e solo se19-09-2011 15:51 - 3 replies
istallare swi prolog19-09-2011 10:51 - 0 replies
contromodello14-09-2011 16:06 - 1 reply
Spiegazione DPLL05-06-2011 16:02 - 0 replies
Iscrizione esame02-06-2011 11:37 - 1 reply
Dubbio freccia modello/contromodello16-09-2010 21:35 - 1 reply
Esiti Appello Luglio11-07-2010 16:36 - 6 replies
aiuto prolog05-07-2010 15:55 - 3 replies
es modello/contromodello scelta multipla04-07-2010 19:24 - 0 replies
Opzionale di storia e filosofia della logica03-07-2010 14:20 - 1 reply
Esercizio ProLog - compitino 17 giugno28-06-2010 09:42 - 1 reply
Esercizio Traduzione in FNC16-06-2010 16:03 - 3 replies
Prolog05-06-2010 17:12 - 4 replies
Progetto prolog31-05-2010 09:33 - 1 reply
Esercizi preparazione II Compitino23-05-2010 16:04 - 1 reply
Exe - Dimostrazione validità logica18-05-2010 22:02 - 7 replies
Secondo Compitino16-05-2010 10:44 - 2 replies
Dubbio ricerca dimostrazione/contromodello14-05-2010 12:12 - 11 replies
logica 231-03-2010 16:34 - 0 replies
Esercizio FNC27-03-2010 13:52 - 1 reply
Esercizio26-03-2010 15:53 - 8 replies
Sat Solver24-03-2010 20:25 - 0 replies
Domanda torica24-03-2010 14:42 - 1 reply
esame di logica 220-03-2010 16:43 - 0 replies
Primo Compitino16-03-2010 16:13 - 2 replies
Panico letterali massimali25-02-2010 18:52 - 1 reply
Ripetere Logica Mat per esame del 2617-02-2010 06:48 - 7 replies
Informazioni SPASS05-02-2010 07:23 - 0 replies
Risultati esame del 21/0127-01-2010 20:24 - 0 replies
Esame del 28 gennaio 201004-01-2010 17:40 - 6 replies
Log Mat x Informatica Magistrale19-11-2009 20:44 - 0 replies
Info lezione 13 Novembre17-11-2009 18:03 - 3 replies
Logica Matematica prof. Ghilardi18-10-2009 20:13 - 0 replies
Applicazioni delle regole per il DPLL11-10-2009 15:13 - 0 replies
Risultati logica11-10-2009 09:46 - 18 replies
Logica Matematica Informatica Magistrale09-10-2009 19:15 - 1 reply
Materiale di studio24-09-2009 10:02 - 1 reply
Input di SWI-Prolog23-09-2009 16:58 - 0 replies
esame di settembre31-08-2009 10:38 - 3 replies
Soluzione esercizi PROLOG Appello 25 Giugno 200906-07-2009 21:04 - 2 replies
25 Giugno01-07-2009 12:21 - 7 replies
Cercasi prof di logica26-06-2009 17:39 - 2 replies
Ricerca dimostrazioni / contromodelli24-06-2009 17:45 - 0 replies
[Prolog] Argomenti Affrontati / Appunti24-06-2009 16:43 - 1 reply
Esame Di Oggi15-06-2009 19:07 - 9 replies
Filosofia e storia della logica12-06-2009 14:10 - 0 replies
Compitino prolog11-06-2009 20:15 - 3 replies
Mercoledì 10/06 esercitazione di Prolog?08-06-2009 18:42 - 1 reply
CUT - Prolog01-06-2009 16:40 - 0 replies
Videolezioni???28-05-2009 14:47 - 5 replies
Terzo compitino(prolog)26-05-2009 14:40 - 1 reply
dubbio esercizio20-05-2009 15:57 - 1 reply
secondo compitino10-05-2009 11:51 - 0 replies
??? Secondo compitino ???04-05-2009 20:18 - 29 replies
Logica matematica - individuare contromodello02-05-2009 09:52 - 0 replies
compitino prolog ( decisione data)27-04-2009 21:44 - 6 replies
Risultati primo compitino08-04-2009 16:13 - 1 reply
X chi non ha fatto il 1°compitino...?01-04-2009 10:20 - 2 replies
SiFA primo compitino26-03-2009 22:29 - 1 reply
Esercizi di Preparazione per il 1° compito del 30/03/0922-03-2009 20:19 - 29 replies
Il metodo strutturale21-03-2009 15:28 - 0 replies
Appunti Teoria / Esercitazione Logica Maematica18-03-2009 10:55 - 2 replies
lezione Mercoledì facoltativa?18-03-2009 10:21 - 10 replies
cercasi compitini06-03-2009 15:09 - 1 reply
Inizio corso 2008/200902-03-2009 07:53 - 3 replies
[LPA] regole di inferenza in SPASS (panico del giorno prima)24-02-2009 16:09 - 0 replies
Applicazione della Resolution23-02-2009 18:19 - 4 replies
[LPA] Spass e dintorni23-02-2009 10:07 - 3 replies
Esercizi Logica E Prolog20-02-2009 16:03 - 2 replies
com20-02-2009 13:21 - 0 replies
studiare in comelico14-02-2009 00:11 - 3 replies
Appello passato.01-02-2009 20:55 - 6 replies
..quanti esercizi si portano all'esame?26-01-2009 10:57 - 2 replies
Password archivio Spasseditor22-01-2009 10:40 - 0 replies
SpassEditor13-01-2009 13:20 - 0 replies
Aiuto per le Description Logics19-12-2008 12:21 - 0 replies
lezione 22/10/200821-10-2008 15:02 - 0 replies
Esito del 25 settembre09-10-2008 08:07 - 0 replies
problema installazione SPASS07-10-2008 19:10 - 6 replies
Dubbio su SWi-Prolog19-09-2008 14:11 - 2 replies
Esame 18/0915-09-2008 14:01 - 1 reply
Studiare per appello del 18.09.0902-09-2008 09:52 - 1 reply
SPASS sul Mac22-08-2008 17:40 - 0 replies
[LPA] problema esercizio (HELP)21-07-2008 23:10 - 3 replies
Esiti appello 10 luglio16-07-2008 15:37 - 6 replies
esercizio formalizzare un ragionamento07-07-2008 11:07 - 3 replies
Creazione di clausule26-06-2008 10:39 - 3 replies
Help! Esercizio di Logica17-06-2008 18:54 - 0 replies
Esercizi Prolog14-06-2008 12:36 - 8 replies
prolog - regola rinomina variabile09-06-2008 12:08 - 0 replies
Terzo compitino logica matematica22-05-2008 14:28 - 2 replies
vederci per l'appello17-05-2008 20:26 - 0 replies
soluzione II compitino logica matematica16-05-2008 16:17 - 0 replies
Pubblicati esiti ghilardi16-05-2008 15:15 - 0 replies
Dubbio tableaux10-05-2008 15:28 - 6 replies
esercizio dpll 1° compitino 31/03/0804-04-2008 20:38 - 0 replies
esercizio compitino..04-04-2008 18:15 - 0 replies
esercizi primo compito [31/03/08]04-04-2008 16:08 - 12 replies
In vista del secondo compitino...04-04-2008 14:35 - 31 replies
Esiti compitino...31-03-2008 12:39 - 11 replies
DPLL del primo compito31-03-2008 10:02 - 7 replies
Aiuto DPLL28-03-2008 15:34 - 30 replies
[Gruppo di studio]Preparazione al primo compitino23-03-2008 10:48 - 0 replies
esercizi primo compito19-03-2008 14:04 - 3 replies
[LPA] Chiarimento modalità d'esame12-03-2008 10:58 - 0 replies
[LPA] Modalità d'esame - chiarimento12-03-2008 10:56 - 0 replies
[LOGICA MATEMATICA] - qualcuno ha le soluzioni degli appelli 2007/2008?04-03-2008 14:04 - 1 reply
&quot;per applicazioni&quot; o &quot;matematica&quot;03-03-2008 12:00 - 2 replies
opzioni di SPASS!24-02-2008 15:49 - 1 reply
[Logica per app]Traccia B123-02-2008 22:13 - 13 replies
skolemizzare22-02-2008 11:24 - 5 replies
traccia B121-02-2008 13:11 - 0 replies
problema con MRR21-02-2008 11:02 - 9 replies
Problemi con file Puzzle *.DFG20-02-2008 21:57 - 3 replies
preparare esercizio spass19-02-2008 16:19 - 6 replies
[Logica per le applicazioni] Skolemizzazione16-02-2008 21:43 - 4 replies
[Logica per le applicazioni] descrittive b215-02-2008 12:31 - 0 replies
Info su compitini 200815-02-2008 11:12 - 20 replies
Logica matematica - chi vuole gli appunti?13-02-2008 13:31 - 16 replies
Esame Logica matematica11-02-2008 17:40 - 2 replies
DPLL - Regola spezzamento10-02-2008 22:48 - 8 replies
[Logica per le app]Orale08-02-2008 10:00 - 2 replies
Problema Spass editor07-02-2008 17:22 - 1 reply
Progetto Prolog Logica Matematica05-02-2008 11:15 - 1 reply
[Logica Matematica] Prolog, dove studiarlo?31-01-2008 11:50 - 6 replies
scelta esercizio30-01-2008 21:59 - 0 replies
[LPA] esame di gennaio30-01-2008 13:40 - 3 replies
URGENTISSIMO . problema per esame23-01-2008 12:54 - 1 reply
Opzioni di Spass21-01-2008 17:08 - 1 reply
Difficoltà e Argomenti Corso...?21-01-2008 14:55 - 3 replies
[PROLOG] Punto esclamativo21-01-2008 08:24 - 1 reply
dubbio sui (contro)modelli16-01-2008 01:22 - 0 replies
Traccia B e B115-01-2008 15:12 - 1 reply
Help Calcolo R12-01-2008 18:35 - 0 replies
logica per applicazioni - tracce B1 e B227-11-2007 09:44 - 10 replies
[Logica per le applicazioni] Appello14-11-2007 13:17 - 11 replies
Appello a gennaio?10-11-2007 13:52 - 2 replies
metodo strutturale24-10-2007 22:11 - 0 replies
Dispense e testi?03-10-2007 12:54 - 3 replies
domanda19-09-2007 11:46 - 26 replies
esercizio risolto 1.2 settembre 200616-09-2007 18:22 - 3 replies
esercizio risolto 1.2 luglio 200616-09-2007 16:08 - 2 replies
Prolog, dove studiarlo?27-08-2007 15:37 - 10 replies
logica matematica == logica per le applicazioni ???30-07-2007 10:41 - 5 replies
Esempi spass10-07-2007 18:58 - 0 replies
Logica matematica ( con chi sostenere l'esame? )08-07-2007 09:23 - 1 reply
Spass03-07-2007 10:37 - 26 replies
verbalizzazione18-06-2007 19:26 - 14 replies
Risultati prolog13-06-2007 11:35 - 1 reply
(Logica per le app) Argomenti Ranise11-06-2007 17:53 - 3 replies
dobbi su fattorizzazione destra08-06-2007 10:29 - 1 reply
[LOGICA MATEMATICA] Skolemizzazione03-06-2007 20:54 - 2 replies
approfondimento a luglio?31-05-2007 11:46 - 1 reply
Aule compitino14-05-2007 19:49 - 1 reply
[LOGICA MATEMATICA] Riduzione FNN (primo tentativo)14-05-2007 16:03 - 3 replies
Info logica matematica in triennale/magistrale12-05-2007 15:31 - 4 replies
[LOGICA MATEMATICA] Esercizi02-05-2007 15:44 - 6 replies
Esperienza di esame23-04-2007 17:38 - 3 replies
[Logica per le Applicazioni] Scelta esercizio15-04-2007 12:28 - 3 replies
lezione del 11/04/200709-04-2007 19:08 - 1 reply
1° compitino03-04-2007 08:48 - 19 replies
[GHILARDI] Info corso15-03-2007 11:05 - 1 reply
Esiti febbraio12-03-2007 07:52 - 17 replies
[Ghilardi - Orale]05-03-2007 07:57 - 19 replies
sussunzione!! aiuto26-02-2007 10:13 - 0 replies
Esercizi Prolog23-02-2007 10:56 - 0 replies
[logica per applicazioni] problema con spasseditor23-02-2007 08:49 - 16 replies
Esercizi su Skolemizzazione22-02-2007 19:56 - 0 replies
Soluzione Gennaio 200722-02-2007 10:21 - 0 replies
Skolemizzazione18-02-2007 17:14 - 1 reply
[Logica - Ghilardi] Appello 27 Febbraio 200717-02-2007 12:01 - 11 replies
Aiuto su DPLL15-02-2007 15:17 - 2 replies
Consiglio!12-02-2007 17:41 - 12 replies
[Logica - Ghilardi] La palestra del Prolog ...09-02-2007 13:51 - 5 replies
info esame logica x le applicazioni05-02-2007 10:59 - 0 replies
INFO: Appello Febbraio02-02-2007 08:52 - 14 replies
[Logica - Ghilardi] Esercizi svolti - parte di Logica18-01-2007 08:35 - 0 replies
Metodi formali per la verifica di protocolli16-01-2007 17:08 - 1 reply
Letterali massimali aiuto !31-12-2006 17:53 - 14 replies
[Lezione] - Venerdì 3129-11-2006 10:50 - 2 replies
[Logica - Ghilardi] Appello 25 Gennaio 200721-11-2006 08:41 - 36 replies
[Lezione] - Venerdì 1715-11-2006 14:50 - 1 reply
[videolezioni] logica x le applicazioni27-10-2006 14:26 - 3 replies
[SPASS]Interfaccia java??20-10-2006 09:17 - 4 replies
[Esame] Richiesta adesioni per appello extra29-09-2006 11:59 - 9 replies
[LPA] SPASS - mgu e massimali08-09-2006 10:39 - 3 replies
[logica X Appz] Esame 14/09 - Problema Sifa31-08-2006 14:50 - 0 replies
Powered by: vbHome (lite) v4.1 and 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