Tjuringove Mašine i Halting Problem
Dokumentacija predavanja održanog u Zrenjaninu, april 2025.
O predavanju
Predavanje je obuhvatilo osnovne koncepte Tjuringove mašine kao apstraktnog modela računanja i dokaz neodlučivosti Halting problema. Prikazano je kako se algoritmi mogu formalno opisati i objašnjeno je zašto ne postoji univerzalni algoritam koji može odlučiti da li će se proizvoljan program zaustaviti.
Glavne teme
- Struktura i princip rada Tjuringove mašine
- Algoritamska neodlučivost i Halting problem
Predavanje je pripremljeno u okviru Fat Factory, a realizovano u Zrenjaninskoj Gimnaziji, aprila 2025. godine.
📘 Materijal sa predavanja
PDF dokument koji prati predavanje dostupan je za preuzimanje: