Loading Events

« All Events

  • This event has passed.

СподелиЗнаење: Докази, теореми, семантика и програмирање во Budge

ноември 3 @ 19.00 - 21.00 CET

Во четврток го сефтосуваме отворањето на КИКА 4.0 со СподелиЗнаење. Да, хаклабот е повторно отворен на нова локација: Коста Шахов бр. 7/5 (одма до ЊуЕјџ).

За таа цел, Боро Ситниковски ни организира СподелиЗнаење каде што ќе зборува програмскиот јазик и „докажувач на теореми“ Budge, базиран на неговиот научен труд, кој го објаснува како

[… ] a simple programming language based on Gödel numbering and prime factorization, enhanced with explicit, scoped loops, allowing for easy program composition. Further, we will present a theorem prover that allows expressing and working with formal systems. The theorem prover is simple as it relies merely on a substitution rule and set equality to derive theorems. Finally, we will represent the programming language in the theorem prover. We will show the syntax and semantics of both, and then provide a few example programs and their evaluation.

Се гледаме во четврток во 19:00ч. во КИКА!

Details

Date:
ноември 3
Time:
19.00 - 21.00 CET
Event Category:

Venue

хаклаб КИКА
ул. Коста Шахов бр. 7, кат 2, стан 5
Skopje, 1000
+ Google Map
View Venue Website

Organizer

хаклаб КИКА
Email:
info@slobodensoftver.org.mk
View Organizer Website