(02/01/2023) - Mestrado: Computação, Lógica e Teoria dos Conjuntos - Felipe Gonçalves - Aula 01
Escola de Verão 2023
Professor: Felipe Gonçalves
Playlist dos videos: https://bit.ly/3v0eS6s
Formal Languages: Automata, Nondeterminism, Context free grammars, Chomsky normal form.
Register Machines: FRACTRAN, Minsky and Turing Machines, Partial recursive functions, Universality.
Decidability, The Halting Problem.
Algorithmic Complexity: Basic examples, P vs NP, NP-completeness.
First-Order Logic: Consistency, Completeness, Compactness, Model Theory, Undecidability, Gödel.
Incompleteness Theorems, Basics of second order logic.
Set Theory: Integers, Rationals, Reals, Cardinal, Ordinals, Surreals, well-ordering, transfinite induction.
ZFC set theory, the axiom of choice, the continuum Hypothesis.
Referências:
M. Sipser, Introduction to the Theory of Computation, 3rd Edition.
C. Papadimitriou, Computational Complexity: A Modern Approach.
H. B. Enderton, A Mathematical Introduction to Logic, 2nd Edition.
R. Weber, Computability theory.
K. Ciesielski, Set Theory For the Working Mathematician..
Redes Sociais do IMPA: https://linktr.ee/impabr
IMPA - Instituto de Matemática Pura e Aplicada ©
https://www.impa.br | https://impa.br/videos
Os direitos sobre todo o material deste canal pertencem ao Instituto de Matemática Pura e Aplicada, sendo vedada a utilização total ou parcial do conteúdo sem autorização prévia e por escrito do referido titular, salvo nas hipóteses previstas na legislação vigente.
The rights over all the material in this channel belong to the Instituto de Matemática Pura e Aplicada, and it is forbidden to use all or part of it without prior written authorization from the above mentioned holder, except in the cases prescribed in the current legislation.