Introduction to Computational Logic/sk: Rozdiel medzi revíziami
| Riadok 1: | Riadok 1: | ||
{{Predmet | {{Predmet | ||
| − | | name = | + | | name = Úvod do výpočtovej logiky |
| code = 1-AIN-411 | | code = 1-AIN-411 | ||
| prerequisites = žiadne | | prerequisites = žiadne | ||
Verzia zo dňa a času 18:43, 20. august 2008
Úvod do výpočtovej logiky 1-AIN-411
choď na zoznam všetkých predmetov...
| Názov a kód predmetu: | Úvod do výpočtovej logiky (1-AIN-411) |
| Prerekvizity: | žiadne |
| Vyučuje sa/odporúčaný ročník: | Letný semester / 2 |
| Forma a # hodín/týždeň: | P - prednáška (2), C - cvičenie (2) |
| Kredity: | 5 |
| Hodnotenie (semester/skúška): | 50/50 |
| Webstránka predmetu: | chýba |
| Informačný list: | Informačný list 1-AIN-411 (fakultná služba) |
| Vyučujúci: | RNDr. Martin Homola, doc. PhDr. Ján Šefránek, CSc. |
| E-mail: | homola ii.fmph.uniba.sk, sefranekii.fmph.uniba.sk
|
| Domovská stránka: | http://ii.fmph.uniba.sk/~homola/ http://ii.fmph.uniba.sk/~sefranek/ |
Popis predmetu:
The course provides introduction to mathematical logic and to computational aspects of logic and is especially recommended to students who intend to undertake further courses on artificial intelligence, knowledge representation and cognitive science.
Je časťou študijného programu: Povinne-voliteľný v in Bakálarskom programe Aplikovaná informatika
Odporúčania: žiadne