|
Lecturer(s)
|
-
Vavroch Tomáš, Ing. Ph.D.
|
|
Course content
|
1.Finite automaton, reduced behaviour, event. 2.Nerode's theorem,regular language. Stochastic automata. 3.Petri nets. 4.Generative grammars. 5.Formal logical systems construction. 6.Semantics of the predicate calculus language. 7.Resolution in predicate calculus. 8.Probabilistic logic, fuzzy sets. 9.Fuzzy logic. 10.Turing machine, Church-Turing thesis. 11.Computational complexity. Complexity classes P, NP, PSPACE, EXP. 12.NP-hard and NP-complete problems. Reducibility. 13.Lambda-calculus.
|
|
Learning activities and teaching methods
|
Laboratory work, Skills demonstration
- Preparation for an examination (30-60)
- 50 hours per semester
- Individual project (40)
- 35 hours per semester
- Contact hours
- 65 hours per semester
- Presentation preparation (report) (1-10)
- 6 hours per semester
|
| prerequisite |
|---|
| Knowledge |
|---|
| application of high school knowledge on propositional logic |
| fundamental knowledge on concepts and structures of computer science theory |
| Skills |
|---|
| skillful use of propositional calculus |
| Competences |
|---|
| N/A |
| learning outcomes |
|---|
| Knowledge |
|---|
| ability for working with logical calculus and theories as with axiomatic systems |
| ability to derive the consequences of theories |
| basic knowledge on multi-valued logic systems |
| ability to define the state of a finite automaton, to understand its analysis and synthesis according to Kleene's theorem |
| Skills |
|---|
| ability to solve logical problems using propositional, first-order predicate or multi-valued logic. |
| analysis and design of finite state machines |
| modeling of parallel activities using Petri nets |
| Competences |
|---|
| N/A |
| teaching methods |
|---|
| Knowledge |
|---|
| Laboratory work |
| Lecture |
| Lecture supplemented with a discussion |
| Skills |
|---|
| Practicum |
| Competences |
|---|
| Lecture supplemented with a discussion |
| assessment methods |
|---|
| Knowledge |
|---|
| Individual presentation at a seminar |
| Combined exam |
| Skills |
|---|
| Skills demonstration during practicum |
| Competences |
|---|
| Combined exam |
|
Recommended literature
|
-
Bokr, Josef. Logiky a automaty. Plzeň : Západočeská univerzita, 2003.
|