Dalen – Logic and structure

Name: Dalen – Logic and structure
Author: Dalen

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

«Dalen – Logic and structure» è adottato per Mathematical Logic dal prof. Stefano Baratella (Mathematics – sede di Trento – Trento).

Dalen – Logic and structureCerca su Amazon ›

Come lo indica il docente: Dalen, D. van. (2013). Logic and structure (5th ed.). Springer

Chi lo adotta

Mathematical Logic – Prof. Stefano Baratella (canale unico)Mathematics – sede di Trento · Laurea magistrale (LM-40) · 2º anno · 1º semestre · 6 CFU / 1º anno · 1º semestre · 6 CFU

Programma e testi di ogni canale

Mathematical Logic – Prof. Stefano Baratella Canale unico

Corso di laurea: Mathematics – sede di Trento · Laurea magistrale (LM-40) · 2º anno · 1º semestre · 6 CFU / 1º anno · 1º semestre · 6 CFU

Trento · Dipartimento di Matematica · 6 CFU · apri nel catalogo · Mathematics – sede di Trento · 2º anno · 1º semestre ›

Il docente indica 2 testi · da studiare tutti

van Dalen – Logic and Structure Cerca su Amazon ›Il prof non ha cambiato il libro dall'anno scorsoVerificato sulla scheda ufficiale il 03/10/2026

Dalen – Logic and structurequesto libroCerca su Amazon ›Verificato sulla scheda ufficiale il 03/10/2026

Bacheca del docente: cosa indica di studiare

Argomenti del programma: I principali argomenti sono i seguenti. Logica proposizionale: connettivi, formule, semantica, regole di deduzione naturale, teorema di completezza. Logica dei predicati: quantificatori, formule, strutture, semantica, regole di deduzione naturale, teoremi di completezza e di compattezza. Introduzione alla teoria dei modelli e alle applicazioni della logica matematica a altre aree della matematica.

Apri la scheda ufficiale ›

Aiutaci a tenerci aggiornati

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

Si studia insieme a

van Dalen – Logic and Structure