Corsi di Laurea Corsi di Laurea Magistrale Corsi di Laurea Magistrale
a Ciclo Unico
Scuola di Scienze umane, sociali e del patrimonio culturale
LINGUISTICA
Insegnamento
LOGICA
LE06105452, A.A. 2014/15

Informazioni valide per gli studenti immatricolati nell'A.A. 2014/15

Principali informazioni sull'insegnamento
Corso di studio Corso di laurea magistrale in
LINGUISTICA
LE0610, ordinamento 2008/09, A.A. 2014/15
N0
porta questa
pagina con te
Crediti formativi 6.0
Tipo di valutazione Voto
Denominazione inglese LOGIC
Dipartimento di riferimento Dipartimento di Studi Linguistici e Letterari (DiSLL)
Obbligo di frequenza No
Lingua di erogazione ITALIANO
Sede PADOVA
Corso singolo È possibile iscriversi all'insegnamento come corso singolo
Corso a libera scelta È possibile utilizzare l'insegnamento come corso a libera scelta

Docenti
Responsabile MASSIMILIANO CARRARA M-FIL/02

Mutuante
Codice Insegnamento Responsabile Corso di studio
SFO2042684 LOGICA MASSIMILIANO CARRARA SF1333

Dettaglio crediti formativi
Tipologia Ambito Disciplinare Settore Scientifico-Disciplinare Crediti
CARATTERIZZANTE Discipline informatiche, logico-filosofiche, psicologiche e socio-antropologiche M-FIL/02 6.0

Organizzazione dell'insegnamento
Periodo di erogazione Secondo semestre
Anno di corso I Anno
Modalità di erogazione frontale

Tipo ore Crediti Ore di
didattica
assistita
Ore Studio
Individuale
LEZIONE 6.0 42 108.0

Calendario
Inizio attività didattiche 02/03/2015
Fine attività didattiche 12/06/2015

Commissioni d'esame
Commissione Dal Al Membri
7 2018/19 01/10/2018 30/11/2019 SOAVI MARZIA (Presidente)
CARRARA MASSIMILIANO (Membro Effettivo)
6 2017/18 01/10/2017 30/11/2018 SOAVI MARZIA (Presidente)
CARRARA MASSIMILIANO (Membro Effettivo)
5 2016/17 01/10/2016 30/11/2017 SOAVI MARZIA (Presidente)
NUNZIANTE ANTONIO MARIA (Membro Effettivo)
4 2015/16 01/10/2015 30/11/2016 SOAVI MARZIA (Presidente)
NUNZIANTE ANTONIO MARIA (Membro Effettivo)
3 2015/16 01/10/2015 30/11/2016 CARRARA MASSIMILIANO (Presidente)
NUNZIANTE ANTONIO MARIA (Membro Effettivo)
SOAVI MARZIA (Membro Effettivo)
2 2014/15 01/10/2014 30/09/2015 CARRARA MASSIMILIANO (Presidente)
NUNZIANTE ANTONIO MARIA (Membro Effettivo)
SOAVI MARZIA (Membro Effettivo)

Syllabus
Prerequisiti: Nessuno.
Conoscenze e abilita' da acquisire: Scopo del corso: fornire una conoscenza di base della logica deduttiva.
Modalita' di esame: Scritto (compito con dimostrazioni ed altri esercizi da svolgere). Nell'anno saranno svolte delle esercitazioni.
Criteri di valutazione: Si valuterà la capacità dello studente di risolvere dimostrazioni in logica del primo ordine.
Contenuti: La logica proposizionale. Il calcolo proposizionale (deduzione naturale ed alberi di refutazione). Le proposizioni categoriche ed alcuni elementi di logica classica; la sillogistica. La logica dei predicati. Il calcolo dei predicati (deduzione naturale ed alberi di refutazione). La logica ed il calcolo predicativo con identità (deduzione naturale ed alberi di refutazione). Elementi di teoria elementare degli insiemi. Eementi di semantica tarskiana (e teoria tarskiana della verità)
Attivita' di apprendimento previste e metodologie di insegnamento: Didatica frontale con esercitazioni.
Eventuali indicazioni sui materiali di studio: E.J. Lemmon, Elementi di logica con gli esercizi risolti, Elementi di logica con gli esercizi risolti . Roma/Bari: Laterza, (1995).
appunti lezioni
Testi di riferimento:
  • E.J. Lemmon, Elementi di Logica. Roma Bari: Laterza, 1995. Cerca nel catalogo