Сподели Знаење #4-2020: Логика, математика и софтвер

Овој четврток (23-07-2020г.) ќе имаме „Сподели Знаење“, четврто годинава.

Боро Ситниковски, кој е автор на Gentle Introduction to Dependent Types with Idris и Gentle Introduction to Blockchain with Lisp, по n-ти пат (не знам точно колку пати ни има предавано :)) ќе нѐ држи за рака, и со факел ќе нѐ води низ занданите на логиката, математиката и софтверот. Или, со негови зборови:

Through examples we will show how we can prove software correctness using the automated theorem prover Dafny, developed by Microsoft. We will also introduce Hoare logic from a theoretical perspective, which represents the backbone of Dafny.

Кој разбира, разбира. Кој не, се гледаме во четврток од 19:00ч. на следниов линк: https://meet.google.com/xgb-nyed-icr 🙂