7. Coq. Семантика малого шага, логика Хоара

Канал видеоролика: Computer Science Center
7. Coq. Семантика малого шага, логика Хоара
Смотреть видео:

#информатика #егэинформатика #икт #экзамены #егэ_2020 #мгту #школьникам #помощь_студентам #подготовкакэкзаменам


Свежая информация для ЕГЭ и ОГЭ по Информатике (листай):

 

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