Kurzus nemzetközi vendég- és részidős hallgatóknak
- Kar
- Informatikai Kar
- Szervezet
- IK Programozáselmélet és Szoftvertechnológiai Tanszék
- Kód
- IP-18fKVPREG
- Cím
- Programozáselmélet Gy
- Tervezett félév
- Mindkét
- Meghirdetve
- 2024/25/1, 2024/25/2
- ECTS
- 3
- Nyelv
- en
- Tantárgy tartalma
- A relational model of programming. Basic notions of programming: state space, problem, program, program function, solution. Weakest precondition. Formal specification of problems. The syntax and semantics of nondeterministic programs. Elementary programs, program constructs. The notion of loop invariant. Verification rules. Proving correctness of common algorithms.
- Számonkérés és értékelés
Kurzus szakjai
| Név (kód) | Nyelv | Szint | Kötelező | Tanév | ... |
|---|---|---|---|---|---|
| Erasmus program keretében (IK-ERASMUS-NXXX) | en | Kötelező | |||
| programtervező informatikus - F (ELTE-K7473-S-N-10-ENG) | en | 6 |