Libri UniversitariInformatica e Pensiero Computazionale – prof. Stefano Maria Nicoletti
Filosofia dell'informazione · Università degli Studi di Urbino Carlo Bo · 2º anno · 1º semestre · 6 CFU · canale unico
Libri del canale
Informatica e Pensiero Computazionale 6 CFU
Il docente indica 11 testi · da studiare tutti
Bacheca del docente: cosa indica di studiare
- Le dispense fornite dal docente e disponibili sulla piattaforma Moodle sono integrate dai seguenti testi, da studiare solamente nelle sezioni indicate di seguito:
- Non frequentanti: Le dispense fornite dal docente e disponibili sulla piattaforma Moodle sono integrate dai seguenti testi, da studiare solamente nelle sezioni indicate di seguito:
Apri nel catalogo: Filosofia dell'informazione, 2º anno, tutte le materie e i canali ›
Testi d'esame di Informatica e Pensiero Computazionale del prof. Stefano Maria Nicoletti, canale unico, corso di laurea in Filosofia dell'informazione (Laurea magistrale (LM-78)), Università degli Studi di Urbino Carlo Bo, 2º anno · 1º semestre · 6 CFU, a.a. 2026/2027. Libri adottati: Exploring Data using Python 3; Kaminski – Advanced weakest precondition calculi for probabilistic programs; Baier – Principles of Model Checking; Modelling and verification in computer science; An introduction to program verification; Goranko – Temporal Logic; Nicoletti – Systems and Networks; Nicoletti – PFL; Nicoletti – An ontology-aWare risk AssessmenT approaCH via object-oriented….