Loading Events

« All Events

  • This event has passed.

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

јули 23 @ 19.00 - 21.00 CEST

Овој четврток (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 🙂

 

Details

Date:
јули 23
Time:
19.00 - 21.00 CEST
Event Category:
Website:
https://meet.google.com/xgb-nyed-icr

Venue

Google Meet

Organizer

хаклаб КИКА
Email:
info@slobodensoftver.org.mk
Website:
https://kika.spodeli.org/