Gde: Učionica NTP 317 i online (Zoom link u nastavku)
Kada: od 3.3.2026. do 12.3.2026 (sem subote i nedelje) od 17:00 do 19:00
Title: Models of Computation\\
(https://clegra.github.io/moc/Novi-Sad.html)
Professor: Clemens Grabmayer
- Description and topics of the course*.
Following the historical development, three classical models will be presented first: Turing machines, recursive functions, and Lambda Calculus. Subsequently, more recent models will be explained briefly. The focus will be on understanding underlying intuitions. Lecture 1: Introduction, Motivation, and Overview Lecture 2: Machine Models -- Post and Turing machines, -- Turing's analysis of computability -- Basic computability theory Lecture 3: Partial-Recursive Functions -- Basic computability theory (continued) -- Partial-Recursive Functions Lecture 4: Lambda Calculus Lecture 5: Three More Models (Post's Correspondence Problem, Interaction Nets, Fractran)
Zoom link eM is inviting you to a scheduled Zoom meeting.
Topic: TNE-Desk courses in Novi Sad
Time: Mar 3, 2026 10:30 AM Rome
Join Zoom Meeting
https://gssi-it.zoom.us/j/81845275047?pwd=nttAaQoScC2VrcYstQMNqaENpQbWZo.1
Meeting ID: 818 4527 5047
Passcode: 908062
---