Vai al contenuto principale
Coronavirus: aggiornamenti per la comunità universitaria / Coronavirus: updates for UniTo Community
Oggetto:
Oggetto:

Logica Matematica 2

Oggetto:

Mathematical logic 2

Oggetto:

Anno accademico 2021/2022

Codice dell'attività didattica
MAT0066
Docente
Prof. Domenico Zambella (Titolare del corso)
Corso di studi
Laurea in Matematica
Anno
1° anno 2° anno 3° anno
Periodo didattico
Secondo semestre
Tipologia
D.M. 270 TAF D - A scelta dello studente
Crediti/Valenza
6
SSD dell'attività didattica
MAT/01 - logica matematica
Modalità di erogazione
Tradizionale
Lingua di insegnamento
Italiano
Modalità di frequenza
Facoltativa
Tipologia d'esame
Scritto e Orale
Prerequisiti
Maturità matematica. Non sono richiesti prerequisiti di logica.

Mathematical maturity. No knowledge of logic is required.
Oggetto:

Sommario insegnamento

Oggetto:

Obiettivi formativi

Coerentemente con gli obiettivi formativi del Corso di Studio previsti dalla scheda SUA-CdS, l'insegnamento si propone di permettere allo studente di familiarizzare con alcune nozioni centrali della combinatoria probabilistica/estremale e di vedere come queste nozioni siano collegate al resto della matematica. Verranno anche studiate applicazioni alla logica matematica

Through the course, the student will be acquainted with central notions in probabilistic/extremal combinatorics, in order to see how these notions are entangled in the remainder of mathematics. The course will also present basic applications to matematical logic.

Oggetto:

Risultati dell'apprendimento attesi

Lo studente dovrà mostrare di aver essere in grado di applicare le tecniche apprese per risolvere semplici problemi.

 

The student should be able to apply the techniques taught in the course to tackle elementary problems.

Oggetto:

Modalità di insegnamento

Lezioni in aula e compiti per casa (esercizi assegnati con cadenza quindicinale).

Face to face lectures. Every other week homework will be assigned and discussed with the students.

 

Oggetto:

Modalità di verifica dell'apprendimento

Prova orale in cui lo studente esporrà da approfondimenti degli argomenti svolti a lezione. La valutazione è in trentesimi

Può sostenere l'esame solo chi non l'ha già sostenuto nella laurea triennale.

There will be a written and oral exam, consisting of exercises and questions about the contents of the lectures and the exercises. The grade is on a scale of 0 to 30.

Following regulations in the midst of the Covid-19 pandemic, online exams could be held, on Webex and Moodle.

The exam is permitted only to those student who have not sustained this exam in their undergraduate program

 

Oggetto:

Attività di supporto

Verranno assegnati esercizi e problemi da risolvere da soli o in gruppo. Questi serviranno sia come attività tutoriale che come bonus per la valutazione finale.

We will give exercises and problems that can be solved as a group work. These will serve both pedagogically, and could also serve as bonus in the final exam.

Oggetto:

Programma

Some classical theorems

  • Hall's Marriage Theorem.
  • König's Minimax Theorem
  • Dilworth's Theorem
  • Sperner's Theorem
  • Erdös-Ko-Rado Theorem
  • Ramsey's Theorem

The combinatorics of stability theory

  • The order property.
  • Shelah binary rank
  • Approximable sets

Vapnik-Chervonenkis theorem

  • The uniform law of large numbers.

Digression into linear programming

  • Duality and Farkas' Lemma.

Small transversals

  • Transversals and packings
  • Helly-type property
  • The (p,q)-Theorem

 

Testi consigliati e bibliografia

Oggetto:

-



Oggetto:

Orario lezioni

Oggetto:
Ultimo aggiornamento: 07/07/2021 13:30

Non cliccare qui!