• Видеоуроки по математике для студентов
• Архетипы математики
• 39 топологическая семантика логики доказуемости

39 топологическая семантика логики доказуемости

Канал видеоролика: Архетипы математики

Обложка видеоролика:

Смотреть видео:

С этим видео смотрят следующие ролики:

36 Топологическая семантика модальных логик

Архетипы математики

37 Топологическая семантика S4: корректность и полнота

Архетипы математики

38 Топологическая семантика Int

Архетипы математики

Лекция 8. С.О. Сперанский. Введение в неклассические логики.

МЦМУ МИАН

Лекция 1. С.О. Сперанский. Введение в неклассические логики.

МЦМУ МИАН

Лекция 9. С.О. Сперанский. Введение в неклассические логики.

МЦМУ МИАН

Лекция 6. С.О. Сперанский. Введение в неклассические логики.

МЦМУ МИАН

 

Облегчи жизнь другим ученикам - поделись! (плюс тебе в карму):

28.04.2024 12:57