Pages: 1 [2] 3 4 ... 47   Go Down
Subject Started by Replies Views Last post
0 Members e 4 Utenti non registrati stanno visualizzando questa sezione.
pumping lemma Gerasia 9 272 Last post 12-01-2018, 17:18:43
by teo998
esercizio 43 logica Stefano clm 2 191 Last post 12-01-2018, 17:02:55
by Stefano clm
Esercizio semantica Po « 1 2 3 » Franco Barbanera 39 889 Last post 12-01-2018, 16:57:04
by Franco Barbanera
Es. 34 Sostituzione Stefano clm 5 196 Last post 12-01-2018, 16:48:39
by Franco Barbanera
Come si scrive una grammatica teo998 4 197 Last post 12-01-2018, 15:33:58
by ɹǝǝuıƃuǝsɹǝʌǝɹ
Esercizio numero 50 (Modelli computazionali) Monkey 3 168 Last post 11-01-2018, 22:10:27
by Monkey
Re:esercizio esempio beta-Riduzione « 1 2 » jeremy_sapienza 29 703 Last post 10-01-2018, 18:42:41
by MoonlightLucrix
Aggiornamento testo [AA] Franco Barbanera 0 106 Last post 10-01-2018, 14:50:23
by Franco Barbanera
problema esercizio esempio 10 deduzione naturale simoncello98 1 172 Last post 06-01-2018, 23:17:16
by Franco Barbanera
Domanda sulle macchine di turing luca98 5 203 Last post 06-01-2018, 23:08:32
by Franco Barbanera
Esercizi su alpha-conversione Franco Barbanera 2 184 Last post 02-01-2018, 12:30:20
by Franco Barbanera
esercizi sul lambda calcolo « 1 2 » luca98 21 401 Last post 29-12-2017, 00:46:05
by Franco Barbanera
La dimostrazione del Pumping Lemma.... Franco Barbanera 0 147 Last post 28-12-2017, 18:15:48
by Franco Barbanera
Deduzione naturale e logica proposizionale teo998 3 246 Last post 14-12-2017, 23:00:08
by teo998
Esercizio di verifica formale di programmi Franco Barbanera 1 197 Last post 12-12-2017, 15:00:59
by teo998
Eserciziettinino logica proposizionale Franco Barbanera 4 495 Last post 08-12-2017, 01:39:52
by Franco Barbanera
Sul tipo Integer in Haskell (da una domanda A-L) (solo per gli interessati) Franco Barbanera 1 216 Last post 07-12-2017, 18:27:07
by giorgio_buzzanca
Gli ultimi due lambda-termini visti oggi a lezione (A-L) Franco Barbanera 0 209 Last post 07-12-2017, 15:24:13
by Franco Barbanera
Soluzioni esercizi deduzione naturale - Ursini « 1 2 » giorgio_buzzanca 17 499 Last post 06-12-2017, 19:35:15
by luca98
Esercizietto programmazione funzionale Franco Barbanera 12 323 Last post 06-12-2017, 18:29:45
by Franco Barbanera
Pages: 1 [2] 3 4 ... 47   Go Up

Discussione in cui si è intervenuti
Normal Topic
Hot Topic (More than 15 replies)
Very Hot Topic (More than 25 replies)
Locked Topic
Sticky Topic
Poll
: