Pages: 1 [2] 3 4 ... 47   Go Down
Subject Started by Replies Views Last post
0 Members e 1 Utente non registrato stanno visualizzando questa sezione.
Esercizi non banali sul lambda-calcolo Franco Barbanera 12 678 Last post 15-01-2018, 12:55:18
by teo998
pumping lemma Gerasia 9 393 Last post 12-01-2018, 17:18:43
by teo998
esercizio 43 logica Stefano clm 2 279 Last post 12-01-2018, 17:02:55
by Stefano clm
Esercizio semantica Po « 1 2 3 » Franco Barbanera 39 1069 Last post 12-01-2018, 16:57:04
by Franco Barbanera
Es. 34 Sostituzione Stefano clm 5 277 Last post 12-01-2018, 16:48:39
by Franco Barbanera
Come si scrive una grammatica teo998 4 271 Last post 12-01-2018, 15:33:58
by ɹǝǝuıƃuǝsɹǝʌǝɹ
Esercizio numero 50 (Modelli computazionali) Monkey 3 249 Last post 11-01-2018, 22:10:27
by Monkey
Re:esercizio esempio beta-Riduzione « 1 2 » jeremy_sapienza 29 921 Last post 10-01-2018, 18:42:41
by MoonlightLucrix
Aggiornamento testo [AA] Franco Barbanera 0 148 Last post 10-01-2018, 14:50:23
by Franco Barbanera
problema esercizio esempio 10 deduzione naturale simoncello98 1 224 Last post 06-01-2018, 23:17:16
by Franco Barbanera
Domanda sulle macchine di turing luca98 5 268 Last post 06-01-2018, 23:08:32
by Franco Barbanera
Esercizi su alpha-conversione Franco Barbanera 2 232 Last post 02-01-2018, 12:30:20
by Franco Barbanera
esercizi sul lambda calcolo « 1 2 » luca98 21 499 Last post 29-12-2017, 00:46:05
by Franco Barbanera
La dimostrazione del Pumping Lemma.... Franco Barbanera 0 200 Last post 28-12-2017, 18:15:48
by Franco Barbanera
Deduzione naturale e logica proposizionale teo998 3 344 Last post 14-12-2017, 23:00:08
by teo998
Esercizio di verifica formale di programmi Franco Barbanera 1 257 Last post 12-12-2017, 15:00:59
by teo998
Eserciziettinino logica proposizionale Franco Barbanera 4 594 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 307 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 307 Last post 07-12-2017, 15:24:13
by Franco Barbanera
Soluzioni esercizi deduzione naturale - Ursini « 1 2 » giorgio_buzzanca 17 629 Last post 06-12-2017, 19:35:15
by luca98
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
: