mds:sds:start
Gestore Media
Categorie
Scegli il namespace
Selezione dei file
File in matematica:lp
- 01-indecidibilita_.pdf
- 26/02/2024 alle 09:29 (2 anni fa)
- 707.1 KB
- 01-introrg.pdf
- 27/02/2025 alle 11:31 (13 mesi fa)
- 5.5 MB
- 01-introrg2025b.pdf
- 25/09/2025 alle 15:47 (6 mesi fa)
- 8 MB
- 01_-_introrg.pdf
- 01/03/2022 alle 09:13 (4 anni fa)
- 4 MB
- 02-semanticsrg2025.pdf
- 04/03/2025 alle 11:57 (13 mesi fa)
- 10 MB
- 02-semanticsrg2025b.pdf
- 25/09/2025 alle 15:52 (6 mesi fa)
- 8.4 MB
- 02-semanticsrg_copy.pdf
- 27/02/2024 alle 10:18 (2 anni fa)
- 7.6 MB
- 02_-_semanticsrg.pdf
- 01/03/2022 alle 09:14 (4 anni fa)
- 7.7 MB
- 03-unification-rg.pdf
- 04/03/2025 alle 11:57 (13 mesi fa)
- 7.1 MB
- 03-unification-rg2025.pdf
- 08/10/2025 alle 08:50 (6 mesi fa)
- 7.8 MB
- 03-unification-rg_copy.pdf
- 28/02/2024 alle 09:36 (2 anni fa)
- 6.8 MB
- 03_-_unification-rg.pdf
- 02/03/2022 alle 14:00 (4 anni fa)
- 6.8 MB
- 04-logicrg.pdf
- 08/10/2025 alle 08:51 (6 mesi fa)
- 9.3 MB
- 04-logicrg_.pdf
- 06/03/2025 alle 11:14 (13 mesi fa)
- 8.5 MB
- 04_-_logicrg.pdf
- 04/03/2022 alle 13:34 (4 anni fa)
- 7.7 MB
- 05-inductionrg.pdf
- 08/10/2025 alle 12:14 (6 mesi fa)
- 11.6 MB
- 05-inductionrg_copy.pdf
- 10/03/2025 alle 12:24 (13 mesi fa)
- 14.3 MB
- 05_-_inductionrg.pdf
- 09/03/2022 alle 19:17 (4 anni fa)
- 14.3 MB
- 06-exercises.pdf
- 07/03/2024 alle 12:03 (2 anni fa)
- 782.1 KB
- 06-exercisesrg_01.pdf
- 08/10/2025 alle 12:15 (6 mesi fa)
- 9 MB
- 07-more_inductionrg.pdf
- 08/10/2025 alle 12:16 (6 mesi fa)
- 16 MB
- 07-more_inductionrg_.pdf
- 11/03/2025 alle 11:21 (13 mesi fa)
- 15.2 MB
- 07_-more_inductionrg.pdf
- 11/03/2022 alle 10:41 (4 anni fa)
- 15.4 MB
- 08-rule_inductionrg.pdf
- 18/03/2024 alle 09:33 (2 anni fa)
- 6.2 MB
- 08-rule_inductionrg_copy.pdf
- 24/10/2025 alle 06:51 (5 mesi fa)
- 7 MB
- 09-equivalencerg.pdf
- 17/03/2025 alle 11:29 (12 mesi fa)
- 5.6 MB
- 09-equivalencerg_copy.pdf
- 21/10/2025 alle 10:48 (5 mesi fa)
- 6.4 MB
- 09_-_equivalencerg.pdf
- 16/03/2022 alle 08:26 (4 anni fa)
- 5.7 MB
- 10-exercises02rg.pdf
- 17/03/2025 alle 11:29 (12 mesi fa)
- 864.4 KB
- 10-exercises02rg_copy.pdf
- 25/03/2025 alle 17:36 (12 mesi fa)
- 8.1 MB
- 11-ricorsionerg.pdf
- 17/03/2025 alle 11:30 (12 mesi fa)
- 8.2 MB
- 11-ricorsionerg_copy.pdf
- 24/10/2025 alle 06:52 (5 mesi fa)
- 8.9 MB
- 11-_ricorsionerg.pdf
- 23/03/2022 alle 17:58 (4 anni fa)
- 8.1 MB
- 12-cpo-1rg.pdf
- 18/03/2025 alle 09:23 (12 mesi fa)
- 5.9 MB
- 12-cpo-1rg_copy.pdf
- 24/10/2025 alle 06:53 (5 mesi fa)
- 6.7 MB
- 12-_cpo-1rg.pdf
- 23/03/2022 alle 17:59 (4 anni fa)
- 6.3 MB
- 13-kleenerg.pdf
- 27/10/2025 alle 08:03 (5 mesi fa)
- 12.5 MB
- 13-kleenerg_copy.pdf
- 25/03/2024 alle 09:52 (2 anni fa)
- 11.8 MB
- 13-_kleenerg.pdf
- 25/03/2022 alle 10:56 (4 anni fa)
- 11.5 MB
- 14-icorg.pdf
- 28/10/2025 alle 12:12 (5 mesi fa)
- 8.4 MB
- 14-icorg_copy.pdf
- 20/03/2025 alle 09:27 (12 mesi fa)
- 7.6 MB
- 15-denotationalmprg.pdf
- 25/03/2025 alle 17:23 (12 mesi fa)
- 9.6 MB
- 15-_denotationalmprg_copy.pdf
- 30/03/2022 alle 07:40 (4 anni fa)
- 9.5 MB
- 16-consistencyimprg.pdf
- 04/11/2025 alle 12:09 (5 mesi fa)
- 19.9 MB
- 16-consistencyimprg_copy.pdf
- 25/03/2025 alle 17:24 (12 mesi fa)
- 19.1 MB
- 16_consistencyimprg_.pdf
- 01/04/2022 alle 10:26 (4 anni fa)
- 19.1 MB
- 16_consistencyimprg_copy.pdf
- 30/03/2022 alle 07:41 (4 anni fa)
- 19.2 MB
- 17-_esercizi03.pdf
- 27/03/2025 alle 12:49 (12 mesi fa)
- 1003.1 KB
- 17-_esercizi03rg.pdf
- 04/11/2025 alle 12:10 (5 mesi fa)
- 10.7 MB
- 18-hofl_typesrg.pdf
- 04/11/2025 alle 12:12 (5 mesi fa)
- 7.2 MB
- 18-hofl_typesrg_copy.pdf
- 31/03/2025 alle 13:11 (12 mesi fa)
- 6.5 MB
- 18_-_hofl_typesrg.pdf
- 08/04/2022 alle 08:24 (4 anni fa)
- 6.3 MB
- 19-hofl_operationalrg.pdf
- 01/04/2025 alle 14:01 (12 mesi fa)
- 8.7 MB
- 19-hofl_operationalrg_copy.pdf
- 04/11/2025 alle 12:11 (5 mesi fa)
- 9.4 MB
- 19_-_hofl_operationalrg.pdf
- 08/04/2022 alle 08:24 (4 anni fa)
- 8.6 MB
- 20-cartesian_domainsrg.pdf
- 11/04/2024 alle 09:41 (24 mesi fa)
- 5.1 MB
- 20-cartesian_domainsrg_copy.pdf
- 04/11/2025 alle 12:13 (5 mesi fa)
- 5.9 MB
- 21-functional_domainsrg.pdf
- 10/11/2025 alle 08:01 (5 mesi fa)
- 8.3 MB
- 21-functional_domainsrg_copy.pdf
- 10/04/2025 alle 11:16 (12 mesi fa)
- 7.5 MB
- 22-continuity_theoremsrg.pdf
- 11/11/2025 alle 12:13 (4 mesi fa)
- 10.8 MB
- 22-continuity_theoremsrg_.pdf
- 15/04/2024 alle 08:42 (24 mesi fa)
- 10.5 MB
- 22-continuity_theoremsrg_copy.pdf
- 15/04/2025 alle 14:10 (11 mesi fa)
- 10.1 MB
- 23_-_hofl_denotationalrg.pdf
- 15/04/2025 alle 14:10 (11 mesi fa)
- 12.2 MB
- 23_-_hofl_denotationalrg_copy.pdf
- 11/11/2025 alle 12:12 (4 mesi fa)
- 12.8 MB
- 24-_consistency_hoflrg.pdf
- 27/04/2022 alle 10:14 (4 anni fa)
- 13 MB
- 24-_consistency_hoflrg_copy.pdf
- 13/11/2025 alle 17:14 (4 mesi fa)
- 13.7 MB
- 25-elencoese05.pdf
- 14/11/2025 alle 10:45 (4 mesi fa)
- 1.3 MB
- 25-esercitazione05.pdf
- 10/05/2024 alle 08:15 (23 mesi fa)
- 9.3 MB
- 25-esercitazione05_copy.pdf
- 21/11/2025 alle 13:20 (4 mesi fa)
- 9.9 MB
- 25-esercizi.pdf
- 17/04/2025 alle 09:05 (11 mesi fa)
- 803.6 KB
- 26-_ccs.pdf
- 05/05/2025 alle 13:32 (11 mesi fa)
- 9.2 MB
- 26-_ccs_.pdf
- 17/11/2025 alle 10:13 (4 mesi fa)
- 10.1 MB
- 27_-_ccs_guarded.pdf
- 18/11/2025 alle 11:33 (4 mesi fa)
- 5.4 MB
- 27_-_ccs_guarded_copy.pdf
- 06/05/2025 alle 15:07 (11 mesi fa)
- 4.7 MB
- 28_-_ccs_abstract.pdf
- 21/11/2025 alle 13:20 (4 mesi fa)
- 4.7 MB
- 28_-_ccs_abstract_copy.pdf
- 06/05/2024 alle 08:46 (23 mesi fa)
- 4 MB
- 29_-_ccs_bisimulation.pdf
- 06/05/2022 alle 13:52 (4 anni fa)
- 9.2 MB
- 29_-_ccs_bisimulation_.pdf
- 25/11/2025 alle 13:03 (4 mesi fa)
- 10 MB
- 29_-_ccs_bisimulation_copy.pdf
- 14/05/2025 alle 07:01 (11 mesi fa)
- 9.2 MB
- 30-_ccs_bis_as_fix.pdf
- 25/11/2025 alle 13:05 (4 mesi fa)
- 7.9 MB
- 30-_ccs_bis_as_fix_copy.pdf
- 27/11/2025 alle 11:51 (4 mesi fa)
- 7.9 MB
- 31_-_hml.pdf
- 27/11/2025 alle 11:52 (4 mesi fa)
- 4.8 MB
- 31_-_hml_copy.pdf
- 15/05/2025 alle 12:00 (10 mesi fa)
- 4.1 MB
- 32-weak.pdf
- 21/05/2024 alle 08:27 (22 mesi fa)
- 5.6 MB
- 32-_weak.pdf
- 12/05/2022 alle 09:54 (4 anni fa)
- 4.9 MB
- 32-_weak_copy.pdf
- 27/11/2025 alle 11:53 (4 mesi fa)
- 5.5 MB
- 33-_ccs_at_work.pdf
- 21/05/2025 alle 12:44 (10 mesi fa)
- 8.1 MB
- 33-_ccs_at_work_copy.pdf
- 19/05/2025 alle 08:33 (10 mesi fa)
- 8.3 MB
- 34-_exercises_06_1_.pdf
- 21/05/2024 alle 08:19 (22 mesi fa)
- 5.8 MB
- compito12febbraio.pdf
- 15/04/2024 alle 08:42 (24 mesi fa)
- 94.7 KB
- copia_di_esami_lp_2022_-_appello_3.pdf
- 21/07/2022 alle 13:30 (4 anni fa)
- 21.1 KB
- correzione0.pdf
- 19/07/2022 alle 12:49 (4 anni fa)
- 15.7 KB
- correzione2.pdf
- 19/07/2022 alle 12:50 (4 anni fa)
- 29.1 KB
- correzioneex2.pdf
- 30/06/2022 alle 12:50 (4 anni fa)
- 16.8 KB
- correzioneex4.pdf
- 30/06/2022 alle 12:51 (4 anni fa)
- 32 KB
- denotational_imp.pdf
- 04/11/2025 alle 12:05 (5 mesi fa)
- 10.2 MB
- ese3e522luglio.pdf
- 19/07/2022 alle 12:47 (4 anni fa)
- 553 KB
- esercitazione1rg.pdf
- 16/03/2022 alle 08:23 (4 anni fa)
- 8.2 MB
- esercitazione2.pdf
- 20/03/2024 alle 09:57 (2 anni fa)
- 875.4 KB
- esercitazione3.pdf
- 30/03/2022 alle 07:48 (4 anni fa)
- 110.8 KB
- esercizi-1_e_3.pdf
- 28/06/2022 alle 10:14 (4 anni fa)
- 340 KB
- esercizi.pdf
- 16/05/2025 alle 14:31 (10 mesi fa)
- 874.7 KB
- esercizio1.pdf
- 07/06/2022 alle 14:49 (4 anni fa)
- 1.3 MB
- esercizio2.pdf
- 07/06/2022 alle 14:51 (4 anni fa)
- 22.2 KB
- esercizio3.pdf
- 07/06/2022 alle 14:52 (4 anni fa)
- 2 MB
- esercizio4.pdf
- 07/06/2022 alle 14:53 (4 anni fa)
- 25.6 KB
- esercizio5.pdf
- 07/06/2022 alle 14:54 (4 anni fa)
- 311.2 KB
- esercizio122luglio.pdf
- 19/07/2022 alle 12:46 (4 anni fa)
- 199 KB
- esercizio_5.pdf
- 28/06/2022 alle 10:15 (4 anni fa)
- 106.5 KB
- indecidibilita2025b.pdf
- 25/09/2025 alle 15:49 (6 mesi fa)
- 1.6 MB
- indecidibilita_.pdf
- 27/02/2025 alle 11:32 (13 mesi fa)
- 826.7 KB
- motivation.pdf
- 17/04/2024 alle 08:05 (24 mesi fa)
- 679 KB
- prisoners_in_caal_part2_2022.pdf
- 20/05/2022 alle 15:15 (4 anni fa)
- 18.2 KB
- prontuario.pdf
- 26/01/2026 alle 15:51 (8 settimane fa)
- 4.5 MB
- prontuario1.pdf
- 31/05/2022 alle 07:40 (4 anni fa)
- 236.4 KB
- prontuarioicompitino.pdf
- 21/11/2025 alle 13:25 (4 mesi fa)
- 2 MB
- prontuario_copy.pdf
- 23/04/2024 alle 10:47 (23 mesi fa)
- 4.5 MB
- risultati22giugno.pdf
- 28/06/2022 alle 10:47 (4 anni fa)
- 17.9 KB
- risultatiigiugno.pdf
- 07/06/2022 alle 16:36 (4 anni fa)
- 53.7 KB
- screenshot_2022-03-30_at_09.47.38.png
- 690×885
- 30/03/2022 alle 07:47 (4 anni fa)
- 136.2 KB
- simulazione.pdf
- 20/05/2022 alle 15:20 (4 anni fa)
- 116.3 KB
- testi.pdf
- 22/05/2025 alle 13:45 (10 mesi fa)
- 30.8 KB
- testo-2018-04-05-copy-copy.pdf
- 15/04/2024 alle 08:44 (24 mesi fa)
- 110.8 KB
- testo-2019-04-03-copy-copy_copy.pdf
- 08/04/2024 alle 08:43 (24 mesi fa)
- 113.1 KB
- testo-2022-06-01.pdf
- 07/06/2022 alle 14:48 (4 anni fa)
- 69 KB
- testo-2022-06-22.pdf
- 28/06/2022 alle 10:13 (4 anni fa)
- 82.1 KB
- testo-2022-07-13.pdf
- 19/07/2022 alle 12:52 (4 anni fa)
- 69.5 KB
File
mds/sds/start.txt · Ultima modifica: 24/03/2026 alle 15:46 (34 ore fa) da Salvatore Ruggieri