俄语 ⇄ 德语 法语 英语

хоаровская логика 强调
编程	Hoare logic (формализм для частичного доказательства правильности программ ssn)