Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale

di Carrara Massimiliano, Mancini Filippo, Maschio Samuele, Maietti Maria Emilia | Il Mulino 2024

Attualmente non disponibile

A partire da

22,00 €

Descrizione

Questo eserciziario vuole essere un ausilio per gli studenti universitari alle prese con un corso base di logica. Consiste in una collezione di esercizi risolti su insiemi (notazione insiemistica e operazioni su insiemi, prodotto cartesiano e insieme potenza, relazioni e funzioni, cardinalità e numerali), metodi dimostrativi (dimostrazione contronominale, dimostrazione per assurdo, dimostrazione per casi, induzione matematica), logica e calcolo proposizionali (sintassi, semantica, tableaux, derivazioni di sequenze, teoremi, formule interderivabili e teorie proposizionali). Gli esercizi sono raccolti per argomenti introdotti da brevi rimandi alla teoria (pillole di teoria).

Dettagli

  • Autore:
  • Editore:
  • Collana:
  • Anno edizione:
  • Carrara Massimiliano, Mancini Filippo, Maschio Samuele, Maietti Maria Emilia
  • Il Mulino
  • Manuali
  • 2024
  • In commercio dal:
  • Pagine:
  • Lingua:
  • EAN:
  • 27 settembre 2024
  • 216 p.
  • ITA
  • 9788815389657

Ti potrebbe interessare anche

Librerie di Roma | Eserciziario di logica. Insiemi, metodi dimostrativi, logica proposizionale