Logica matematica

Università Telematica Guglielmo Marconi
Online

Chiedi il prezzo
Vuoi parlare del corso con un consulente?
Confronta questo corso con altri simili
Leggi tutto

Informazione importanti

  • Corso
  • Online
  • Quando:
    Da definire
Descrizione

L’Università degli Studi Guglielmo Marconi, è la prima Università “aperta” (Open University), riconosciuta dal MIUR con D.M. 1 marzo 2004, che unisce metodologie di formazione “a distanza” (materiale a stampa, dispense, Cd Rom, piattaforma e-learning) con le attività di formazione frontale (lezioni, seminari, laboratori, sessioni di ripasso e approfondimento) al fine di raggiungere i migliori risultati di apprendimento per lo studente.

Informazione importanti
Sedi

Dove e quando

Inizio Luogo
Da definire
Online

Cosa impari in questo corso?

Calcolo
Logica

Programma

Programma del Corso

DISCIPLINA

Logica matematica

DOCENTE

Emiliano Ippoliti

CODICE DISCIPLINA: MAT01001

SSD: MAT/01

CREDITI: 06

OBIETTIVI E FINALITÀ DELL´INSEGNAMENTO

Il corso mira a fornire una conoscenza delle principali basi della logica matematica, intesa quale analisi formale del corretto ragionamento. Lo studente verrà introdotto alla conoscenza dei sistemi formali e delle loro principali proprietà, e della logica del primo ordine.
In particolare il corso offre una trattazione sia del calcolo proposizionale - ovvero di quella parte della logica deduttiva che sistematizza argomenti proposizionali - sia del calcolo predicativo - ossia di quella parte della logica deduttiva che sistematizza argomentazioni con quantificazioni -, proponendo per entrambi esempi ed esercizi di calcolo deduttivo.
Alla fine del corso lo studente sarà in grado di padroneggiare gli strumenti essenziali per approfondire sia la conoscenza della logica, sia la conoscenza di sue rilevanti applicazioni, ad esempio la programmazione logica.

LIBRI DI TESTO

- Italiano:
Lemmon, Elementi di logica, Laterza, 2001, p. 300

- English:
Lemmon, Beginning Logic, Hackett Pub Co Inc, 1978

MODALITÀ DELL´ESAME FINALE

Prova scritta e/o orale

RICEVIMENTO STUDENTI

Previo appuntamento ()



Confronta questo corso con altri simili
Leggi tutto