Lógica – curso gratuito da Open Education, treinamento 14 semanas, de 4 a 6 horas semanais, Data: 3 de dezembro de 2023.

Miscelânea / by admin / December 07, 2023

click fraud protection

O curso apresenta aos alunos a lógica matemática, seus métodos, teoremas e aplicações. No processo de estudo do curso, os alunos poderão aprender sobre vários sistemas lógicos - lógica clássica, lógica intuicionista, várias lógicas modais, bem como lógica clássica de predicados e teorias construídas com base nisso.

Serão abordadas questões relacionadas com linguagens formais, questões de expressibilidade de várias condições nelas, sistemas axiomáticos, evidência e provabilidade, verdade e refutabilidade. Serão mostradas as relações entre esses conceitos, bem como as relações entre diferentes sistemas lógicos. Ao longo do caminho, serão consideradas as propriedades das teorias, inclusive as algorítmicas.

O curso contém material teórico apresentado em aulas teóricas e tarefas práticas oferecidas aos alunos como exercícios. Os alunos serão capazes de aprender a construir provas formais de teoremas, modelos de teorias, contramodelos para afirmações improváveis em teorias, bem como argumentar rigorosamente as suas conclusões.

instagram viewer

Rybakov Mikhail Nikolaevich

bem

Candidato em Ciências Físicas e Matemáticas: Yaroslavl State University. P.G. Demidova, PhD: Universidade de Witwatersrand, Professor Associado Cargo: Professor Associado, Faculdade de Matemática

Educação, graus acadêmicos e títulos acadêmicos 2019, PhD: Universidade de Witwatersrand 2017, Título acadêmico: Professor Associado 2005, Candidato em Ciências Físicas e Matemáticas: Universidade Estadual de Yaroslavl. P.G. Demidova 1999, Mestrado: Tver State University, especialidade “Matemática, Matemática Aplicada”, qualificação "Master" 1997, bacharelado: Tver State University, especialidade "Matemática", qualificação "Bacharel"

Prêmios e conquistas Agradecimento da Faculdade de Matemática da Escola Superior de Economia da National Research University (outubro de 2021) Melhor professor – 2021 Bônus para publicação em periódico internacional revisado por pares publicação científica (2022-2023, 2021-2022, 2020-2021) Vencedor do concurso para os melhores trabalhos científicos e científicos populares em língua russa de funcionários de HSE – 2022

1. Lógica proposicional clássica. Sintaxe, semântica. Leis. Formas normais disjuntivas e conjuntivas. Cálculo de sequência.

2. Lógica proposicional intuicionista. Semântica de Kripke. Cálculo de sequência.

3. Lógica de predicados clássica. Assinatura, modelos de assinatura. Definibilidade. Leis. Prefixo na forma normal.

4. Teorias de primeira ordem. Propriedades das teorias.

5. Algoritmos. Solvabilidade. Teorema de Church.

6. Lógicas modais. Sintaxe, semântica de Kripke. Cálculo. Teoremas de completude. Solvabilidade. Conexão com a lógica intuicionista e a lógica de predicados.

14 semanas, 4 a 6 horas por semana,

Começar 03 de dezembro