Prof. Hector Carlos Freytes

Università degli Studi di Cagliari · Scienze · libri consigliati e cosa studiare, a.a. 2026/2027

Libri adottati dal prof. Hector Carlos Freytes

York – 2nd edition 2012 – Logica Matematica (Matematica – sede di Cagliari, 1º anno · 1º semestre · 9 CFU)
Introduction to Mathematical Logic – Logica Matematica (Matematica – sede di Cagliari, 1º anno · 1º semestre · 9 CFU)
Lectures on Boolean Algebras (Paul Halmos), Martino Fine – Logica Matematica (Matematica – sede di Cagliari, 1º anno · 1º semestre · 9 CFU)
A Shorter Model Theory, (Wilfrid Hodges), Cambridge University – Logica Matematica (Matematica – sede di Cagliari, 1º anno · 1º semestre · 9 CFU)
Basic Category theory – Logica Matematica (Matematica – sede di Cagliari, 1º anno · 1º semestre · 9 CFU)
Introduzione alla Logica, Irving Copi (Ed il Mulino) – Fondamenti di Matematica (Scienze della Formazione Primaria – sede di Cagliari, 2º anno · annuale · 12 CFU)
Teoria elementare degli insiemi, Paul Halmos (Ed. Feltrineli) – Fondamenti di Matematica (Scienze della Formazione Primaria – sede di Cagliari, 2º anno · annuale · 12 CFU)
Matematica di base, Giacomo Tommei (Ed Apogeo 2010) – Fondamenti di Matematica (Scienze della Formazione Primaria – sede di Cagliari, 2º anno · annuale · 12 CFU)

Materie del prof. Hector Carlos Freytes

Logica Matematica Canale unico

Corso di laurea: Matematica – sede di Cagliari · Laurea magistrale (LM-40) · 1º anno · 1º semestre · 9 CFU

Cagliari · Scienze · 9 CFU · apri nel catalogo · Matematica – sede di Cagliari · 1º anno · 1º semestre ›

Il docente indica 5 testi · da studiare tutti

York – 2nd edition 2012 Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Introduction to Mathematical Logic Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Lectures on Boolean Algebras (Paul Halmos), Martino Fine Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

A Shorter Model Theory, (Wilfrid Hodges), Cambridge University Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Basic Category theory Cerca 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

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.

Fondamenti di Matematica Canale unico

Corso di laurea: Scienze della Formazione Primaria – sede di Cagliari · Ciclo unico (LM-85 BIS) · 2º anno · annuale · 12 CFU

Cagliari · Studi Umanistici · 12 CFU · apri nel catalogo · Scienze della Formazione Primaria – sede di Cagliari · 2º anno ›

Il docente indica 3 testi · da studiare tutti

Introduzione alla Logica, Irving Copi (Ed il Mulino)Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Teoria elementare degli insiemi, Paul Halmos (Ed. Feltrineli)Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Matematica di base, Giacomo Tommei (Ed Apogeo 2010)Cerca 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

Argomenti del programma: Scopo iniziale dell’insegnamento è di fornire i fondamenti teorici della matematica e la logica. Il corso si propone di approfondire le applicazioni dei contenuti teorici trasmessi. Lezione 1) Linguaggio naturale, linguaggio formale Proposizioni. Lezione 2) Connettivi, sintassi ricorsiva del linguaggio proposizionale Lezione 3) Tavole di verità dei connettivi basici Lezione 4) Tautologie, contraddizioni e…

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Domande frequenti

Quali libri consiglia il prof. Hector Carlos Freytes per Logica Matematica?

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

Quali libri consiglia il prof. Hector Carlos Freytes per Fondamenti di Matematica?

Introduzione alla Logica, Irving Copi (Ed il Mulino); Teoria elementare degli insiemi, Paul Halmos (Ed. Feltrineli); Matematica di base, Giacomo Tommei (Ed Apogeo 2010)