392205 Models of Computation (BS) (WiSe 2016/2017)

Contents, comment

‘Models of Computation’ is an intensive block course for students who are interested in learning about a variety of existing models of computation and how to analyze such models.

This course will provide a survey of models such as Turing Machines, Cellular Automata, Graph Automata, Lambda Calculus, Tiling Systems, Chemical Reaction Networks, and many more. The goal is to understand, through examples, computation in a broader sense, so that we can recognize it even when it looks nothing like a traditional computer program.

For example, we would like to understand the brain. There is one key reason why Artificial Intelligence has failed so far to live up to the naive expectations of reproducing human intelligence, and that is this: We have a terribly poor understanding of the computation that goes on in the brain and we are completely unable to simulate it, despite decades of experimental data from neurobiologists. If the brain worked even remotely like a Turing machine, we would understand it by now. Similarly, if we had a computational model that worked even remotely like a brain, we would have a good understanding of the brain by now.

So, to understand the brain or biological computation, we will need to develop entirely new models of computation. It seems that the best hope for developing these new models is the following:

1. Understand a variety of existing models of computation.
2. See how these models are similar to and different from each other, and similar to and different from the kinds of desirable computation that we have not yet been able to model.
3. Do our best to try to create models that are closer to brains or biology than existing models.

This course gives students a deeper understanding of (1) and (2), to help prepare them for doing (3) in their scientific career.

Bibliography

There are no prerequisites.
You do not need any specific neuroscience or biological or computing knowledge when starting the class. However, skills such as thinking clearly and being able to solve puzzles will be useful.

This lecture will be taught in English.

Teaching staff

Dates ( Calendar view )

Frequency Weekday Time Format / Place Period  

Show passed dates >>

Subject assignments

Module Course Requirements  
39-Inf-MIKE Modularisierter individueller Kompetenz-Erwerb (MiKE) - Ungraded examination Student information
39-M-Inf-MIKE Modularisierter individueller Kompetenz-Erwerb (MiKE) - Ungraded examination Student information

The binding module descriptions contain further information, including specifications on the "types of assignments" students need to complete. In cases where a module description mentions more than one kind of assignment, the respective member of the teaching staff will decide which task(s) they assign the students.

Degree programme/academic programme Validity Variant Subdivision Status Semester LP  
Bioinformatik und Genomforschung / Promotion Indiv. Erg. Wahl 4  
Intelligente Systeme / Promotion Individueller Ergänzungsberei Wahl 4  

This block course introduces students to a wide range of simple models of computation. At the end of this course the students will be familiar with many standard models, and will understand how the models try to capture aspects of the systems that inspried them, and will be able to compare the computational power of such models.

Along with the lecture the students will be working on hands-on exercises. The course is considered passed after successfully completing the exercises.

No E-Learning Space
Registered number: 16
This is the number of students having stored the course in their timetable. In brackets, you see the number of users registered via guest accounts.
Address:
WS2016_392205@ekvv.uni-bielefeld.de
This address can be used by teaching staff, their secretary's offices as well as the individuals in charge of course data maintenance to send emails to the course participants. IMPORTANT: All sent emails must be activated. Wait for the activation email and follow the instructions given there.
If the reference number is used for several courses in the course of the semester, use the following alternative address to reach the participants of exactly this: VST_87846688@ekvv.uni-bielefeld.de
Coverage:
6 Students to be reached directly via email
Notes:
Additional notes on the electronic mailing lists
Last update basic details/teaching staff:
Thursday, November 3, 2016 
Last update times:
Monday, January 16, 2017 
Last update rooms:
Monday, January 16, 2017 
Type(s) / SWS (hours per week per semester)
BS / 2
Language
This lecture is taught in english
Department
Faculty of Technology
Questions or corrections?
Questions or correction requests for this course?
Planning support
Clashing dates for this course
Links to this course
If you want to set links to this course page, please use one of the following links. Do not use the link shown in your browser!
The following link includes the course ID and is always unique:
https://ekvv.uni-bielefeld.de/kvv_publ/publ/vd?id=87846688
Send page to mobile
Click to open QR code
Scan QR code: Enlarge QR code
ID
87846688