|
|
Course by S. O. Speranski "Decidable and undecidable theories", February 14–May 8, 2024
-
Lecture 1. Decidable and undecidable theories
С. О. Сперанский
February 14, 2024 16:20
-
Lecture 2. Decidable and undecidable theories
С. О. Сперанский
February 21, 2024 16:20
-
Lecture 3. Decidable and undecidable theories
С. О. Сперанский
February 28, 2024 16:20
-
Lecture 4. Decidable and undecidable theories
С. О. Сперанский
March 6, 2024 16:20
-
Lecture 5. Decidable and undecidable theories
С. О. Сперанский
March 13, 2024 16:20
-
Lecture 6. Decidable and undecidable theories
С. О. Сперанский
March 20, 2024 16:20
-
Lecture 7. Decidable and undecidable theories
С. О. Сперанский
March 27, 2024 16:20
-
Lecture 8. Decidable and undecidable theories
С. О. Сперанский
April 3, 2024 16:20
-
Lecture 9. Decidable and undecidable theories
С. О. Сперанский
April 10, 2024 16:20
-
Lecture 10. Decidable and undecidable theories
С. О. Сперанский
April 17, 2024 16:20
-
Lecture 11. Decidable and undecidable theories
С. О. Сперанский
April 22, 2024 16:00
-
Lecture 12. Decidable and undecidable theories
С. О. Сперанский
May 3, 2024 10:00
-
Lecture 13. Decidable and undecidable theories
С. О. Сперанский
May 8, 2024 10:00
© , 2025