Skip to main content
uniud elearning logo
  • English ‎(en)‎
    English ‎(en)‎ Italiano ‎(it)‎
  • You are not logged in. (Log in)

Elearning Università di Udine

  1. Home
  2. Courses
  3. Offerta formativa
  4. Anni accademici precedenti
  5. A.A.2018-19
  6. Area scientifica
  7. Scienze matematiche, informatiche e multimediali
  8. [LM 766] INFORMATICA
  9. MetForELogPerLInf18_766MA0400
  10. Summary

METODI FORMALI E LOGICA PER L'INFORMATICA 2018-19

Auto Enrol
  • Teacher: Giovanna D'agostino
  • Teacher: Marina Lenisa

Skip Navigation
Navigation

  • Home

    • My courses

    • My courses

    • Courses

      • Offerta formativa

        • A.A.2024-25

        • A.A.2023-24

        • Master

        • Dottorato

        • Anni accademici precedenti

          • A.A.2022-23

          • A.A.2021-22

          • A.A.2020-21

          • A.A.2019-20

          • A.A.2018-19

            • Area scientifica

              • Scienze matematiche, informatiche e multimediali

                • [LM 765] COMUNICAZIONE MULTIMEDIALE E TECNOLOGIE D...

                • [L 804] INTERNET OF THINGS, BIG DATA & WEB

                • [L 725] INFORMATICA

                • [L 727] MATEMATICA

                • [LM 767] MATEMATICA

                • [LM 807] COMPUTER SCIENCE

                • [LM 766] INFORMATICA

                  • _VirReaAndPerUseExp18_766MA0672

                  • _Dat&TecForE-h18_766MA0055

                  • IntArt18_766MA0059

                  • InfEAzi18_766MA0589

                  • Int3dGra18_766MA0550

                  • _LanAndCom18_766MA0391

                  • _Cyb18_766MA0708

                  • _AudAndTacInt18_766MA0636

                  • _ObjOriAnaAndDes18_766MA0173

                  • _WebInfRet18_766MA0639

                  • _AutRea18_766MA0676

                  • MetForELogPerLInf18_766MA0400

                • [L 791] SCIENZE E TECNOLOGIE MULTIMEDIALI

                • [L 760] BIOTECNOLOGIE

                • [L 726] TECNOLOGIE WEB E MULTIMEDIALI

                • [L 748] INGEGNERIA CIVILE

                • [L 766] INFORMATICA

              • Ingegneria e architettura

              • Biotecnologie

              • Agraria

            • Area Economico-giuridica

            • Area umanistica e della formazione

            • Area Medica

            • Scuola Superiore e Formazione Post Laurea

          • A.A.2017-18

          • A.A.2016-17

          • A.A.2015-16

          • A.A.2014-15

      • Altre attività formative

      • Materiali Docenti

  • English ‎(en)‎
    • English ‎(en)‎
    • Italiano ‎(it)‎

uniud

via Palladio 8, 33100 Udine
tel. +39 0432 556111
fax +39 0432 507715
p.iva 01071600306
c.f. 80014550307

 

Gestione Tecnica: HCE - Independent Digital Lab