Seminar "Theorie der Berechenbarkeit"
Seminar, 2 SWS, 4 Kreditpunkte, SS 06
Hauptstudium Diplom, Master, Säule: Grundlagen
der Informatik
Priv. Doz. Dr. Xizhong Zheng
Vortragstermine
|
Datum
|
Themen
|
Vortragende
|
|
|
1
|
19.06.06
15:30 |
Unary Primitive Recursive Functions |
Xiaochuan Chen, |
|
2
|
26.06.06
15:30 |
A Banach-Mazur Computable but not Markov Computable Function on the Computable Real Numbers |
Alexander Reich,
Sascha Saretz |
|
3
|
10.07.06
15:30 |
Weakly Computable Real Numbers |
Gang Chan,
Shouzhi Feng Yu Zheng |
|
4
|
10.07.06
19:15 |
Small Turing Machines and Generalized Busy Beaver Competition |
Jie Ji,
Ertung Qiu, Suikang Du |
|
5
|
12.07.06
19:15 |
A Note on Busy Beavers and Other Creatures |
Steidelmüller Hagen,
Michael Tauer, Rudolph David |
|
6
|
12.07.07
20:45 |
The Busy Beaver, the Placid Platypus and other Crazy Creatures |
Enrico Altmann,
Gang Lu, Ning Zhao |
Termine:
| Montags | 15.30-17.00 | EHS 214 | Seminar |
Vorbesprechung: 03.04.2006
Beginn: 24.04.2006
©Xizhong Zheng