Repository

Repository is empty

Poll

No polls currently selected on this page!

Computable analysis

Code: 201266
ECTS: 5.0
Lecturers in charge: prof. dr. sc. Zvonko Iljazović
Load:

1. komponenta

Lecture typeTotal
Lectures 45
* Load is given in academic hour (1 academic hour = 45 minutes)
Description:
COURSE AIMS AND OBJECTIVES:
Students should be able to:
- use fundamental concepts of computable analysis
- solve problems that include computability, analysis, and topology

COURSE DESCRIPTION AND SYLLABUS:

- Basic and more complex examples of computability in analysis and motivation for the notion of a recursive number.
- Recursive real functions. Recursive rational functions, recursive real functions, examples.
- Recursive Numbers. Examples, characterization of recursive numbers, examples of nonrecursive numbers.
- Computable functions of real variable. Sequential computability, effective uniform continuity, examples, properties, Kleene tree, computable functions without recursive zeropoints.
- Computability in Euclidean Space. Computable sets, computably enumerable sets, co-computably enumerable sets, properties
- Computable metric spaces. Motivation, examples, properties, computable sets, computably enumerable sets, co-computably enumerable sets, computability on compact sets.
Literature:
Prerequisit for:
Enrollment :
Attended : Computability

Examination :
Passed : Computability
3. semester Not active
Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics

4. semester
Izborni predmet 3, 4, 5, 6 - Regular study - Computer Science and Mathematics
Consultations schedule: