Logica matematica

Università Telematica Guglielmo Marconi
Online

Chiedi il prezzo
Chiedi informazioni a un consulente Emagister

Informazioni importanti

Tipologia Corso
Metodologia Online
Inizio Scegli data
  • Corso
  • Online
  • Inizio:
    Scegli data
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.

Sedi

Dove e quando

Inizio Luogo
Scegli data
Online
Inizio Scegli data
Luogo
Online

Opinioni

Non ci sono ancora opinioni su questo corso

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 ()



Gli utenti che erano interessati a questo corso si sono informati anche su...
Leggi tutto