Libri UniversitariApri il catalogo

A Shorter Model Theory, (Wilfrid Hodges), Cambridge University

Libro adottato a Cagliari, a.a. 2026/2027 · 1 canale

«A Shorter Model Theory, (Wilfrid Hodges), Cambridge University» è adottato per Logica Matematica dal prof. Hector Carlos Freytes (Matematica – sede di Cagliari – Cagliari).

A Shorter Model Theory, (Wilfrid Hodges), Cambridge UniversityCerca su Amazon ›

Come lo indica il docente: A Shorter Model Theory, (Wilfrid Hodges), Cambridge University Press, 1997

Chi lo adotta

Programma e testi di ogni canale

Logica Matematica – Prof. Hector Carlos Freytes 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 ›

York – 2nd edition 2012Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Introduction to Mathematical LogicCerca 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 FineCerca 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 Universityquesto libroCerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026
Basic Category theoryCerca 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.

Si studia insieme a