(New page: {{Course | name = Programming of Parallel and Distributed Systems | code = 2-AIN-109 | prerequisites = none | semester = Summer | year = 1 | credits = 4 | form = L - lecture ...) |
|||
| Riadok 1: | Riadok 1: | ||
| − | {{ | + | {{Predmet |
| name = Programming of Parallel and Distributed Systems | | name = Programming of Parallel and Distributed Systems | ||
| code = 2-AIN-109 | | code = 2-AIN-109 | ||
| − | | prerequisites = | + | | prerequisites = žiadne |
| − | | semester = | + | | semester = Letný |
| year = 1 | | year = 1 | ||
| credits = 4 | | credits = 4 | ||
| − | | form = | + | | form = P - prednáška (3), C - cvičenie (1) |
| evaluation = 40/60 | | evaluation = 40/60 | ||
| − | | webpage = | + | | webpage = chýba |
| teacher = doc. RNDr. Damas Gruska, PhD. | | teacher = doc. RNDr. Damas Gruska, PhD. | ||
| email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | | email = gruska[[Image:zavinac.gif|@]]ii.fmph.uniba.sk | ||
| homepage = http://ii.fmph.uniba.sk/~gruska/ | | homepage = http://ii.fmph.uniba.sk/~gruska/ | ||
| description = At the beginning student will learn a simple language suitabel for parallel and distributed programming. They will learn some basics on parallel and distributive architectures and how to implement the programs on them. They will learn temporal logic based language suitable for specification and verification of the programs. On a number of examples (dinnig philosphers, Bizantine agreement, fault-tolerante protocols, shortest path etc.) they will learn basic concepts and techniques of parallel and distributive programmming. | | description = At the beginning student will learn a simple language suitabel for parallel and distributed programming. They will learn some basics on parallel and distributive architectures and how to implement the programs on them. They will learn temporal logic based language suitable for specification and verification of the programs. On a number of examples (dinnig philosphers, Bizantine agreement, fault-tolerante protocols, shortest path etc.) they will learn basic concepts and techniques of parallel and distributive programmming. | ||
| − | | offered_in = | + | | offered_in = Povinný v [[Bachelor program in Applied Informatics|Magisterskom programe Aplikovaná informatika]] |
| − | | recommendations = | + | | recommendations = žiadne |
}} | }} | ||
Verzia zo dňa a času 18:51, 20. august 2008
Programming of Parallel and Distributed Systems 2-AIN-109
choď na zoznam všetkých predmetov...
| Názov a kód predmetu: | Programming of Parallel and Distributed Systems (2-AIN-109) |
| Prerekvizity: | žiadne |
| Vyučuje sa/odporúčaný ročník: | Letný semester / 1 |
| Forma a # hodín/týždeň: | P - prednáška (3), C - cvičenie (1) |
| Kredity: | 4 |
| Hodnotenie (semester/skúška): | 40/60 |
| Webstránka predmetu: | chýba |
| Informačný list: | Informačný list 2-AIN-109 (fakultná služba) |
| Vyučujúci: | doc. RNDr. Damas Gruska, PhD. |
| E-mail: | gruska ii.fmph.uniba.sk
|
| Domovská stránka: | http://ii.fmph.uniba.sk/~gruska/ |
Popis predmetu:
At the beginning student will learn a simple language suitabel for parallel and distributed programming. They will learn some basics on parallel and distributive architectures and how to implement the programs on them. They will learn temporal logic based language suitable for specification and verification of the programs. On a number of examples (dinnig philosphers, Bizantine agreement, fault-tolerante protocols, shortest path etc.) they will learn basic concepts and techniques of parallel and distributive programmming.
Je časťou študijného programu: Povinný v Magisterskom programe Aplikovaná informatika
Odporúčania: žiadne