Name: ¬ sve za ∀ (no ∃ uvod u propozicije kao tipove)
Start: 2019-03-26T18:30:00+01:00
End: 2019-03-26T19:30:00+01:00
Location: Klub Mama/Multimedijalni institut

Nije sve za svakoga (no postoji uvod u propozicije kao tipove) je ovomjesečno izlaganje o konceptu poznatom kao propozicije kao tipovi. To je poveznica između logike i programiranja koju su prepoznali više logičara i računaraca u 20. stoljeću. Izlaganje je kratki uvod u tu poveznicu i preporuka nove knjige pod naslovom Programming Language Foundations in Agda. Prva polovica knjige o kojoj će biti riječ je o logici kroz tipove u smislu matematičke (konstruktivne) logike i teorije tipova.

Marko Dimjašević

Lambda Zagreb

Technology

Lisp

Computer Programming

Programming Languages

Functional Programming

Haskell

Elixir

Clojure

Rust

Erlang Programming

¬ sve za ∀ (no ∃ uvod u propozicije kao tipove)

Klub Mama/Multimedijalni institut

Share

Lambda Zagreb

¬ sve za ∀ (no ∃ uvod u propozicije kao tipove)

Lambda Zagreb

Details

Members are also interested in