02 Полнота и корректность ИВ
ฝัง
- เผยแพร่เมื่อ 5 ก.พ. 2025
- Истинность и выводимость
Полнота и корректность
Теорема о дедукции (версия для ИВ)
💰 Если Вам нравится мой контент, то Вы можете поддержать канал:
через сервис Boosty: boosty.to/math... - วิทยาศาสตร์และเทคโนโลยี
Спасибо огромное! Больше мат логики! Ваши лекции безгранично интересны 🎉
Почти 20 лет назад на пересдаче зачёта по матлогике доказывал именно полноту и корректность ИВ.