Libri UniversitariApri il catalogo

Libri di Logica Matematica – prof. Hector Carlos Freytes

Matematica – sede di Cagliari · Università degli Studi di Cagliari · 1º anno · 1º semestre · 9 CFU · canale unico

Libri del canale

Logica Matematica 9 CFU

HFProf. Hector Carlos Freytes Canale unico
York – 2nd edition 2012Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Introduction to Mathematical LogicIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Lectures on Boolean Algebras (Paul Halmos), Martino FineIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
A Shorter Model Theory, (Wilfrid Hodges), Cambridge UniversityIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Basic Category theoryIl prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Cerca su Amazon ›
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Scopo iniziale dell’insegnamento è di fornire i fondamenti teorici della logica matematica. Il corso si propone di approfondire le applicazioni dei contenuti teorici trasmessi. 1) Propositional logic Propositional logic, Syntax Propositional logic, Semantics Boolean valuations Hilbert style calculus (deductive systems) Soundness and completeness studies.

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Apri nel catalogo: Matematica – sede di Cagliari, 1º anno, tutte le materie e i canali ›

Testi d'esame di Logica Matematica del prof. Hector Carlos Freytes, canale unico, corso di laurea in Matematica – sede di Cagliari (Laurea magistrale (LM-40)), Università degli Studi di Cagliari, 1º anno · 1º semestre · 9 CFU, a.a. 2026/2027. Libri adottati: York – 2nd edition 2012; Introduction to Mathematical Logic; Lectures on Boolean Algebras (Paul Halmos), Martino Fine; A Shorter Model Theory, (Wilfrid Hodges), Cambridge University; Basic Category theory.

Altre materie del prof. Freytes

Vedi anche: Prof. Hector Carlos Freytes · Logica Matematica a Cagliari (tutti i canali)