Skip to main content
INF - e-learning - Dipartimento di Informatica
  • English ‎(en)‎
    English ‎(en)‎ Italiano ‎(it)‎
You are currently using guest access (Log in)

Logica Per La Programmazione (Corso B) AA19/20

  1. Home
  2. Courses
  3. Corso di Laurea in Informatica (L-31)
  4. LpP-B-19
  5. 07/11/2019 - Prima prova di verifica
  6. Risultati

Risultati

Completion requirements
Click LPP PrimoCompitino2019_20 - PubblicazioneRisultatiPrimoCompitino2019.pdf link to view the file.
◄ Soluzioni
Pretest: Testo ►

Blocks

Skip Navigation

Navigation

  • Home

    • Site pages

      • My courses

      • Tags

      • ForumSite news

    • My courses

    • Courses

      • Corso di Laurea in Informatica (L-31)

        • ProgAlgo-C-25

        • LAB3B-25/26

        • RETI2025/26A_1

        • BD-A 25/26

        • RETI_B_25/26

        • LPR-A-2526

        • TI_25-26

        • PdP-A 2025

        • PdP-B-2025

        • Reti 2025/26 A

        • RO 25/26

        • LpP-B-19

          • General

          • Appello Gennaio 2022

          • MODALITA' D'ESAME A DISTANZA

          • INFORMAZIONI GENERALI

          • 18/09/2019: Introduzione al corso e al Calcolo Pro...

          • 19/09/2019: Dimostrazione di Tautologie

          • 25/09/2019: Dimostrazione di Tautologie e Sintassi...

          • 26/09/2019: Esercitazione su Calcolo Proposizionale

          • 02/10/2018: Dimostrazioni di Implicazioni Tautolog...

          • 03/10/2019: Dimostrazioni e Tautologie, Ipotesi no...

          • 9/10/2019: Esercitazione su Calcolo Proposizionale

          • 10/10/2019: Logica del Primo Ordine: Motivazioni e...

          • 16/10/2019: Logica del Primo Ordine: Formalizazion...

          • 17/10/2019: Logica del Primo Ordine: Semantica For...

          • 23/10/2019: Esercitazione su Formalizzazione e Sem...

          • 24/10/2019: Logica del Primo Ordine: Proof System

          • 30/10/2019: Logica del Primo Ordine: Proof System (2)

          • 31/10/2019: Simulazione Prima Prova di Verifica

          • 07/11/2019 - Prima prova di verifica

            • FileTesto

            • FileSoluzioni

            • FileRisultati

            • FilePretest: Testo

            • FilePretest: Risultati

          • 13/11/2019: Logica del Primo Ordine: Proof System (3)

          • 14/11/2019: Notazione e leggi per insiemi, interva...

          • 20/11/2019: Quantificatori funzionali

          • 20/11/2019: Esercitazione su Dimostrazioni di (Non...

          • 28/11/2018: Logica di Hoare: Introduzione

          • 27/11/2019: Triple di Hoare: Regole di inferenza p...

          • 04/12/2019: Esercitazione su Triple di Hoare

          • 05/12/2019: Triple di Hoare: Regola per il Comando...

          • 11/12/2019: Triple di Hoare: Sequenze (Array) e Ag...

          • 12/12/2019: Esercitazione su Triple di Hoare

          • 20/12/2019 - Seconda prova di verifica

          • 10/01/2020 - Primo Appello

          • 30/01/2020 - Secondo Appello

      • Corso di Laurea Magistrale in Informatica (LM-18)

      • Corso di Laurea Magistrale in Informatica e Networ...

      • Corso di Laurea Magistrale in Data Science and Bus...

      • Corso di Laurea Magistrale in Informatics for Digi...

      • Corsi erogati dal Dipartimento di Matematica

      • Master di II livello in "Professione formatore in ...

      • Corsi CLIL

      • Altri Corsi

      • Anno Accademico 2013-14

Supplementary blocks

You are currently using guest access (Log in)
LpP-B-19
  • English ‎(en)‎
    • English ‎(en)‎
    • Italiano ‎(it)‎
Data retention summary
Get the mobile app