Università degli Studi di Udine · Dium - Dipartimento di Studi Umanistici e del Patrimonio Culturale · libri consigliati e cosa studiare, a.a. 2026/2027
Hodges – LogicaCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
a cui si aggiungono i contenuti del corso e il relativo materiale pubblicato sulla pagina web del docente.
Argomenti del programma: 1. Classificazione di enunciati. Enunciati dichiarativi. Consistenza. Tecnica dei tableaux per la verifica della consistenza di (insiemi di) enunciati. Argomenti validi. Struttura degli enunciati. 2. Classi sintagmatiche e alberi. Grammatiche a struttura di frase. Funtori enunciativi e tavole di verita'. Connettivi proposizionali booleani, regole di Occam-De Morgan. 3.
Hodges – LogicaCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Bacheca del docente: cosa indica di studiare
a cui si aggiungono i contenuti del corso e il relativo materiale pubblicato sulla pagina web del docente.
Argomenti del programma: 1. Classificazione di enunciati. Enunciati dichiarativi. Consistenza. Tecnica dei tableaux per la verifica della consistenza di (insiemi di) enunciati. Argomenti validi. Struttura degli enunciati. 2. Classi sintagmatiche e alberi. Grammatiche a struttura di frase. Funtori enunciativi e tavole di verita'. Connettivi proposizionali booleani, regole di Occam-De Morgan. 3.
Udine · Dmif - Dipartimento di Scienze Matematiche, Informatiche e Fisiche · 6 CFU · apri nel catalogo
Il docente non ha ancora pubblicato i testi per questo canale.
Bacheca del docente: cosa indica di studiare
Argomenti del programma: - Preliminari matematici: richiami di teoria degli insiemi, elementi di matematica combinatoria, algebra e statistica. Principio di induzione. Principio di inclusione-esclusione. Fondamenti dell'Informatica. - alfabeti, stringhe e operazioni fondamentali su di esse; - Linguaggi e loro classificazione; - DFA; - linguaggi regolari, espressioni regolari; - automi finiti non deterministici, macchine di Mealy e di Moore;…
Appunti delle lezioni e materiale didattico inserito nella pagina web istituzionale del docente.
Argomenti del programma: - Tecniche ricorsive applicate alla soluzione di problemi. - Introduzione agli algoritmi ed elementi di teoria della complessità computazionale. Big O notation. -Introduzione al linguaggio C. I tipi fondamentali: (long) int, char, float, double. Rappresentazione dei numeri e aritmetica dei computer. - Variabili e array. Programmazione strutturata. Test e If/While/For statements.
Libri Universitari