Dev.DAI - Príspevky používateľa [sk]

Jan Komara/en

2016-02-09T19:03:25Z

Komara:

{{Person
| fullname = Ing. Ján Komara, PhD.
| caption = Jan Komara
| image =
| section = Section of Declarative Programming
| position = teacher
| phone = +421 2 602 95 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Teaching ===
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]]
* 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Mathematics (3) - Discrete Mathematics]]
* 1-AIN-470 [[Specification and Verification of Programs|Specification and Verification of Programs]]
* 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=en Symbolic programming and LISP]
* 2-INF-265 [[Declarative Programming|Declarative Programming]]
* 2-INF-264 [[Theory of Declarative Programming|Theory of Declarative Programming]]
* 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=en Symbolic programming and LISP]
==== Former Teaching (up to AY 2014/15) ====
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
* 1-AIN-470 [[Specification and Verification of Programs]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory]

=== Research ===
* mathematical logic, formal arithmetic
* recursion theory, theory of computability
* theory and practice of declarative programming languages
* theorem proving, specification and verification of programs

=== Publications ===
* thesis [http://ii.fmph.uniba.sk/~komara/online/thesis/ Specification and Verification of Programs in Peano Arithmetic]
* see [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010060420545403018&skin=epc&lng=en&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=komara&scanu1=1003&elementcount=1&t1=komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal of Comenius University Library]
* see also [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Jan Komara/sk

2016-02-09T19:00:47Z

Komara:

{{Osoba
| fullname = Ing. Ján Komara, PhD.
| caption = Ján Komara
| image = komara.png
| section = Oddelenie deklaratívneho programovania
| position = učiteľ
| phone = (+421 2 602 95) 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Výučba ===
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]]
* 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Matematika (3) - Diskrétna matematika]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 1-AIN-616 [http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-616-lisp/?lang=sk Symbolické programovanie a LISP]
* 2-INF-265 [[Declarative Programming|Deklaratívne programovanie]]
* 2-INF-264 [[Theory of Declarative Programming|Teória deklaratívneho programovania]]
* 2-AIN-285 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-285-lisp/?lang=sk Symbolické programovanie a LISP]
==== Predošlá výučba (do AR 2014/15) ====
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=sk Teória vypočítateľnosti pre programátorov]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]

=== Výskum ===
* matematická logika, formálna aritmetika
* teória rekurzívnych funkcií, teória vypočítateľnosti
* teória a prax deklaratívnych programovacích jazykov
* dokazovanie vlastností, špecifikácia a verifikácia programov

=== Publikácie ===
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Mathematics 1 - Introduction to Mathematical Reasoning/sk

2015-09-25T10:26:01Z

Komara:

{{Predmet
| name = Matematika (1) - Úvod do matematického myslenia
| code = 1-AIN-121
| prerequisites = žiadne
| semester = Zimný
| year = 1
| credits = 8
| form = P - prednáška (2), C - cvičenie (2), K - prednáška/cvičenie (2)
| evaluation = 50/50
| webpage = http://dai.fmph.uniba.sk/courses/mat/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = Prednáška poskytne študentom matematické základy nevyhnutné pre štúdium informatiky. Študenti si zároveň osvoja matematickú kultúru, spôsob myslenia a vyjadrovania, ako aj metódy dôkazov.
| offered_in = Povinný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = Toto je jeden z ťažších predmetov, ktorý väčšinou istá časť študentov nezvládne, preto: venujte prosím dostatok času príprave!
}}

Mathematics 1 - Introduction to Mathematical Reasoning/en

2015-09-25T10:25:10Z

Komara:

{{Course
| name = Mathematics (1) - Introduction to Mathematical Reasoning
| code = 1-AIN-121
| prerequisites = none
| semester = Winter
| year = 1
| credits = 8
| form = L - lecture (2), P - practicals (2), K - lecture/practicals (2)
| evaluation = 50/50
| webpage = http://www.dai.fmph.uniba.sk/courses/mat/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = This lecture provides students with the mathematical foundations of computer science. Students will acquire the “mathematical culture” - basic mathematical language and way of thinking, as well as elementary proof methods.
| offered_in = Obligatory in [[Bachelor program in Applied Informatics]]
| recommendations = This is one of the difficult courses, where some percentage of the students usually fails, therefore: pay enough attention to preparation!
}}

Theory of Declarative Programming/en

2015-09-25T10:23:02Z

Komara: Created page with "{{Course | name = Theory of Declarative Programming | code = 2-INF-264 | prerequisites = either 1-AIN-505 or 1-INF-465 or 2-INF-265 (recommended) | semester = Winter..."

{{Course
| name = Theory of Declarative Programming
| code = 2-INF-264
| prerequisites = either 1-AIN-505 or 1-INF-465 or 2-INF-265 (recommended)
| semester = Winter
| year = 2
| credits = 6
| form = L - lecture (2), P - practicals (2)
| evaluation = 100/0
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/2-INF-264-tdp/?lang=en
| teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = To give mathematical foundations of declarative programming languages.
| offered_in = Obligatory-optional in [[Master program in Applied Informatics]] and in Master program in Informatics
| recommendations = žiadne
}}

Theory of Declarative Programming/sk

2015-09-25T10:15:04Z

Komara: Created page with "{{Predmet | name = Teória deklaratívneho programovania | code = 2-INF-264 | prerequisites = 1-AIN-505 alebo 1-INF-465 alebo 2-INF-265 (doporučené) | semester = Zim..."

{{Predmet
| name = Teória deklaratívneho programovania
| code = 2-INF-264
| prerequisites = 1-AIN-505 alebo 1-INF-465 alebo 2-INF-265 (doporučené)
| semester = Zimný
| year = 2
| credits = 6
| form = P - prednáška (2), C - cvičenie (2)
| evaluation = 100/0
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/2-INF-264-tdp/?lang=sk
| teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = Študent sa zoznámi s matematickými základmi deklaratívnych programovacích jazykov.
| offered_in = Voliteľný v [[Master program in Applied Informatics|magisterskom programe Aplikovaná informatika]] a v magisterskom programe Informatika
| recommendations = žiadne
}}

Theory of Declarative Programming

2015-09-25T10:03:41Z

Komara: Created page with "generic page"

generic page

Jan Komara/en

2015-09-25T10:00:46Z

Komara:

{{Person
| fullname = Ing. Ján Komara, PhD.
| caption = Jan Komara
| image =
| section = Section of Declarative Programming
| position = teacher
| phone = +421 2 602 95 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Teaching ===
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]]
* 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Mathematics (3) - Discrete Mathematics]]
* 1-AIN-470 [[Specification and Verification of Programs|Specification and Verification of Programs]]
* 2-INF-265 [[Declarative Programming|Declarative Programming]]
* 2-INF-264 [[Theory of Declarative Programming|Theory of Declarative Programming]]
==== Former Teaching (up to AY 2014/15) ====
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
* 1-AIN-470 [[Specification and Verification of Programs]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory]

=== Research ===
* mathematical logic, formal arithmetic
* recursion theory, theory of computability
* theory and practice of declarative programming languages
* theorem proving, specification and verification of programs

=== Publications ===
* thesis [http://ii.fmph.uniba.sk/~komara/online/thesis/ Specification and Verification of Programs in Peano Arithmetic]
* see [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010060420545403018&skin=epc&lng=en&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=komara&scanu1=1003&elementcount=1&t1=komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal of Comenius University Library]
* see also [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Jan Komara/sk

2015-09-25T09:52:18Z

Komara:

{{Osoba
| fullname = Ing. Ján Komara, PhD.
| caption = Ján Komara
| image = komara.png
| section = Oddelenie deklaratívneho programovania
| position = učiteľ
| phone = (+421 2 602 95) 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Výučba ===
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]]
* 1-AIN-160 [[Mathematics 3 - Discrete Mathematics|Matematika (3) - Diskrétna matematika]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 2-INF-265 [[Declarative Programming|Deklaratívne programovanie]]
* 2-INF-264 [[Theory of Declarative Programming|Teória deklaratívneho programovania]]
==== Predošlá výučba (do AR 2014/15) ====
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=sk Teória vypočítateľnosti pre programátorov]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]

=== Výskum ===
* matematická logika, formálna aritmetika
* teória rekurzívnych funkcií, teória vypočítateľnosti
* teória a prax deklaratívnych programovacích jazykov
* dokazovanie vlastností, špecifikácia a verifikácia programov

=== Publikácie ===
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Jan Komara/en

2015-09-21T21:12:51Z

Komara:

{{Person
| fullname = Ing. Ján Komara, PhD.
| caption = Jan Komara
| image =
| section = Section of Declarative Programming
| position = teacher
| phone = +421 2 602 95 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Teaching ===
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]]
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
* 1-AIN-470 [[Specification and Verification of Programs]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory]

=== Research ===
* mathematical logic, formal arithmetic
* recursion theory, theory of computability
* theory and practice of declarative programming languages
* theorem proving, specification and verification of programs

=== Publications ===
* thesis [http://ii.fmph.uniba.sk/~komara/online/thesis/ Specification and Verification of Programs in Peano Arithmetic]
* see [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010060420545403018&skin=epc&lng=en&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=komara&scanu1=1003&elementcount=1&t1=komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal of Comenius University Library]
* see also [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Jan Komara/sk

2015-09-21T21:11:05Z

Komara:

{{Osoba
| fullname = Ing. Ján Komara, PhD.
| caption = Ján Komara
| image = komara.png
| section = Oddelenie deklaratívneho programovania
| position = učiteľ
| phone = (+421 2 602 95) 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Výučba ===
* 1-AIN-121 [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]]
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=sk Teória vypočítateľnosti pre programátorov]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]

=== Výskum ===
* matematická logika, formálna aritmetika
* teória rekurzívnych funkcií, teória vypočítateľnosti
* teória a prax deklaratívnych programovacích jazykov
* dokazovanie vlastností, špecifikácia a verifikácia programov

=== Publikácie ===
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Discrete Mathematics 1/en

2015-09-21T20:54:23Z

Komara: Undo revision 14180 by Komara (talk)

{{Course
| name = Discrete Mathematics (1)
| code = 1-AIN-120
| prerequisites = none
| semester = Winter
| year = 1
| credits = 6
| form = L - lecture (2), P - practicals (2)
| evaluation = 50/50
| webpage = http://www.dai.fmph.uniba.sk/courses/dm/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = This lecture provides students with the mathematical foundations of computer science. Students will acquire the “mathematical culture” - basic mathematical language and way of thinking, as well as elementary proof methods.
| offered_in = Obligatory in [[Bachelor program in Applied Informatics]]
| recommendations = This is one of the difficult courses, where some percentage of the students usually fails, therefore: pay enough attention to preparation!
}}

Mathematics 1 - Introduction to Mathematical Reasoning/en

2015-09-21T20:53:32Z

Komara: Created page with "{{Course | name = Mathematics (1) - Introduction to Mathematical Reasoning | code = 1-AIN-121 | prerequisites = none | semester = Winter | year = 1 | credits = 8..."

{{Course
| name = Mathematics (1) - Introduction to Mathematical Reasoning
| code = 1-AIN-121
| prerequisites = none
| semester = Winter
| year = 1
| credits = 8
| form = L - lecture (2), P - practicals (2), K - short lecture (2)
| evaluation = 50/50
| webpage = http://www.dai.fmph.uniba.sk/courses/mat/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = This lecture provides students with the mathematical foundations of computer science. Students will acquire the “mathematical culture” - basic mathematical language and way of thinking, as well as elementary proof methods.
| offered_in = Obligatory in [[Bachelor program in Applied Informatics]]
| recommendations = This is one of the difficult courses, where some percentage of the students usually fails, therefore: pay enough attention to preparation!
}}

Discrete Mathematics 1/en

2015-09-21T20:49:21Z

Komara:

{{Course
| name = Mathematics (1) - Introduction to Mathematical Reasoning
| code = 1-AIN-121
| prerequisites = none
| semester = Winter
| year = 1
| credits = 8
| form = L - lecture (2), P - practicals (2), K - short lecture (2)
| evaluation = 50/50
| webpage = http://www.dai.fmph.uniba.sk/courses/mat/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = This lecture provides students with the mathematical foundations of computer science. Students will acquire the “mathematical culture” - basic mathematical language and way of thinking, as well as elementary proof methods.
| offered_in = Obligatory in [[Bachelor program in Applied Informatics]]
| recommendations = This is one of the difficult courses, where some percentage of the students usually fails, therefore: pay enough attention to preparation!
}}

Mathematics 1 - Introduction to Mathematical Reasoning

2015-09-21T20:45:27Z

Komara: Replaced content with "generic page"

generic page

Mathematics 1 - Introduction to Mathematical Reasoning/sk

2015-09-21T20:43:20Z

Komara: Created page with "{{Predmet | name = Matematika (1) - Úvod do matematického myslenia | code = 1-AIN-121 | prerequisites = žiadne | semester = Zimný | year = 1 | credits = 8 |..."

{{Predmet
| name = Matematika (1) - Úvod do matematického myslenia
| code = 1-AIN-121
| prerequisites = žiadne
| semester = Zimný
| year = 1
| credits = 8
| form = P - prednáška (2), C - cvičenie (2), K - malá prednáška (2)
| evaluation = 50/50
| webpage = http://dai.fmph.uniba.sk/courses/mat/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = Prednáška poskytne študentom matematické základy nevyhnutné pre štúdium informatiky. Študenti si zároveň osvoja matematickú kultúru, spôsob myslenia a vyjadrovania, ako aj metódy dôkazov.
| offered_in = Povinný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = Toto je jeden z ťažších predmetov, ktorý väčšinou istá časť študentov nezvládne, preto: venujte prosím dostatok času príprave!
}}

List of All Courses Provided by Department of Applied Informatics/en

2015-09-21T20:23:50Z

Komara:

[[Category:Courses]]
= List of All Courses Provided by Department of Applied Informatics =

This page lists all courses offered by our department.

'''Warning:''' The list does not yet reflect the changes to study program since the academic year 2015/2016.
Update is in progress.

Courses that are part of our study programs, but are offered by other departments are not on THIS list. Please visit the [[Education|page for the respective study program]], to find links to the homepages of those courses, or teachers that are available/known to us. Please also note that some of the courses may be suspended in the coming semester: to find out about that, please at the [[Education|page for the respective study program]].

==Bachelor program in Applied Informatics==

* 1-AIN-110: [[Mathematics 1|Mathematics (1)]]
* 1-AIN-111: [[Mathematics Complementary Classes 1|Mathematics Complementary Classes (1)]]
* 1-AIN-120: [[Discrete Mathematics 1|Discrete Mathematics (1)]]
* 1-AIN-121: [[Mathematics 1 - Introduction to Mathematical Reasoning|Mathematics (1) - Introduction to Mathematical Reasoning]]
* 1-AIN-130: [[Programming 1|Programming (1)]]
* 1-AIN-140: [[Hardware|Computer Principles - Hardware]]
* 1-AIN-150: [[Mathematics 2|Mathematics (2)]]
* 1-AIN-151: [[Mathematics Complementary Classes 2|Mathematics Complementary Classes (2)]]
* 1-AIN-160: [[Discrete Mathematics 2|Discrete Mathematics (2)]]
* 1-AIN-170: [[Programming 2|Programming (2)]]
* 1-AIN-172: [[Programming 4|Programming (4)]]
* 1-AIN-180: [[Operating Systems|Computer Principles - Operating Systems]]
* 1-AIN-210: [[Algorithms and Data Structures]]
* 1-AIN-220: [[Programming 3|Programming (Algorithms in Java) (3)]]
* 1-AIN-230: [[Project 1|Project (1)]]
* 1-AIN-240: [[Graphical Systems Visualization Multimedia|Graphical Systems, Visualization, Multimedia]]
* 1-AIN-250: [[Fundamentals of Enterprise and Management]]
* 1-AIN-260: [[Project 2|Project (2)]]
* 1-AIN-360: [[Fundamentals of Artificial Intelligence 1|Fundamentals of Artificial Intelligence (1)]]
* 1-AIN-372: [[Programming 5|Programming (5)]]
* 1-AIN-410: [[Mathematics 3|Mathematics (3)]]
* 1-AIN-470: [[Specification and Verification of Programs]]
* 1-AIN-411: [[Introduction to Computational Logic]]
* 1-AIN-425: [[Declarative Programming of Web Applications]]
* 1-AIN-426: [[Applied Robotics Seminar]]
* 1-AIN-430: [[Programming Paradigms]]
* 1-AIN-480: [[Neural Networks]]
* 1-AIN-500: [[Linux for Users]]
* 1-AIN-505: [[Introduction to Declarative Programming]]
* 1-AIN-510: [[Linux Principles and Means|Linux - Principles and Means]]
* 1-AIN-511: [[Functional Programming]]
* 1-AIN-515: [[Calculations in Science and Technology]]
* 1-AIN-520: [[Statistical Calculations]]
* 1-AIN-521: [[Database Systems Implementation]]
* 1-AIN-525: [[Programming Techniques in C++]]
* 1-AIN-530: [[Multimedia]]
* 1-AIN-535: [[Modelling and Rendering Techniques]]
* 1-AIN-540: [[Advanced Programming Techniques]]
* 1-AIN-545: [[Geometric Objects Representation]]
* 1-AIN-550: [[Image Processing Fundamentals]]
* 1-AIN-551: [[Algorithms for AI Robotics]]
* 1-AIN-610: [[Creating Web Documents]]
* 1-AIN-611: [[Creative Writing]]
* 1-AIN-612: [[Development of Accessible E-documents and Programs for Visually Impaired]]
* 1-AIN-615: [[Introduction to Web Applications]]
* 1-AIN-616: [[Symbolic Programming and LISP]]
* 1-AIN-617: [[Answer Set Programming]]
* 1-AIN-625: [[Introduction to Mathematical Logic for Programmers]]
* 1-AIN-630: [[Formal Semantics and Theory of Correctness]]
* 1-AIN-636: [[Modern Approaches to Web Design]]
* 1-AIN-646: [[Description Logics Ontologies and Semantics Web]]
* 1-AIN-655: [[Heuristic Methods]]
* 1-AIN-670: [[Expert Systems]]
* 1-AIN-675: [[Philosophy of Internet]]
* 1-AIN-680: [[Extreme Programming]]
* 1-AIN-685: [[Intelligent Techniques in e-learning]]
* 1-AIN-910: [[BSc Project]]
* 1-AIN-920: [[BSc Seminar]]

==Master program in Applied Informatics==

* 2-AIN-102: [[Discrete Geometric Structures]]
* 2-AIN-106: [[Complexity Theory]]
* 2-AIN-109: [[Programming of Parallel and Distributed Systems]]
* 2-AIN-122: [[Real Time Graphics]]
* 2-AIN-123: [[Computer Vision 1|Computer Vision (1)]]
* 2-AIN-124: [[Computer Vision 2|Computer Vision (2)]]
* 2-AIN-126: [[Data Compression]]
* 2-AIN-141: [[Expert Systems 1|Expert Systems (1)]]
* 2-AIN-143: [[Qualitative Modelling and Simulation|Qualitative Modelling and Simulation]]
* 2-AIN-144: [[Knowledge Representation and Reasoning|Knowledge Representation and Reasoning]]
* 2-AIN-146: [[Universal Algebra for Informatics]]
* 2-AIN-161: [[Applied Numerical Mathematics]]
* 2-AIN-172: [[UNIX for Users]]
* 2-AIN-173: [[GNU Linux]]
* 2-AIN-174: [[Advanced C++]]
* 2-AIN-181: [[Evolutionary Algorithms]]
* 2-AIN-184: [[Logic for Artificial Intelligence]]
* 2-AIN-185: [[Formal Methods of Software Development]]
* 2-AIN-201: [[Physical-based Animations and Mathematical Modeling]]
* 2-AIN-203: [[Social and Legal Aspects of Information Systems]]
* 2-AIN-221: [[Graphics Systems and Standards]]
* 2-AIN-222: [[Computer Graphics Applications]]
* 2-AIN-233: [[Computer Vision Applications]]
* 2-AIN-241: [[Expert Systems 2|Expert Systems (2)]]
* 2-AIN-244: [[Seminar in Expert Systems]]
* 2-AIN-245: [[Judgement Involving Uncertainty]]
* 2-AIN-246: [[Multiagent Systems]]
* 2-AIN-262: [[Information Visualisation|Information Visualization]]
* 2-AIN-263: [[Photorealism]]
* 2-AIN-264: [[OpenCV]]
* 2-AIN-265: [[Multidimensional Data Visualisation]]
* 2-AIN-270: [[Colour Image Processing]]
* 2-AIN-271: [[Image Processing for Medicine]]
* 2-AIN-274: [[Multimedia and Sound Processing]]
* 2-AIN-281: [[Computational and Cognitive Linguistics]]
* 2-AIN-282: [[Quantum Algorithms and Automata]]
* 2-AIN-283: [[Development of Critical Applications]]
* 2-AIN-284: [[Artificial Intelligence Seminar 1|Artificial Intelligence Seminar (1)]]
* 2-AIN-501: [[Methods in Bioinformatics]]
* 2-AIN-503: [[Seminar in Bioinformatics 1|Seminar in Bioinformatics (1)]]
* 2-AIN-502: [[Fundamentals of Programming for Biology Students]]
* 2-AIN-504: [[Seminar in Bioinformatics 2|Seminar in Bioinformatics (2)]]
* 2-AIN-636: [[Modern Approaches to Web Design]]
* 2-AIN-910: [[Diploma Thesis 1|Diploma Thesis (1)]]
* 2-AIN-911: [[Diploma Thesis 2|Diploma Thesis (2)]]
* 2-AIN-921: [[Project Seminar 1|Project Seminar (1)]]
* 2-AIN-922: [[Project Seminar 2|Project Seminar (2)]]

==Master program in Cognitive Science==

* 2-IKV-101: [[CogSci Programming 1|Programming (1)]]
* 2-IKV-102: [[CogSci Mathematics|Mathematics]]
* 2-IKV-103: [[Fundamentals of Artificial Intelligence for Cognitive Science]]
* 2-IKV-111: [[Introduction to Psychology]]
* 2-IKV-112: [[Modern Social Theories]]
* 2-IKV-113: [[Cognitive Psychology]]
* 2-IKV-114: [[Introduction to Philosophy of Mind]]
* 2-IKV-115: [[Introduction to Computational Intelligence]]
* 2-IKV-121: [[Introduction to Cognitive Science]]
* 2-IKV-122: [[CogSci Semester Project|Semester Project]]
* 2-IKV-123: [[Introduction to Neuroscience]]
* 2-IKV-131: [[Representation Knowledge Reasoning|Representation, Knowledge and Reasoning]]
* 2-IKV-133: [[Fundamentals of Artificial Intelligence 2|Fundamentals of Artificial Intelligence (2)]]
* 2-IKV-136: [[Neurocomputing|Computational Cognitive Neuroscience]]
* 2-IKV-141: [[Currrent Trends in Cognitive Psychology]]
* 2-IKV-142: [[Philosophy of Action]]
* 2-IKV-143: [[Philosophy of Language]]
* 2-IKV-164: [[Multiagent Systems]]
* 2-IKV-167: [[Practical Classes in Robotics]]
* 2-IKV-181: [[Meaning and Communication]]
* 2-IKV-182: [[Current Theories of Consciousness]]
* 2-IKV-183: [[Psycholinguistics]]
* 2-IKV-184: [[Cognitive Antropology]]
* 2-IKV-232: [[Cognitive Semantics and Cognitive Theory of Representation]]
* 2-IKV-233: [[Cognitive Laboratory]]
* 2-IKV-234: [[Knowledgeable Problem Solving Systems]]
* 2-IKV-235: [[Grounded Cognition]]
* 2-IKV-261: [[Logic and Cognitive Science]]
* 2-IKV-262: [[Computational Psycholinguistics]]
* 2-IKV-265: [[Speech Recognition]]
* 2-IKV-267: [[Mathematical Logic for Cognitive Science]]
* 2-IKV-921: [[CogSci Diploma Thesis Seminar|Diploma Thesis Seminar]]
* 2-IKV-910: [[CogSci Diploma Thesis|Diploma Thesis]]

==Courses for study programs of other departments==

* 1-MXX-407: [[Brain and mind]]
* 1-MXX-406: [[Language and Cognition]]

__NOTOC__

List of All Courses Provided by Department of Applied Informatics/sk

2015-09-21T20:20:46Z

Komara:

[[Category:Predmety]] {{DISPLAYTITLE:Zoznam všetkých predmetov zabezpečovaných Katedrou aplikovanej informatiky}}
= Zoznam všetkých predmetov zabezpečovaných Katedrou aplikovanej informatiky =
Zoznam všetkých predmetov, ktoré zabezpečuje naša katedra.

'''Upozornenie:''' Zoznam zatiaľ nezodpovedá zmenám v študijných programoch od roku 2015/2016.
Na aktualizácii pracujeme.

Predmety, ktoré sú súčasťou našich študijných programov, ale sú zabezpečované inou katedrou nie sú v TOMTO zozname. Prosím pozrite si [[Education|stránku pre príslušný štúdijný program]], kde nájdete linky na stránky týchto predmetov, ak o nich vieme. Tiež prosím pamätajte, že niektoré predmety sú v tomto školskom roku suspendované, čo je ale vyznačené iba [[Education|na stránke príslušného štúdijného programu]].

==Bakalársky program aplikovaná informatika==

* 1-AIN-110: [[Mathematics 1|Matematika (1)]]
* 1-AIN-111: [[Mathematics Complementary Classes 1|Doplnkové cvičenie k matematike (1) ]]
* 1-AIN-120: [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-121: [[Mathematics 1 - Introduction to Mathematical Reasoning|Matematika (1) - Úvod do matematického myslenia]]
* 1-AIN-130: [[Programming 1|Programovanie (1)]]
* 1-AIN-140: [[Hardware|Princípy počítačov - hardvér]]
* 1-AIN-150: [[Mathematics 2|Matematika (2)]]
* 1-AIN-151: [[Mathematics Complementary Classes 2|Doplnkové cvičenie k matematike (2)]]
* 1-AIN-160: [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-170: [[Programming 2|Programovanie (2)]]
* 1-AIN-172: [[Programming 4|Programovanie (4)]]
* 1-AIN-180: [[Operating Systems|Princípy počítačov - Operačné systémy]]
* 1-AIN-210: [[Algorithms and Data Structures|Algoritmy a dátové štruktúry]]
* 1-AIN-220: [[Programming 3|Programovanie (Algoritmy v Jave) (3)]]
* 1-AIN-230: [[Project 1|Projekt (1)]]
* 1-AIN-240: [[Graphical Systems Visualization Multimedia|Grafické systémy, vizualizácia, multimédiá]]
* 1-AIN-250: [[Fundamentals of Enterprise and Management|Základy podnikania a manažmentu]]
* 1-AIN-260: [[Project 2|Projekt (2)]]
* 1-AIN-360: [[Fundamentals of Artificial Intelligence 1|Základy umelej inteligencie (1)]]
* 1-AIN-372: [[Programming 5|Programovanie (5)]]
* 1-AIN-410: [[Mathematics 3|Matematika (3)]]
* 1-AIN-470: [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 1-AIN-411: [[Introduction to Computer Logic|Úvod do výpočtovej logiky]]
* 1-AIN-425: [[Declarative Programming of Web Applications|Deklaratívne programovanie webovských aplikácií]]
* 1-AIN-426: [[Applied Robotics Seminar|Aplikovaný robotický seminár]]
* 1-AIN-430: [[Programming Paradigms|Programovacie paradigmy]]
* 1-AIN-480: [[Neural Networks|Neurónové siete]]
* 1-AIN-500: [[Linux for Users|Linux pre používateľov]]
* 1-AIN-505: [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
* 1-AIN-510: [[Linux Principles and Means|Linux - princípy a prostriedky]]
* 1-AIN-511: [[Functional Programming|Funkcionálne programovanie]]
* 1-AIN-515: [[Calculations in Science and Technology|Vedecko-technické výpočty]]
* 1-AIN-520: [[Statistical Calculations|Štatistické výpočty]]
* 1-AIN-521: [[Database Systems Implementation|Implementácia databázových systémov]]
* 1-AIN-525: [[Programming Techniques in C++|Programovacie techniky v C++]]
* 1-AIN-530: [[Multimedia|Multimédiá]]
* 1-AIN-535: [[Modelling and Rendering Techniques|Modelovacie a renderovacie techniky]]
* 1-AIN-540: [[Advanced Programming Techniques|Pokročilé programátorské techniky]]
* 1-AIN-545: [[Geometric Objects Representation|Reprezentácie geometrických objektov]]
* 1-AIN-550: [[Image Processing Fundamentals|Základy spracovania obrazu]]
* 1-AIN-551: [[Algorithms for AI Robotics|Algoritmy pre AI robotiku]]
* 1-AIN-610: [[Creating Web Documents|Tvorba webových dokumentov]]
* 1-AIN-611: [[Creative Writing|Tvorivé písanie]]
* 1-AIN-612: [[Development of Accessible E-documents and Programs for Visually Impaired|Tvorba prístupných e dokumentov a programov pre nevidiacich]]
* 1-AIN-615: [[Introduction to Web Applications|Úvod do webových aplikácií]]
* 1-AIN-616: [[Symbolic Programming and LISP|Symbolické programovanie a LISP]]
* 1-AIN-617: [[Answer Set Programming|Logické programovanie ASP]]
* 1-AIN-625: [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-630: [[Formal Semantics and Theory of Correctness|Formálna sémantika a teória správnosti]]
* 1-AIN-636: [[Modern Approaches to Web Design|Moderný prístup k webdizajnu]]
* 1-AIN-646: [[Description Logics Ontologies and Semantics Web|Deskripčné logiky, ontológie a sémantický web]]
* 1-AIN-655: [[Heuristic Methods|Heuristické metódy]]
* 1-AIN-670: [[Expert Systems|Expertné systémy]]
* 1-AIN-675: [[Philosophy of Internet|Filozofia Internetu]]
* 1-AIN-680: [[Extreme Programming|Extrémne programovanie]]
* 1-AIN-685: [[Intelligent Techniques in e-learning|Inteligentné techniky v e-Learningu]]
* 1-AIN-910: [[BSc Project|BSc Projekt]]
* 1-AIN-920: [[BSc Seminar|BSc Seminár]]

==Magisterský program aplikovaná informatika==

* 2-AIN-102: [[Discrete Geometric Structures|Diskrétne geometrické štruktúry]]
* 2-AIN-106: [[Complexity Theory|Teória zložitosti]]
* 2-AIN-108: [[Computational Logic|Výpočtová logika]]
* 2-AIN-109: [[Programming of Parallel and Distributed Systems|Programovanie paralelných a distribuovaných systémov]]
* 2-AIN-122: [[Real Time Graphics|Grafika v reálnom čase]]
* 2-AIN-123: [[Computer Vision 1|Počítačové videnie (1)]]
* 2-AIN-124: [[Computer Vision 2|Počítačové videnie (2)]]
* 2-AIN-126: [[Data Compression|Kompresia dát]]
* 2-AIN-141: [[Expert Systems 1|Expertné Systémy (1)]]
* 2-AIN-143: [[Qualitative Modelling and Simulation|Kvalitatívne modelovanie a simulácia]]
* 2-AIN-144: [[Knowledge Representation and Reasoning|Reprezentácia znalostí a inferencia]]
* 2-AIN-146: [[Universal Algebra for Informatics|Univerzálna algebra pre informatikov]]
* 2-AIN-161: [[Applied Numerical Mathematics|Aplikovaná numerická matematika]]
* 2-AIN-172: [[UNIX for Users|UNIX pre používateľov]]
* 2-AIN-173: [[GNU Linux]]
* 2-AIN-174: [[Advanced C++|Pokročilé C++]]
* 2-AIN-181: [[Evolutionary Algorithms|Evolučné algoritmy]]
* 2-AIN-184: [[Logic for Artificial Intelligence|Logiky pre umelú inteligenciu]]
* 2-AIN-185: [[Formal Methods of Software Development|Formálne metódy tvorby softvéru]]
* 2-AIN-201: [[Physical-based Animations and Mathematical Modeling|Matematické modelovanie a počítačová animácia fyzikálnych procesov]]
* 2-AIN-203: [[Social and Legal Aspects of Information Systems|Spoločenské a právne aspekty informačných systémov]]
* 2-AIN-221: [[Graphics Systems and Standards|Grafické systémy a normy ]]
* 2-AIN-222: [[Computer Graphics Applications|Aplikácie počítačovej grafiky]]
* 2-AIN-233: [[Computer Vision Applications|Aplikácie počítačového videnia]]
* 2-AIN-241: [[Expert Systems 2|Expertné Systémy (2)]]
* 2-AIN-244: [[Seminar in Expert Systems|Seminár z expertných systémov]]
* 2-AIN-245: [[Judgement Involving Uncertainty|Usudzovanie za prítomnosti neurčitosti]]
* 2-AIN-246: [[Multiagent Systems|Multiagentové systémy]]
* 2-AIN-262: [[Information Visualisation|Vizualizácia informácií]]
* 2-AIN-263: [[Photorealism|Fotorealistické zobrazovanie]]
* 2-AIN-264: [[OpenCV]]
* 2-AIN-265: [[Multidimensional Data Visualisation|Vizualizácia viacrozmerných dát ]]
* 2-AIN-270: [[Colour Image Processing|Spracovanie farebného obrazu]]
* 2-AIN-271: [[Image Processing for Medicine|Spracovanie medicínskych obrazov]]
* 2-AIN-274: [[Multimedia and Sound Processing|Multimédiá a spracovanie zvuku]]
* 2-AIN-281: [[Computational and Cognitive Linguistics|Výpočtová a kognitívna lingvistika]]
* 2-AIN-282: [[Quantum Algorithms and Automata|Kvantové algoritmy a automaty]]
* 2-AIN-283: [[Development of Critical Applications|Tvorba kritických aplikácií]]
* 2-AIN-284: [[Artificial Intelligence Seminar 1|Seminár z umelej inteligencie (1)]]
* 2-AIN-501: [[Methods in Bioinformatics|Metódy v bioinformatike]]
* 2-AIN-503: [[Seminar in Bioinformatics 1|Seminár z bioinformatiky (1)]]
* 2-AIN-502: [[Fundamentals of Programming for Biology Students|Základy programovania pre študentov biológie]]
* 2-AIN-504: [[Seminar in Bioinformatics 2|Seminár z bioinformatiky (2)]]
* 2-AIN-636: [[Modern Approaches to Web Design|Moderný prístup k webdizajnu]]
* 2-AIN-910: [[Diploma Thesis 1|Diplomová práca (1)]]
* 2-AIN-911: [[Diploma Thesis 2|Diplomová práca (2)]]
* 2-AIN-921: [[Project Seminar 1|Projektový seminár (1)]]
* 2-AIN-922: [[Project Seminar 2|Projektový seminár (2)]]

==Magisterský program kognitívna veda==

* 2-IKV-102: [[CogSci Mathematics|Matematika]]
* 2-IKV-103: [[Fundamentals of Artificial Intelligence for Cognitive Science|Základy umelej inteligencie pre kognitívnu vedu]]
* 2-IKV-105: [[CogSci Programming|Základy programovania]]
* 2-IKV-111: [[Introduction to Psychology|Základy psychológie]]
* 2-IKV-113: [[Cognitive Psychology|Kognitívna psychológia]]
* 2-IKV-114: [[Introduction to Philosophy of Mind|Úvod do filozofie mysle ]]
* 2-IKV-115: [[Introduction to Computational Intelligence|Úvod do výpočtovej inteligencie]]
* 2-IKV-121: [[Introduction to Cognitive Science|Úvod do kognitívnej vedy]]
* 2-IKV-122: [[CogSci Semester Project|Semestrálny projekt]]
* 2-IKV-123: [[Introduction to Neuroscience|Úvod do neurovedy]]
* 2-IKV-131: [[Representation Knowledge Reasoning|Reprezentácia, poznatky a usudzovanie]]
* 2-IKV-133: [[Fundamentals of Artificial Intelligence 2|Základy umelej inteligencie (2)]]
* 2-IKV-136: [[Neurocomputing|Výpočtová kognitívna neuroveda]]
* 2-IKV-141: [[Current Trends in Cognitive Psychology|Aktuálne trendy v kognitívnej psychológii]]
* 2-IKV-142: [[Philosophy of Action|Filozofia konania]]
* 2-IKV-143: [[Philosophy of Language|Filozofia jazyka]]
* 2-IKV-164: [[Multiagent Systems|Multiagentové systémy]]
* 2-IKV-167: [[Practical Classes in Robotics|Praktický seminár robotiky]]
* 2-IKV-181: [[Meaning and Communication|Význam a komunikácia]]
* 2-IKV-182: [[Current Theories of Consciousness|Súčasné teórie vedomia]]
* 2-IKV-183: [[Psycholinguistics|Psycholingvistika]]
* 2-IKV-184: [[Cognitive Antropology|Kognitívna antropológia]]
* 2-IKV-232: [[Cognitive Semantics and Cognitive Theory of Representation|Kognitívna sémantika a kognitívna teória reprezentácie]]
* 2-IKV-233: [[Cognitive Laboratory|Kognitívne laboratórium]]
* 2-IKV-234: [[Knowledgeable Problem Solving Systems|Znalostné systémy]]
* 2-IKV-236: [[Grounded Cognition|Ukotvená kognícia]]
* 2-IKV-261: [[Logic and Cognitive Science|Logika a kognitívna veda]]
* 2-IKV-265: [[Speech Recognition|Rozpoznávanie reči]]
* 2-IKV-267: [[Mathematical Logic for Cognitive Science|Matematická logika pre kognitívnu vedu]]
* 2-IKV-921: [[CogSci Diploma Thesis Seminar|Diplomový seminár]]
* 2-IKV-910: [[CogSci Diploma Thesis|Diplomová práca]]

==Predmety iných katedier==
* 1-MXX-407: [[Brain and mind|Mozog a myseľ]]
* 1-MXX-406: [[Language and Cognition|Jazyk a kognícia]]

__NOTOC__

Mathematics 1 - Introduction to Mathematical Reasoning

2015-09-21T20:19:00Z

Komara: Created page with "{{Predmet | name = Matematika (1) - Úvod do matematického myslenia | code = 1-AIN-121 | prerequisites = žiadne | semester = Zimný | year = 1 | credits = 8 |..."

{{Predmet
| name = Matematika (1) - Úvod do matematického myslenia
| code = 1-AIN-121
| prerequisites = žiadne
| semester = Zimný
| year = 1
| credits = 8
| form = P - prednáška (2), C - cvičenie (2), K - malá prednáška (2)
| evaluation = 50/50
| webpage = http://dai.fmph.uniba.sk/courses/mat/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = Prednáška poskytne študentom matematické základy nevyhnutné pre štúdium informatiky. Študenti si zároveň osvoja matematickú kultúru, spôsob myslenia a vyjadrovania, ako aj metódy dôkazov.
| offered_in = Povinný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = Toto je jeden z ťažších predmetov, ktorý väčšinou istá časť študentov nezvládne, preto: venujte prosím dostatok času príprave!
}}

State examinations for Bachelor program in Applied Informatics/sk

2015-04-24T09:33:02Z

Komara:

= Štátne záverečné skúšky, študijný odbor 9.2.9. aplikovaná informatika, bakalárske štúdium =

'''Garant:''' Doc. RNDr. Mária Markošová, PhD. 
''markosova [[Image:zavinac.gif|@]] ii.fmph.uniba.sk''

'''Oznamujem študentom, že augustový termín štátnych skúšok je výlučne opravným termínom a nie je možné sa naň prihlásiť ako na prvý termín. Tento postup bol zvolený po dohode s pani študijnou prodekankou.'''

== Úvodné poznámky ==

Štátne skúšky sa konajú z '''povinných''' predmetov bakalárskeho štúdia odboru '''Aplikovaná informatika''' a majú za úlohu zistiť, nakoľko študent zodpovedá profilu absolventa bakalárskeho štúdia. Štátna skúška pozostáva z dvoch častí (sylaby k bakalárskym štátniciam ostávajú v platnosti):

* obhajoba bakalárskej práce - [[Ako pripravit prezentaciu pre obhajobu prace|odporúčania]]
* skúška z predmetu štátnej záverečnej skúšky Aplikovaná informatika.

Štátna skúška bude '''26.6.''' až '''27.6.2013''' na Katedre aplikovanej informatiky (miestnosť a čas budú upresenné neskôr). Prezentácia bakalárskej práce trvá '''15 minút''' vrátane diskusie, ciže 10-12 minút na prejav. Dodržanie času bude tiež jednou zložkou hodnotenia na obhajobe.

Študenti si musia zabezpečiť '''vlastný notebook''', na ktorom budú prezentovať svoje bakalárske práce.

''Tí, čo si dávaju prihlášku na bakalárske štátnice, mali by v nej explicitne uviesť, že chcú aj obhajovať bakalársku prácu. Tí, ktorí už prihlášku dali a neuviedli explicitne, že idú aj obhajovať bakalárku, tak nemusia dodatočne urobiť. Len v prípade, ze NEJDÚ obhajovať, nech to zahlásia na študijnom oddelení.''

== Obsah štátnej záverečnej skúšky ==

Vyberajú sa dve otázky: jedna z oblasti matematiky, druhá z oblasti programovania. Každá otázka (matematika, programovanie) pozostáva z dvoch podotázok.


'''Matematika I (Analýza)'''

# Funkcie reálnej premennej: reálne čísla, funkcia reálnej premennej ako zobrazenie R —> R, definičný obor a obor hodnôt, graf funkcie; pojem zloženej a inverznej funkcie; elementárne funkcie (mocnina, polynóm, racionálna funkcia, odmocnina, exponenciálna funkcia a logaritmus, goniometrické a cyklometrické funkcie).
# Limita číselnej postupnosti: pojem limity postupnosti, vlastná a nevlastná limita, základné vlastnosti, pojem číselného radu a jeho súčtu, absolútna a neabsolútna konvergencia, d'Alambertovo a Cauchyho kritérium konvergencie.
# Limita funkcie (vlastná a nevlastná limita, limita v nevlastných bodoch); spojitost funkcie; mocninné rady, polomer konvergencie, mocninné rozvoje niektorých elementárnych funkcií (exponenciálna funkcia, sin x, cos x).
# Pojem derivácie funkcie, geometrický význam derivácie; základné vlastnosti derivácií (lineárna kombinácia funkcií, súčin a podiel funkcií, zložená funkcia); derivácie elementárnych funkcií; l'Hospitalovo pravidlo.
# Pojem neurčitého integrálu a primitívna funkcia, primitívne funkcie k niektorým elementárnym funkciám, základné pravidlá integrovania, substitučná metóda a metóda per-partes; určitý integrál a jeho geometrický význam.

'''Matematika II (Algebra a geometria)'''

# Priestory R^2 a R^3: kartézske súradnice, Euklidovská vzdialenosť (metrika); priamky a roviny; polárne a sférické súradnice. Skalárny súčin jeho vlastnosti, vektorový súčin v R^3, uhol medzi priamkami a rovinami, vzdialenosť bodu od priamky a roviny.
# Vektorové priestory, lineárna nezávislosť, dimenzia, báza; skalárny súčin, norma, vzdialenosť, metrika, ortogonálna báza; lineárne transformácie; ilustrácia na priestoroch R^2 a R^3.
# Pojem (reálnej alebo komplexnej) matice, lineárne kombinácie, súčin matíc, transponovaná matica, hodnosť matice; determinant štvorcovej 2x2 a 3x3 matice; vlastnosti determinatov, výpočet determinantov úpravou na triangulárny tvar; inverzná matica a jej výpočet.
# Sústavy lineárnych rovníc, maticový zápis, homogénne a nehomegénne sústavy; Cramerovo pravidlo pre riešenie n rovníc pre n neznámych; všeobecné sústavy m rovníc pre n neznámych, metódy riešenia a existencia riešení.

'''Diskrétna matematika'''

# Typy dôkazov. Priamy a nepriamy dôkaz. Dôkaz sporom. Matematická indukcia.
# Základné enumeračné pravidlá: pravidlo súčtu a súčinu. Variácie bez a s opakovaním. Odvodenie počtu.
# Permutácie bez a s opakovaním. Odvodenie počtu. Multinomická veta.
# Kombinácie bez a s opakovaním. Odvodenie počtu. Usporiadané partície čísel.
# Binomické koeficienty. Ich základné vlastnosti. Pascalova formula a Pascalov trojuholník. Binomická veta.
# Princíp zapojenia a vypojenia. Problém šatniarky: formulácia a riešenie.
# Prirodzené a celé čísla. Neúplný podiel a zvyšok po delení. Najväčší spoločný deliteľ. Euklidov algoritmus.
# Prvočísla a zložené čísla. Základné vlastnosti prvočísel. Rozklad čísla na prvočinitele. Základná veta aritmetiky.
# Vybrané číselné postupnosti: aritmetická a geometrická postupnosť, Fibonacciho čísla. Ich základné vlastnosti. Súčet prvých n členov postupnosti.
# Rekurentné vzťahy. Lineárne homogénne rekurentné vzťahy s konštantnými koeficientami. Prípady rôznych a rovnakých reálnych koreňov.
# Množiny. Paradoxy teórie množín. Základné vzťahy a operácie. Potenčná množina. Karteziánsky súčin.
# Binárne relácie. Maticová a grafická reprezentácia relácie. Skladanie relácií. Opačná (inverzná) relácia. Obraz a vzor množiny v relácii. Jednoznačné a všade definované relácie.
# Relácie na množine. Základné vlastnosti relácií na množine. Reflexivita a ireflexivita. Symetria, antisymetria a asymetria. Tranzitivita.
# Relácia ekvivalencie a rozklad množiny. Ich vzájomný vzťah. Systém zvyškových tried podľa modulu.
# Čiastočné a lineárne usporiadania. Hasseho diagram usporiadania. Minimálny a maximálny prvok. Najmenší a najväčší prvok. Supremum a infimum. Zväzy.
# Zobrazenia. Zúženie a rozšírenie zobrazenia. Zložené zobrazenie. Inverzné zobrazenie. Obraz a vzor množiny v zobrazení.
# Injektívne, surjektívne a bijektívne zobrazenia.

'''Algoritmy a dátové štruktúry'''

# Efektívnosť reprezentácie množín (kritériá efektívnosti, porovnanie efektívnosti operácií): bitový vektor, pole, spájaný zoznam; binárny vyhľadávací strom; vyvážené stromy
# Vyhľadávanie informácií v tabuľkách: sekvenčné a binárne vyhľadávanie; hašovanie otvorené a zatvorené, hašovacie funkcie, riešenie kolízií; porovnanie zložitosti operácií
# Porovnanie triediacich algoritmov: popis niektorých triediacich algoritmov, napr. merge-sort, quick-sort, heap-sort; zložitosť popísaných algoritmov; odhady zložitosti optimálneho algoritmu triediaceho porovnávaním
# Dátové štruktúry pre množiny: disjunktné množiny s operáciami UNION a FIND; viacrozmerné množiny - dotaz na úplnú zhodu, dotaz na čiastočnú zhodu; reprezentácia vzťahov typu mnoho-mnoho – multilist

'''Programovanie'''

# Triedy, ukrývanie implementácie, dedenie, virtuálne dedenie, typy konštruktorov, deštruktory, príklady v Free Pascal, C++ alebo Java.
# Abstraktný dátový typ a jeho implementácia triedou, príklady v Free Pascal, C++ alebo Java.
# Parametrický polymorfizmus, preťažovanie, preťažovanie operátorov, príklady v Free Pascal, C++ alebo Java.
# Šablóny, typy šablón, kontajnery, kolekcie, príklady v Free Pascal, C++ alebo Java.
# Smerníky, smerníková aritmetika, dynamická alokácia pamäti, smerníky na smerníky a na funkcie. Príklady v Free Pascal alebo C++.
# Procesy a vlákna (thready), konkurentné programovanie, spôsoby komunikácie a synchronizácie procesov, kritické oblasti, semafory a príklad v konkrétnom jazyku.
# Ošetrovanie chýb, assert, výnimky, testy, a príklad v Free Pascal, C++ alebo Java.
# Lineárne dátové štruktúry (zoznam, front, prioritný front), príklad ich implementácie pomocou dynamických dátových štruktúr v jazyku Free Pascal, C++ alebo Java.
# Spôsoby prehľadávania stavového priestoru, do hĺbky a do šírky, backtracking. Príklad v jazyku Free Pascal, C++ alebo Java.
# Tvorba informačných systémov - modely vývoja softvéru, fázy vývoja - špecifikácia, návrh, integrácia, testovanie, údržba, Ganttov diagram, UML, návrhové vzory.

'''Úvod do teoretickej informatiky'''
# Výpočtový model, základné charakteristiky. Konečný automat, Turingov stroj, porovnanie.
# Determinizmus vs. netereminizmus (ako sa definuje na konečných automatoch a TS). Praktické dôsledky na uvedených modeloch.
# Dôkazy neriešiteľnosti problému v danom výpočtovom modeli (konečný automat, TS.)

'''Grafické systémy, vizualizácia a multimédiá'''

# Referenčný model počítačovej grafiky. Úloha grafického systému v ňom. Rozhrania medzi súčasťami referenčného modelu a význam pre implementáciu.
# Geometrický príestor scény, priestor obrazovky. Súradnicové systémy. Transformácie na objektoch alebo medzi súradnicovými systémami. Maticová reprezentácia.
# Zobrazovací kanál (rendering pipeline). Rasterizácia, textúrovanie, antialiasing.
# Výpočet osvetlenia, viditeľnosti a tieňov. Príklady realtime a offline algoritmov.
# Typy multimédií, kódovanie a kompresia. Príklady postupov a formátov na kódovanie obrazu, zvuku, animácie.

Doporučená literatúra z počítačovej grafiky:
* Ružický, E., Ferko, A. : Počítačová grafika a spracovanie obrazu
* Žára, J. a kolektív : Moderní počítačová grafika
* vlastné poznámky z prednášok

Súbor:Komara.png

2015-03-01T17:36:16Z

Komara:

Jan Komara/sk

2015-03-01T17:35:53Z

Komara:

{{Osoba
| fullname = Ing. Ján Komara, PhD.
| caption = Ján Komara
| image = komara.png
| section = Oddelenie deklaratívneho programovania
| position = učiteľ
| phone = (+421 2 602 95) 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Výučba ===
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=sk Teória vypočítateľnosti pre programátorov]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]

=== Výskum ===
* matematická logika, formálna aritmetika
* teória rekurzívnych funkcií, teória vypočítateľnosti
* teória a prax deklaratívnych programovacích jazykov
* dokazovanie vlastností, špecifikácia a verifikácia programov

=== Publikácie ===
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Introduction to Declarative Programming/en

2012-03-02T11:58:31Z

Komara:

{{Course
| name = Introduction to Declarative Programming
| code = 1-AIN-505
| prerequisites = none
| semester = Summer
| year = 1
| credits = 4
| form = P - practicals (1), C - course (2)
| evaluation = 60/40
| webpage = http://dai.fmph.uniba.sk/courses/udp
| teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| email = udp[[Image:zavinac.gif|@]]lists.dai.fmph.uniba.sk
| homepage = http://dai.fmph.uniba.sk/courses/udp
| description = The aim is to present computer programming as a mathematical discipline where the definition of programs are definitions of computable functions over the domain of natural numbers. Data structures are coded as number in a natural style of LISP. The course has computer labs in the programming and verification system CL.
| offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
| recommendations = none
}}

Introduction to Declarative Programming/sk

2012-03-02T11:58:04Z

Komara:

{{Predmet
| name = Úvod do deklaratívneho programovania
| code = 1-AIN-505
| prerequisites = žiadne
| semester = Letný
| year = 1
| credits = 4
| form = C - cvičenie (1), K - kurz (2)
| evaluation = 60/40
| webpage = http://dai.fmph.uniba.sk/courses/udp
| teacher = [[Jan Kluka|Mgr. Ján Kľuka, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| email = udp[[Image:zavinac.gif|@]]lists.dai.fmph.uniba.sk
| homepage = http://dai.fmph.uniba.sk/courses/udp
| description = Oboznámiť sa so základnými technikami a dátovými štruktúrami deklaratívnej paradigmy programovania, použiteľnými vo väčšine deklaratívnych jazykov (LISP, ML, Haskell, Prolog). Získať iný pohľad na programovanie ako v imperatívnej objektovoorientovanej paradigme.
| offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = žiadne
}}

State examinations for Bachelor program in Applied Informatics/sk

2012-03-02T11:56:17Z

Komara:

= Štátne záverečné skúšky, študijný odbor 9.2.9. aplikovaná informatika, bakalárske štúdium =

'''Garant:''' Doc. RNDr. Mária Markošová, PhD. 
''markosova [[Image:zavinac.gif|@]] ii.fmph.uniba.sk''

== Úvodné poznámky ==

Štátne skúšky sa konajú z '''povinných''' predmetov bakalárskeho štúdia odboru '''Aplikovaná informatika''' a majú za úlohu zistiť, nakoľko študent zodpovedá profilu absolventa bakalárskeho štúdia. Štátna skúška pozostáva z dvoch častí (sylaby k bakalárskym štátniciam ostávajú v platnosti):

* obhajoba bakalárskej práce
* skúška z predmetu štátnej záverečnej skúšky Aplikovaná informatika.

Štátna skúška bude '''28.6.''' až '''29.6.2011''' na Katedre aplikovanej informatiky (miestnosť a čas budú upresenné neskôr). Prezentácia bakalárskej práce trvá '''15 minút''' vrátane diskusie, ciže 10-12 minút na prejav. Dodržanie času bude tiež jednou zložkou hodnotenia na obhajobe.

Študenti si musia zabezpečiť '''vlastný notebook''', na ktorom budú prezentovať svoje bakalárske práce.

''Tí, čo si dávaju prihlášku na bakalárske štátnice, mali by v nej explicitne uviesť, že chcú aj obhajovať bakalársku prácu. Tí, ktorí už prihlášku dali a neuviedli explicitne, že idú aj obhajovať bakalárku, tak nemusia dodatočne urobiť. Len v prípade, ze NEJDÚ obhajovať, nech to zahlásia na študijnom oddelení.''

== Obsah štátnej záverečnej skúšky ==

Vyberajú sa dve otázky: jedna z oblasti matematiky, druhá z oblasti programovania. Každá otázka (matematika, programovanie) pozostáva z dvoch podotázok.


'''Matematika I (Analýza)'''

# Funkcie reálnej premennej: reálne čísla, funkcia reálnej premennej ako zobrazenie R —> R, definičný obor a obor hodnôt, graf funkcie; pojem zloženej a inverznej funkcie; elementárne funkcie (mocnina, polynóm, racionálna funkcia, odmocnina, exponenciálna funkcia a logaritmus, goniometrické a cyklometrické funkcie).
# Limita číselnej postupnosti: pojem limity postupnosti, vlastná a nevlastná limita, základné vlastnosti, pojem číselného radu a jeho súčtu, absolútna a neabsolútna konvergencia, d'Alambertovo a Cauchyho kritérium konvergencie.
# Limita funkcie (vlastná a nevlastná limita, limita v nevlastných bodoch); spojitost funkcie; mocninné rady, polomer konvergencie, mocninné rozvoje niektorých elementárnych funkcií (exponenciálna funkcia, sin x, cos x).
# Pojem derivácie funkcie, geometrický význam derivácie; základné vlastnosti derivácií (lineárna kombinácia funkcií, súčin a podiel funkcií, zložená funkcia); derivácie elementárnych funkcií; l'Hospitalovo pravidlo.
# Pojem neurčitého integrálu a primitívna funkcia, primitívne funkcie k niektorým elementárnym funkciám, základné pravidlá integrovania, substitučná metóda a metóda per-partes; určitý integrál a jeho geometrický význam.

'''Matematika II (Algebra a geometria)'''

# Priestory R^2 a R^3: kartézske súradnice, Euklidovská vzdialenosť (metrika); priamky a roviny; polárne a sférické súradnice. Skalárny súčin jeho vlastnosti, vektorový súčin v R^3, uhol medzi priamkami a rovinami, vzdialenosť bodu od priamky a roviny.
# Vektorové priestory, lineárna nezávislosť, dimenzia, báza; skalárny súčin, norma, vzdialenosť, metrika, ortogonálna báza; lineárne transformácie; ilustrácia na priestoroch R^2 a R^3.
# Pojem (reálnej alebo komplexnej) matice, lineárne kombinácie, súčin matíc, transponovaná matica, hodnosť matice; determinant štvorcovej 2x2 a 3x3 matice; vlastnosti determinatov, výpočet determinantov úpravou na triangulárny tvar; inverzná matica a jej výpočet.
# Sústavy lineárnych rovníc, maticový zápis, homogénne a nehomegénne sústavy; Cramerovo pravidlo pre riešenie n rovníc pre n neznámych; všeobecné sústavy m rovníc pre n neznámych, metódy riešenia a existencia riešení.

'''Diskrétna matematika'''

# Typy dôkazov. Priamy a nepriamy dôkaz. Dôkaz sporom. Matematická indukcia.
# Základné enumeračné pravidlá: pravidlo súčtu a súčinu. Variácie bez a s opakovaním. Odvodenie počtu.
# Permutácie bez a s opakovaním. Odvodenie počtu. Multinomická veta.
# Kombinácie bez a s opakovaním. Odvodenie počtu. Usporiadané partície čísel.
# Binomické koeficienty. Ich základné vlastnosti. Pascalova formula a Pascalov trojuholník. Binomická veta.
# Princíp zapojenia a vypojenia. Problém šatniarky: formulácia a riešenie.
# Prirodzené a celé čísla. Neúplný podiel a zvyšok po delení. Najväčší spoločný deliteľ. Euklidov algoritmus. Lineárne diofantické rovnice.
# Prvočísla a zložené čísla. Základné vlastnosti prvočísel. Rozklad čísla na prvočinitele. Základná veta aritmetiky.
# Vybrané číselné postupnosti: aritmetická a geometrická postupnosť, Fibonacciho čísla. Ich základné vlastnosti. Súčet prvých n členov postupnosti.
# Rekurentné vzťahy. Lineárne homogénne rekurentné vzťahy s konštantnými koeficientami. Prípady rôznych a rovnakých reálnych koreňov.
# Množiny. Paradoxy teórie množín. Základné vzťahy a operácie. Potenčná množina. Karteziánsky súčin.
# Binárne relácie. Maticová a grafická reprezentácia relácie. Skladanie relácií. Opačná (inverzná) relácia. Obraz a vzor množiny v relácii. Jednoznačné a všade definované relácie.
# Relácie na množine. Základné vlastnosti relácií na množine. Reflexivita a ireflexivita. Symetria, antisymetria a asymetria. Tranzitivita.
# Relácia ekvivalencie a rozklad množiny. Ich vzájomný vzťah. Systém zvyškových tried podľa modulu.
# Čiastočné a lineárne usporiadania. Hasseho diagram usporiadania. Minimálny a maximálny prvok. Najmenší a najväčší prvok.
# Zobrazenia. Zúženie a rozšírenie zobrazenia. Zložené zobrazenie. Inverzné zobrazenie. Obraz a vzor množiny v zobrazení.
# Injektívne, surjektívne a bijektívne zobrazenia.

'''Algoritmy a dátové štruktúry'''

# Efektívnosť reprezentácie množín (kritériá efektívnosti, porovnanie efektívnosti operácií)
#* bitový vektor, pole, spájaný zoznam
#* binárny vyhľadávací strom
#* vyvážené stromy.
# Vyhľadávanie informácií v tabuľkách
#* sekvenčné a binárne vyhľadávanie
#* hašovanie otvorené a zatvorené, hašovacie funkcie, riešenie kolízií
#* porovnanie zložitosti operácií.
# Porovnanie triediacich algoritmov
#* popis niektorých triediacich algoritmov, napr. merge-sort, quick-sort, heap-sort
#* zložitosť popísaných algoritmov
#* odhady zložitosti optimálneho algoritmu triediaceho porovnávaním
# Dátové štruktúry pre množiny
#* disjunktné množiny s operáciami UNION a FIND
#* viacrozmerné množiny - dotaz na úplnú zhodu, dotaz na čiastočnú zhodu
#* reprezentácia vzťahov typu mnoho-mnoho – multilist.

'''Programovanie'''

# Triedy, ukrývanie implementácie, dedenie, virtuálne dedenie, typy konštruktorov, deštruktory, príklady v Free Pascal, C++ alebo Java.
# Abstraktný dátový typ a jeho implementácia triedou, príklady v Free Pascal, C++ alebo Java.
# Parametrický polymorfizmus, preťažovanie, preťažovanie operátorov, príklady v Free Pascal, C++ alebo Java.
# Šablóny, typy šablón, kontajnery, kolekcie, príklady v Free Pascal, C++ alebo Java.
# Smerníky, smerníková aritmetika, dynamická alokácia pamäti, smerníky na smerníky a na funkcie. Príklady v Free Pascal alebo C++.
# Procesy a vlákna (thready), konkurentné programovanie, spôsoby komunikácie a synchronizácie procesov, kritické oblasti, semafory a príklad v konkrétnom jazyku.
# Ošetrovanie chýb, assert, výnimky, testy, a príklad v Free Pascal, C++ alebo Java.
# Lineárne dátové štruktúry (zoznam, front, prioritný front), príklad ich implementácie pomocou dynamických dátových štruktúr v jazyku Free Pascal, C++ alebo Java.
# Spôsoby prehľadávania stavového priestoru, do hĺbky a do šírky, backtracking. Príklad v jazyku Free Pascal, C++ alebo Java.

'''Grafické systémy, vizualizácia a multimédiá'''

# Referenčný model počítačovej grafiky. Úloha grafického systému v ňom. Rozhrania medzi súčasťami referenčného modelu a význam pre implementáciu.
# Geometrický príestor scény, priestor obrazovky. Súradnicové systémy. Transformácie na objektoch alebo medzi súradnicovými systémami. Maticová reprezentácia.
# Zobrazovací kanál (rendering pipeline). Rasterizácia, textúrovanie, antialiasing.
# Výpočet osvetlenia, viditeľnosti a tieňov. Príklady realtime a offline algoritmov.
# Typy multimédií, kódovanie a kompresia. Príklady postupov a formátov na kódovanie obrazu, zvuku, animácie.

Doporučená literatúra z počítačovej grafiky:
* Ružický, E., Ferko, A. : Počítačová grafika a spracovanie obrazu
* Žára, J. a kolektív : Moderní počítačová grafika
* vlastné poznámky z prednášok

State examinations for Bachelor program in Applied Informatics/sk

2012-02-22T16:27:55Z

Komara:

= Štátne záverečné skúšky, študijný odbor 9.2.9. aplikovaná informatika, bakalárske štúdium =

'''Garant:''' Doc. RNDr. Mária Markošová, PhD. 
''markosova [[Image:zavinac.gif|@]] ii.fmph.uniba.sk''

== Úvodné poznámky ==

Štátne skúšky sa konajú z '''povinných''' predmetov bakalárskeho štúdia odboru '''Aplikovaná informatika''' a majú za úlohu zistiť, nakoľko študent zodpovedá profilu absolventa bakalárskeho štúdia. Štátna skúška pozostáva z dvoch častí (sylaby k bakalárskym štátniciam ostávajú v platnosti):

* obhajoba bakalárskej práce
* skúška z predmetu štátnej záverečnej skúšky Aplikovaná informatika.

Štátna skúška bude '''28.6.''' až '''29.6.2011''' na Katedre aplikovanej informatiky (miestnosť a čas budú upresenné neskôr). Prezentácia bakalárskej práce trvá '''15 minút''' vrátane diskusie, ciže 10-12 minút na prejav. Dodržanie času bude tiež jednou zložkou hodnotenia na obhajobe.

Študenti si musia zabezpečiť '''vlastný notebook''', na ktorom budú prezentovať svoje bakalárske práce.

''Tí, čo si dávaju prihlášku na bakalárske štátnice, mali by v nej explicitne uviesť, že chcú aj obhajovať bakalársku prácu. Tí, ktorí už prihlášku dali a neuviedli explicitne, že idú aj obhajovať bakalárku, tak nemusia dodatočne urobiť. Len v prípade, ze NEJDÚ obhajovať, nech to zahlásia na študijnom oddelení.''

== Obsah štátnej záverečnej skúšky ==

Vyberajú sa dve otázky: jedna z oblasti matematiky, druhá z oblasti programovania. Každá otázka (matematika, programovanie) pozostáva z dvoch podotázok.


'''Matematika I (Analýza)'''

# Funkcie reálnej premennej: reálne čísla, funkcia reálnej premennej ako zobrazenie R —> R, definičný obor a obor hodnôt, graf funkcie; pojem zloženej a inverznej funkcie; elementárne funkcie (mocnina, polynóm, racionálna funkcia, odmocnina, exponenciálna funkcia a logaritmus, goniometrické a cyklometrické funkcie).
# Limita číselnej postupnosti: pojem limity postupnosti, vlastná a nevlastná limita, základné vlastnosti, pojem číselného radu a jeho súčtu, absolútna a neabsolútna konvergencia, d'Alambertovo a Cauchyho kritérium konvergencie.
# Limita funkcie (vlastná a nevlastná limita, limita v nevlastných bodoch); spojitost funkcie; mocninné rady, polomer konvergencie, mocninné rozvoje niektorých elementárnych funkcií (exponenciálna funkcia, sin x, cos x).
# Pojem derivácie funkcie, geometrický význam derivácie; základné vlastnosti derivácií (lineárna kombinácia funkcií, súčin a podiel funkcií, zložená funkcia); derivácie elementárnych funkcií; l'Hospitalovo pravidlo.
# Pojem neurčitého integrálu a primitívna funkcia, primitívne funkcie k niektorým elementárnym funkciám, základné pravidlá integrovania, substitučná metóda a metóda per-partes; určitý integrál a jeho geometrický význam.

'''Matematika II (Algebra a geometria)'''

# Priestory R^2 a R^3: kartézske súradnice, Euklidovská vzdialenosť (metrika); priamky a roviny; polárne a sférické súradnice. Skalárny súčin jeho vlastnosti, vektorový súčin v R^3, uhol medzi priamkami a rovinami, vzdialenosť bodu od priamky a roviny.
# Vektorové priestory, lineárna nezávislosť, dimenzia, báza; skalárny súčin, norma, vzdialenosť, metrika, ortogonálna báza; lineárne transformácie; ilustrácia na priestoroch R^2 a R^3.
# Pojem (reálnej alebo komplexnej) matice, lineárne kombinácie, súčin matíc, transponovaná matica, hodnosť matice; determinant štvorcovej 2x2 a 3x3 matice; vlastnosti determinatov, výpočet determinantov úpravou na triangulárny tvar; inverzná matica a jej výpočet.
# Sústavy lineárnych rovníc, maticový zápis, homogénne a nehomegénne sústavy; Cramerovo pravidlo pre riešenie n rovníc pre n neznámych; všeobecné sústavy m rovníc pre n neznámych, metódy riešenia a existencia riešení.

'''Diskrétna matematika'''

# Typy dôkazov. Priamy a nepriamy dôkaz. Dôkaz sporom. Matematická indukcia.
# Základné enumeračné pravidlá: pravidlo súčtu a súčinu. Variácie bez a s opakovaním. Odvodenie počtu.
# Permutácie bez a s opakovaním. Odvodenie počtu. Multinomická veta.
# Kombinácie bez a s opakovaním. Odvodenie počtu. Usporiadané partície čísel.
# Binomické koeficienty. Ich základné vlastnosti. Pascalova formula a Pascalov trojuholník. Binomická veta.
# Princíp zapojenia a vypojenia. Problém šatniarky: formulácia a riešenie.
# Prirodzené a celé čísla. Neúplný podiel a zvyšok po delení. Najväčší spoločný deliteľ. Euklidov algoritmus. Lineárne diofantické rovnice.
# Prvočísla a zložené čísla. Základné vlastnosti prvočísel. Rozklad čísla na prvočinitele. Základná veta aritmetiky.
# Vybrané číselné postupnosti: aritmetická a geometrická postupnosť, Fibonacciho čísla. Ich základné vlastnosti. Súčet prvých n členov postupnosti.
# Rekurentné vzťahy. Lineárne homogénne rekurentné vzťahy s konštantnými koeficientami. Prípady rôznych a rovnakých reálnych koreňov.
# Množiny. Paradoxy teórie množín. Základné vzťahy a operácie. Potenčná množina. Karteziánsky súčin.
# Binárne relácie. Maticová a grafická reprezentácia relácie. Skladanie relácií. Inverzná relácia. Obraz a vzor množiny v relácií. Jednoznačné a všade definované relácie.
# Relácie na množine. Základné vlastnosti relácií na množine. Reflexivita a ireflexivita. Symetria, antisymetria a asymetria. Tranzitivita.
# Relácia ekvivalencie a rozklad množiny. Ich vzájomný vzťah. Systém zvyškových tried podľa modulu.
# Čiastočné a lineárne usporiadania. Hasseho diagram usporiadania. Minimálny a maximálny prvok. Najmenší a najväčší prvok.
# Zobrazenia. Zúženie a rozšírenie zobrazenia. Zložené zobrazenie. Inverzné zobrazenie. Obraz a vzor množiny v zobrazení.
# Injektívne, surjektívne a bijektívne zobrazenia.

'''Algoritmy a dátové štruktúry'''

# Efektívnosť reprezentácie množín (kritériá efektívnosti, porovnanie efektívnosti operácií)
#* bitový vektor, pole, spájaný zoznam
#* binárny vyhľadávací strom
#* vyvážené stromy.
# Vyhľadávanie informácií v tabuľkách
#* sekvenčné a binárne vyhľadávanie
#* hašovanie otvorené a zatvorené, hašovacie funkcie, riešenie kolízií
#* porovnanie zložitosti operácií.
# Porovnanie triediacich algoritmov
#* popis niektorých triediacich algoritmov, napr. merge-sort, quick-sort, heap-sort
#* zložitosť popísaných algoritmov
#* odhady zložitosti optimálneho algoritmu triediaceho porovnávaním
# Dátové štruktúry pre množiny
#* disjunktné množiny s operáciami UNION a FIND
#* viacrozmerné množiny - dotaz na úplnú zhodu, dotaz na čiastočnú zhodu
#* reprezentácia vzťahov typu mnoho-mnoho – multilist.

'''Programovanie'''

# Triedy, ukrývanie implementácie, dedenie, virtuálne dedenie, typy konštruktorov, deštruktory, príklady v Free Pascal, C++ alebo Java.
# Abstraktný dátový typ a jeho implementácia triedou, príklady v Free Pascal, C++ alebo Java.
# Parametrický polymorfizmus, preťažovanie, preťažovanie operátorov, príklady v Free Pascal, C++ alebo Java.
# Šablóny, typy šablón, kontajnery, kolekcie, príklady v Free Pascal, C++ alebo Java.
# Smerníky, smerníková aritmetika, dynamická alokácia pamäti, smerníky na smerníky a na funkcie. Príklady v Free Pascal alebo C++.
# Procesy a vlákna (thready), konkurentné programovanie, spôsoby komunikácie a synchronizácie procesov, kritické oblasti, semafory a príklad v konkrétnom jazyku.
# Ošetrovanie chýb, assert, výnimky, testy, a príklad v Free Pascal, C++ alebo Java.
# Lineárne dátové štruktúry (zoznam, front, prioritný front), príklad ich implementácie pomocou dynamických dátových štruktúr v jazyku Free Pascal, C++ alebo Java.
# Spôsoby prehľadávania stavového priestoru, do hĺbky a do šírky, backtracking. Príklad v jazyku Free Pascal, C++ alebo Java.

'''Grafické systémy, vizualizácia a multimédiá'''

# Referenčný model počítačovej grafiky. Úloha grafického systému v ňom. Rozhrania medzi súčasťami referenčného modelu a význam pre implementáciu.
# Geometrický príestor scény, priestor obrazovky. Súradnicové systémy. Transformácie na objektoch alebo medzi súradnicovými systémami. Maticová reprezentácia.
# Zobrazovací kanál (rendering pipeline). Rasterizácia, textúrovanie, antialiasing.
# Výpočet osvetlenia, viditeľnosti a tieňov. Príklady realtime a offline algoritmov.
# Typy multimédií, kódovanie a kompresia. Príklady postupov a formátov na kódovanie obrazu, zvuku, animácie.

Doporučená literatúra z počítačovej grafiky:
* Ružický, E., Ferko, A. : Počítačová grafika a spracovanie obrazu
* Žára, J. a kolektív : Moderní počítačová grafika
* vlastné poznámky z prednášok

State examinations for Bachelor program in Applied Informatics/sk

2012-02-22T16:21:46Z

Komara:

= Štátne záverečné skúšky, študijný odbor 9.2.9. aplikovaná informatika, bakalárske štúdium =

'''Garant:''' Doc. RNDr. Mária Markošová, PhD. 
''markosova [[Image:zavinac.gif|@]] ii.fmph.uniba.sk''

== Úvodné poznámky ==

Štátne skúšky sa konajú z '''povinných''' predmetov bakalárskeho štúdia odboru '''Aplikovaná informatika''' a majú za úlohu zistiť, nakoľko študent zodpovedá profilu absolventa bakalárskeho štúdia. Štátna skúška pozostáva z dvoch častí (sylaby k bakalárskym štátniciam ostávajú v platnosti):

* obhajoba bakalárskej práce
* skúška z predmetu štátnej záverečnej skúšky Aplikovaná informatika.

Štátna skúška bude '''28.6.''' až '''29.6.2011''' na Katedre aplikovanej informatiky (miestnosť a čas budú upresenné neskôr). Prezentácia bakalárskej práce trvá '''15 minút''' vrátane diskusie, ciže 10-12 minút na prejav. Dodržanie času bude tiež jednou zložkou hodnotenia na obhajobe.

Študenti si musia zabezpečiť '''vlastný notebook''', na ktorom budú prezentovať svoje bakalárske práce.

''Tí, čo si dávaju prihlášku na bakalárske štátnice, mali by v nej explicitne uviesť, že chcú aj obhajovať bakalársku prácu. Tí, ktorí už prihlášku dali a neuviedli explicitne, že idú aj obhajovať bakalárku, tak nemusia dodatočne urobiť. Len v prípade, ze NEJDÚ obhajovať, nech to zahlásia na študijnom oddelení.''

== Obsah štátnej záverečnej skúšky ==

Vyberajú sa dve otázky: jedna z oblasti matematiky, druhá z oblasti programovania. Každá otázka (matematika, programovanie) pozostáva z dvoch podotázok.


'''Matematika I (Analýza)'''

# Funkcie reálnej premennej: reálne čísla, funkcia reálnej premennej ako zobrazenie R —> R, definičný obor a obor hodnôt, graf funkcie; pojem zloženej a inverznej funkcie; elementárne funkcie (mocnina, polynóm, racionálna funkcia, odmocnina, exponenciálna funkcia a logaritmus, goniometrické a cyklometrické funkcie).
# Limita číselnej postupnosti: pojem limity postupnosti, vlastná a nevlastná limita, základné vlastnosti, pojem číselného radu a jeho súčtu, absolútna a neabsolútna konvergencia, d'Alambertovo a Cauchyho kritérium konvergencie.
# Limita funkcie (vlastná a nevlastná limita, limita v nevlastných bodoch); spojitost funkcie; mocninné rady, polomer konvergencie, mocninné rozvoje niektorých elementárnych funkcií (exponenciálna funkcia, sin x, cos x).
# Pojem derivácie funkcie, geometrický význam derivácie; základné vlastnosti derivácií (lineárna kombinácia funkcií, súčin a podiel funkcií, zložená funkcia); derivácie elementárnych funkcií; l'Hospitalovo pravidlo.
# Pojem neurčitého integrálu a primitívna funkcia, primitívne funkcie k niektorým elementárnym funkciám, základné pravidlá integrovania, substitučná metóda a metóda per-partes; určitý integrál a jeho geometrický význam.

'''Matematika II (Algebra a geometria)'''

# Priestory R^2 a R^3: kartézske súradnice, Euklidovská vzdialenosť (metrika); priamky a roviny; polárne a sférické súradnice. Skalárny súčin jeho vlastnosti, vektorový súčin v R^3, uhol medzi priamkami a rovinami, vzdialenosť bodu od priamky a roviny.
# Vektorové priestory, lineárna nezávislosť, dimenzia, báza; skalárny súčin, norma, vzdialenosť, metrika, ortogonálna báza; lineárne transformácie; ilustrácia na priestoroch R^2 a R^3.
# Pojem (reálnej alebo komplexnej) matice, lineárne kombinácie, súčin matíc, transponovaná matica, hodnosť matice; determinant štvorcovej 2x2 a 3x3 matice; vlastnosti determinatov, výpočet determinantov úpravou na triangulárny tvar; inverzná matica a jej výpočet.
# Sústavy lineárnych rovníc, maticový zápis, homogénne a nehomegénne sústavy; Cramerovo pravidlo pre riešenie n rovníc pre n neznámych; všeobecné sústavy m rovníc pre n neznámych, metódy riešenia a existencia riešení.

'''Diskrétna matematika'''

# Typy dôkazov. Priamy a nepriamy dôkaz. Dôkaz sporom. Matematická indukcia.
# Základné enumeračné pravidlá: pravidlo súčtu a súčinu. Variácie bez a s opakovaním. Odvodenie počtu.
# Permutácie bez a s opakovaním. Odvodenie počtu. Multinomická veta.
# Kombinácie bez a s opakovaním. Odvodenie počtu. Usporiadané partície čísel.
# Binomické koeficienty. Ich základné vlastnosti. Pascalova formula a Pascalov trojuholník. Binomická veta.
# Prirodzené a celé čísla. Neúplný podiel a zvyšok po delení. Najväčší spoločný deliteľ. Euklidov algoritmus. Lineárne diofantické rovnice.
# Prvočísla a zložené čísla. Základné vlastnosti prvočísel. Rozklad čísla na prvočinitele. Základná veta aritmetiky.
# Vybrané číselné postupnosti: aritmetická a geometrická postupnosť, Fibonacciho čísla. Ich základné vlastnosti. Súčet prvých n členov postupnosti.
# Rekurentné vzťahy. Lineárne homogénne rekurentné vzťahy s konštantnými koeficientami. Prípady rôznych a rovnakých reálnych koreňov.
# Množiny. Paradoxy teórie množín. Základné vzťahy a operácie. Potenčná množina. Karteziánsky súčin.
# Princíp zapojenia a vypojenia. Problém šatniarky: formulácia a riešenie.
# Binárne relácie. Maticová a grafická reprezentácia relácie. Skladanie relácií. Inverzná relácia. Obraz a vzor množiny v relácií. Jednoznačné a všade definované relácie.
# Relácie na množine. Základné vlastnosti relácií na množine. Reflexivita a ireflexivita. Symetria, antisymetria a asymetria. Tranzitivita.
# Relácia ekvivalencie a rozklad množiny. Ich vzájomný vzťah. Systém zvyškových tried podľa modulu.
# Čiastočné a lineárne usporiadania. Hasseho diagram usporiadania. Minimálny a maximálny prvok. Najmenší a najväčší prvok.
# Zobrazenia. Zúženie a rozšírenie zobrazenia. Zložené zobrazenie. Inverzné zobrazenie. Obraz a vzor množiny v zobrazení.
# Injektívne, surjektívne a bijektívne zobrazenia.

'''Algoritmy a dátové štruktúry'''

# Efektívnosť reprezentácie množín (kritériá efektívnosti, porovnanie efektívnosti operácií)
#* bitový vektor, pole, spájaný zoznam
#* binárny vyhľadávací strom
#* vyvážené stromy.
# Vyhľadávanie informácií v tabuľkách
#* sekvenčné a binárne vyhľadávanie
#* hašovanie otvorené a zatvorené, hašovacie funkcie, riešenie kolízií
#* porovnanie zložitosti operácií.
# Porovnanie triediacich algoritmov
#* popis niektorých triediacich algoritmov, napr. merge-sort, quick-sort, heap-sort
#* zložitosť popísaných algoritmov
#* odhady zložitosti optimálneho algoritmu triediaceho porovnávaním
# Dátové štruktúry pre množiny
#* disjunktné množiny s operáciami UNION a FIND
#* viacrozmerné množiny - dotaz na úplnú zhodu, dotaz na čiastočnú zhodu
#* reprezentácia vzťahov typu mnoho-mnoho – multilist.

'''Programovanie'''

# Triedy, ukrývanie implementácie, dedenie, virtuálne dedenie, typy konštruktorov, deštruktory, príklady v Free Pascal, C++ alebo Java.
# Abstraktný dátový typ a jeho implementácia triedou, príklady v Free Pascal, C++ alebo Java.
# Parametrický polymorfizmus, preťažovanie, preťažovanie operátorov, príklady v Free Pascal, C++ alebo Java.
# Šablóny, typy šablón, kontajnery, kolekcie, príklady v Free Pascal, C++ alebo Java.
# Smerníky, smerníková aritmetika, dynamická alokácia pamäti, smerníky na smerníky a na funkcie. Príklady v Free Pascal alebo C++.
# Procesy a vlákna (thready), konkurentné programovanie, spôsoby komunikácie a synchronizácie procesov, kritické oblasti, semafory a príklad v konkrétnom jazyku.
# Ošetrovanie chýb, assert, výnimky, testy, a príklad v Free Pascal, C++ alebo Java.
# Lineárne dátové štruktúry (zoznam, front, prioritný front), príklad ich implementácie pomocou dynamických dátových štruktúr v jazyku Free Pascal, C++ alebo Java.
# Spôsoby prehľadávania stavového priestoru, do hĺbky a do šírky, backtracking. Príklad v jazyku Free Pascal, C++ alebo Java.

'''Grafické systémy, vizualizácia a multimédiá'''

# Referenčný model počítačovej grafiky. Úloha grafického systému v ňom. Rozhrania medzi súčasťami referenčného modelu a význam pre implementáciu.
# Geometrický príestor scény, priestor obrazovky. Súradnicové systémy. Transformácie na objektoch alebo medzi súradnicovými systémami. Maticová reprezentácia.
# Zobrazovací kanál (rendering pipeline). Rasterizácia, textúrovanie, antialiasing.
# Výpočet osvetlenia, viditeľnosti a tieňov. Príklady realtime a offline algoritmov.
# Typy multimédií, kódovanie a kompresia. Príklady postupov a formátov na kódovanie obrazu, zvuku, animácie.

Doporučená literatúra z počítačovej grafiky:
* Ružický, E., Ferko, A. : Počítačová grafika a spracovanie obrazu
* Žára, J. a kolektív : Moderní počítačová grafika
* vlastné poznámky z prednášok

Jan Komara/en

2011-09-01T09:05:17Z

Komara:

{{Person
| fullname = Ing. Ján Komara, PhD.
| caption = Jan Komara
| image =
| section = Section of Declarative Programming
| position = teacher
| phone = +421 2 602 95 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Teaching ===
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
* 1-AIN-470 [[Specification and Verification of Programs]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=en Computability Theory for Programmers]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory]

=== Research ===
* mathematical logic, formal arithmetic
* recursion theory, theory of computability
* theory and practice of declarative programming languages
* theorem proving, specification and verification of programs

=== Publications ===
* thesis [http://ii.fmph.uniba.sk/~komara/online/thesis/ Specification and Verification of Programs in Peano Arithmetic]
* see [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010060420545403018&skin=epc&lng=en&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=komara&scanu1=1003&elementcount=1&t1=komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal of Comenius University Library]
* see also [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Jan Komara/sk

2011-09-01T08:58:38Z

Komara:

{{Osoba
| fullname = Ing. Ján Komara, PhD.
| caption = Ján Komara
| image =
| section = Oddelenie deklaratívneho programovania
| position = učiteľ
| phone = (+421 2 602 95) 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Výučba ===
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 2-AIN-130 [http://ii.fmph.uniba.sk/cl/view/courses/2-AIN-130-vyp/?lang=sk Teória vypočítateľnosti pre programátorov]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]

=== Výskum ===
* matematická logika, formálna aritmetika
* teória rekurzívnych funkcií, teória vypočítateľnosti
* teória a prax deklaratívnych programovacích jazykov
* dokazovanie vlastností, špecifikácia a verifikácia programov

=== Publikácie ===
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

State examinations for Bachelor program in Applied Informatics/sk

2011-05-16T12:42:11Z

Komara:

= Štátne záverečné skúšky, študijný odbor 9.2.9. aplikovaná informatika, bakalárske štúdium =

'''Garant:''' Doc. RNDr. Mária Markošová, PhD. 
''markosova [[Image:zavinac.gif|@]] ii.fmph.uniba.sk''

== Úvodné poznámky ==

Štátne skúšky sa konajú z '''povinných''' predmetov bakalárskeho štúdia odboru '''Aplikovaná informatika''' a majú za úlohu zistiť, nakoľko študent zodpovedá profilu absolventa bakalárskeho štúdia. Štátna skúška pozostáva z dvoch častí (sylaby k bakalárskym štátniciam ostávajú v platnosti):

* obhajoba bakalárskej práce
* skúška z predmetu štátnej záverečnej skúšky Aplikovaná informatika.

Štátna skúška bude '''28.6.''' až '''29.6.2010''' na Katedre aplikovanej informatiky (miestnosť a čas budú upresenné neskôr). Prezentácia bakalárskej práce trvá '''15 minút''' vrátane diskusie, ciže 10-12 minút na prejav. Dodržanie času bude tiež jednou zložkou hodnotenia na obhajobe.

''Tí, čo si dávaju prihlášku na bakalárske štátnice, mali by v nej explicitne uviesť, že chcú aj obhajovať bakalársku prácu. Tí, ktorí už prihlášku dali a neuviedli explicitne, že idú aj obhajovať bakalárku, tak nemusia dodatočne urobiť. Len v prípade, ze NEJDÚ obhajovať, nech to zahlásia na študijnom oddelení.''

== Obsah štátnej záverečnej skúšky ==

Vyberajú sa dve otázky: jedna z oblasti matematiky, druhá z oblasti programovania. Každá otázka (matematika, programovanie) pozostáva z dvoch podotázok.


'''Matematika I (Analýza)'''

# Funkcie reálnej premennej: reálne čísla, funkcia reálnej premennej ako zobrazenie R —> R, definičný obor a obor hodnôt, graf funkcie; pojem zloženej a inverznej funkcie; elementárne funkcie (mocnina, polynóm, racionálna funkcia, odmocnina, exponenciálna funkcia a logaritmus, goniometrické a cyklometrické funkcie).
# Limita číselnej postupnosti: pojem limity postupnosti, vlastná a nevlastná limita, základné vlastnosti, pojem číselného radu a jeho súčtu, absolútna a neabsolútna konvergencia, d'Alambertovo a Cauchyho kritérium konvergencie.
# Limita funkcie (vlastná a nevlastná limita, limita v nevlastných bodoch); spojitost funkcie; mocninné rady, polomer konvergencie, mocninné rozvoje niektorých elementárnych funkcií (exponenciálna funkcia, sin x, cos x).
# Pojem derivácie funkcie, geometrický význam derivácie; základné vlastnosti derivácií (lineárna kombinácia funkcií, súčin a podiel funkcií, zložená funkcia); derivácie elementárnych funkcií; l'Hospitalovo pravidlo.
# Pojem neurčitého integrálu a primitívna funkcia, primitívne funkcie k niektorým elementárnym funkciám, základné pravidlá integrovania, substitučná metóda a metóda per-partes; určitý integrál a jeho geometrický význam.

'''Matematika II (Algebra a geometria)'''

# Priestory R^2 a R^3: kartézske súradnice, Euklidovská vzdialenosť (metrika); priamky a roviny; polárne a sférické súradnice. Skalárny súčin jeho vlastnosti, vektorový súčin v R^3, uhol medzi priamkami a rovinami, vzdialenosť bodu od priamky a roviny.
# Vektorové priestory, lineárna nezávislosť, dimenzia, báza; skalárny súčin, norma, vzdialenosť, metrika, ortogonálna báza; lineárne transformácie; ilustrácia na priestoroch R^2 a R^3.
# Pojem (reálnej alebo komplexnej) matice, lineárne kombinácie, súčin matíc, transponovaná matica, hodnosť matice; determinant štvorcovej 2x2 a 3x3 matice; vlastnosti determinatov, výpočet determinantov úpravou na triangulárny tvar; inverzná matica a jej výpočet.
# Sústavy lineárnych rovníc, maticový zápis, homogénne a nehomegénne sústavy; Cramerovo pravidlo pre riešenie n rovníc pre n neznámych; všeobecné sústavy m rovníc pre n neznámych, metódy riešenia a existencia riešení.

'''Diskrétna matematika'''

# '''Typy dôkazov.''' Priamy, nepriamy, sporom, matematická indukcia. '''Dirichletov princíp.''' '''Základné enumeračné pravidlá''' – pravidlo súčtu a súčinu.
# '''Množiny.''' Zakladné operácie, karteziánsky súčin. '''Binárne relácie.''' Reprezentácia pomocou matice a grafu binárnej relácie. Skladanie binárnych relácií.
# '''Relácie ekvivalencie a rozklady množín'''. Definície a vzájomný vzťah. Usporiadania a zobrazenia.
# '''Variácie bez a s opakovaním.''' Definície. Odvodenie počtu.
# '''Kombinácie bez opakovania.''' Binomická veta.
# '''Kombinácie s opakovaním, permutácie s opakovaním, polynomická veta.'''
# '''Princíp zapojenia a vypojenia.'''
# '''Eulerovské grafy.''' Charakterizácia. Predlžovací algoritmus na nájdenie eulerovského ťahu. '''Hamiltonovské grafy.''' Postačujúce podmienky pre existenciu hamiltonovskej kružnice v grafe.
# '''Vrcholová a hranová súvislosť grafu.''' '''Vrcholové a hranové farbenia grafu.'''
# '''Planárne grafy.'''

Doporučená literatúra z teórie grafov:
* Kvasnička, V., Pospíchal, J.: Algebra a diskrétna matematika, STU Press, Bratislava 2008.
* Matoušek, J., Nešetřil, J.: Kapitoly z diskrétnej matematiky, Nakladatelství Karolinum, Praha 2009 (4. vydanie).
* Znám, Š.: Kombinatorika a teória grafov, MFF UK, Bratislava 1981 (2. vydanie).

'''Algortimy a dátové štruktúry'''

# Efektívnosť reprezentácie množín (kritériá efektívnosti, porovnanie efektívnosti operácií)
#* bitový vektor
#* pole, spájaný zoznam
#* vyvážené a nevyvážené stromy.
# Vyhľadávanie informácií v tabuľkách
#* binárne vyhľadávanie
#* hašovanie otvorené a zatvorené, hašovacie funkcie, riešenie kolízií
#* porovnanie zložitosti operácií.
# Porovnanie triediacich algoritmov
#* napr. merge-sort, quick-sort, heap-sort
#* odhady zložitosti.
# Dátové štruktúry pre množiny
#* disjunktné množiny s operáciami UNION a FIND
#* viacrozmerné množiny
#* reprezentácia vzťahov typu mnoho-mnoho – multilist.

'''Programovanie'''

# Objektovo-orientované programovanie, princípy a základné pojmy, programovacie jazyky, príklady v Delphi alebo Java.
# Hierarchia, dedenie, ukrývanie a preťažovanie, vysvetlite základné pojmy a súvislosti, príklady v Delphi alebo Java.
# Abstraktný dátový typ a jeho implementácia triedou, príklady v Delphi alebo Java.
# Parametrický polymorfizmus, príklad, základné dátové štruktúry a ich implementácia v Jave.
# Procesy a vlákna (thready), konkurentné programovanie, hlavné tézy a príklad v Delphi alebo Java.
# Spôsoby komunikácie a synchronizácie procesov, kritické oblasti, semafóry a príklad v konkrétnom jazyku.
# Tvorba užívateľského rozhrania, základné vizuálne komponenty Delphi.
# Applety v Jave, základné princípy, obmedzenia a stavebné komponenty.
# Tvorba informačných systémov - modely vývoja softvéru, fázy vývoja - špecifikácia, návrh, integrácia, testovanie, údržba, Ganttov diagram, UML, návrhové vzory.

'''Grafické systémy, vizualizácia a multimédiá'''

# Referenčný model počítačovej grafiky. Úloha grafického systému v ňom. Rozhrania medzi súčasťami referenčného modelu a význam pre implementáciu. OpenGL ako príklad GS.
# Geometrický príestor scény, priestor obrazovky. Súradnicové systémy. Transformácie na objektoch alebo medzi súradnicovými systémami. Maticová reprezentácia.
# Zobrazovací kanál (rendering pipeline). Rasterizácia, textúrovanie, antialiasing.
# Výpočet osvetlenia, viditeľnosti a tieňov. Príklady realtime a offline algoritmov.
# Vizualizácia dát. Dátové typy a spôsoby ich vizualizácie.
# Typy multimédií, kódovanie a kompresia. Príklady postupov a formátov na kódovanie obrazu, zvuku, animácie.

<code><pre>Doplňujúce info:
-------------------------------------------------------------
From: Matej Novotny <mnovotny@sccg.sk>
Subject: Re: otazocka k bakalarskym statniciam

Za grafiku mozem povedat, ze o rozdieloch medzi statnicovymi otazkami a v
odprednasanym ucivom viem. Zmeny nastali ked som preberal predmet GSVM po
Andrejovi Ferkovi a budem tieto rozdiely pri skusani bakalarov
zohladnovat.

Matej Novotny.
-------------------------------------------------------------
From: Matej Novotny <mnovotny@sccg.sk>
Subject: Re: otazocka k bakalarskym statniciam

dohodnem sa s mojimi kolegami, ktori budu tento predmet skusat v inych
komisiach.

mn
-------------------------------------------------------------
</pre></code>

Introduction to Mathematical Logic for Programmers/sk

2011-02-20T19:13:24Z

Komara:

{{Predmet
| name = Úvod do matematickej logiky pre programátorov
| code = 1-AIN-625
| prerequisites = 1-AIN-505 (doporučený)
| semester = Zimný
| year = 2
| credits = 6
| form = P - prednáška (2), C - cvičenie (2)
| evaluation = 40/60
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=sk
| teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = Vybudovať matematické základy deklaratívnych programovacích jazykov. Programy sú definície rekurzívnych funkcií. Výpočtový model je založený na redukcií termov. Dátové štruktúry sa kódujú do prirodzených čísel. Problémy sa riešia na cvičeniach v programovacom jazyku CL.
| offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = žiadne
}}

Discrete Mathematics 1/sk

2011-02-20T11:46:07Z

Komara:

{{Predmet
| name = Diskrétna matematika (1)
| code = 1-AIN-120
| prerequisites = žiadne
| semester = Zimný
| year = 1
| credits = 6
| form = P - prednáška (2), C - cvičenie (2)
| evaluation = 50/50
| webpage = http://dai.fmph.uniba.sk/courses/dm/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = Prednáška poskytne študentom matematické základy nevyhnutné pre štúdium informatiky. Študenti si zároveň osvoja matematickú kultúru, spôsob myslenia a vyjadrovania, ako aj metódy dôkazov.
| offered_in = Povinný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = Toto je jeden z ťažších predmetov, ktorý väčšinou istá časť študentov nezvládne, preto: venujte prosím dostatok času príprave!
}}

Discrete Mathematics 2/en

2011-02-20T11:43:57Z

Komara:

{{Course
| name = Discrete Mathematics (2)
| code = 1-AIN-160
| prerequisites = 1-AIN-120 (Obligatory)
| semester = Summer
| year = 1
| credits = 6
| form = L - lecture (2), P - practicals (2)
| evaluation = 50/50
| webpage = http://dai.fmph.uniba.sk/courses/dm2/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = This lecture provides students with the mathematical foundations of computer science. Students will acquire the “mathematical culture” - basic mathematical language and way of thinking, as well as elementary proof methods.
| offered_in = Obligatory in [[Bachelor program in Applied Informatics]]
| recommendations = This is one of the difficult courses, where some percentage of the students usually fails, therefore: pay enough attention to preparation!
}}

Discrete Mathematics 2/sk

2011-02-20T11:42:21Z

Komara:

{{Predmet
| name = Diskrétna matematika (2)
| code = 1-AIN-160
| prerequisites = 1-AIN-120 (povinný)
| semester = Letný
| year = 1
| credits = 6
| form = P - prednáška (2), C - cvičenie (2)
| evaluation = 50/50
| webpage = http://dai.fmph.uniba.sk/courses/dm2/
| teacher = [[Tatiana Jajcayova|RNDr. Tatiana Jajcayová, PhD.]], [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = This lecture provides students with the mathematical foundations of computer science. Prednáška poskytne študentom matematické základy nevyhnutné pre štúdium informatiky. Študenti si zároveň osvoja matematickú kultúru, spôsob myslenia a vyjadrovania, ako aj metódy dôkazov.
| offered_in = Povinný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = Toto je jeden z ťažších predmetov, ktorý väčšinou istá časť študentov nezvládne, preto: venujte prosím dostatok času príprave!
}}

Discrete Mathematics 1/en

2011-02-20T11:37:24Z

Komara:

Specification and Verification of Programs/en

2011-02-20T11:33:05Z

Komara:

{{Course
| name = Specification and Verification of Programs
| code = 1-AIN-470
| prerequisites = either 1-AIN-505 or 1-INF-465 (recommended)
| semester = Summer
| year = 2
| credits = 6
| form = L - lecture (2), P - practicals (2)
| evaluation = 60/40
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/?lang=en
| teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = The formal system of the first-order arithmetic (Peano arithmetic) is used for the specification, implementation and verification of programs. The course has computer labs in the specification-verification system CL.
| offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
| recommendations = none
}}

Specification and Verification of Programs/sk

2011-02-20T11:32:32Z

Komara:

{{Predmet
| name = Špecifikácia a verifikácia programov
| code = 1-AIN-470
| prerequisites = 1-AIN-505 alebo 1-INF-465 (doporučené)
| semester = Letný
| year = 2
| credits = 6
| form = P - prednáška (2), C - cvičenie (2)
| evaluation = 60/40
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/?lang=sk
| teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
| description = Formálny systém prvorádovej aritmetiky (Peanova aritmetika) sa používa na špecifikáciu a verifikáciu programov. Problémy sa riešia na cvičeniach v špecifikačno-verifikačnom systéme CL.
| offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = žiadne
}}

Introduction to Mathematical Logic for Programmers/en

2011-02-20T11:31:56Z

Komara:

{{Course
| name = Introduction to Mathematical Logic for Programmers
| code = 1-AIN-625
| prerequisites = 1-AIN-505 (recommended)
| semester = Winter
| year = 2
| credits = 6
| form = L - lecture (2), P - practicals (2)
| evaluation = 40/60
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=en
| teacher = [[Jan Komara|Ing. Ján Komara, PhD.]]
| description =
To give mathematical foundations of declarative programming languages. Programs are definitions of recursive functions. Computational model is based on the reduction of terms. Data structures are coded into the domain of natural numbers. The course has computer labs in the programming system CL.
| offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
| recommendations = none
}}

Jan Komara/en

2011-02-20T11:31:06Z

Komara:

Specification and Verification of Programs/en

2011-02-20T11:25:39Z

Komara:

{{Course
| name = Specification and Verification of Programs
| code = 1-AIN-470
| prerequisites = either 1-AIN-505 or 1-INF-465 (recommended)
| semester = Summer
| year = 2
| credits = 6
| form = L - lecture (2), P - practicals (2)
| evaluation = 60/40
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/?lang=en
| teacher = [[Jan Komara|Ing. Ján Komara]]
| description = The formal system of the first-order arithmetic (Peano arithmetic) is used for the specification, implementation and verification of programs. The course has computer labs in the specification-verification system CL.
| offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
| recommendations = none
}}

Specification and Verification of Programs/sk

2011-02-20T11:25:17Z

Komara:

{{Predmet
| name = Špecifikácia a verifikácia programov
| code = 1-AIN-470
| prerequisites = 1-AIN-505 alebo 1-INF-465 (doporučené)
| semester = Letný
| year = 2
| credits = 6
| form = P - prednáška (2), C - cvičenie (2)
| evaluation = 60/40
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-470-svp/?lang=sk
| teacher = [[Jan Komara|Ing. Ján Komara]]
| description = Formálny systém prvorádovej aritmetiky (Peanova aritmetika) sa používa na špecifikáciu a verifikáciu programov. Problémy sa riešia na cvičeniach v špecifikačno-verifikačnom systéme CL.
| offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = žiadne
}}

Introduction to Mathematical Logic for Programmers/en

2011-02-20T11:23:24Z

Komara:

{{Course
| name = Introduction to Mathematical Logic for Programmers
| code = 1-AIN-625
| prerequisites = 1-AIN-505 (recommended)
| semester = Winter
| year = 2
| credits = 6
| form = L - lecture (2), P - practicals (2)
| evaluation = 40/60
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=en
| teacher = [[Jan Komara|Ing. Ján Komara]]
| description =
To give mathematical foundations of declarative programming languages. Programs are definitions of recursive functions. Computational model is based on the reduction of terms. Data structures are coded into the domain of natural numbers. The course has computer labs in the programming system CL.
| offered_in = Obligatory-optional in [[Bachelor program in Applied Informatics]]
| recommendations = none
}}

Introduction to Mathematical Logic for Programmers/sk

2011-02-20T11:23:00Z

Komara:

{{Predmet
| name = Úvod do matematickej logiky pre programátorov
| code = 1-AIN-625
| prerequisites = 1-AIN-505 (doporučený)
| semester = Zimný
| year = 2
| credits = 6
| form = P - prednáška (2), C - cvičenie (2)
| evaluation = 40/60
| webpage = http://ii.fmph.uniba.sk/cl/view/courses/1-AIN-625-lpp/?lang=sk
| teacher = [[Jan Komara|Ing. Ján Komara]]
| description = Vybudovať matematické základy deklaratívnych programovacích jazykov. Programy sú definície rekurzívnych funkcií. Výpočtový model je založený na redukcií termov. Dátové štruktúry sa kódujú do prirodzených čísel. Problémy sa riešia na cvičeniach v programovacom jazyku CL.
| offered_in = Povinne-voliteľný v [[Bachelor program in Applied Informatics|Bakálarskom programe Aplikovaná informatika]]
| recommendations = žiadne
}}

Jan Komara/en

2011-02-20T11:19:22Z

Komara:

{{Person
| fullname = Ing. Ján Komara, PhD.
| caption = Ján Komara
| image =
| section = Section of Declarative Programming
| position = teacher
| phone = +421 2 602 95 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Teaching ===
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
* 1-AIN-470 [[Specification and Verification of Programs]]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory]

=== Research ===
* mathematical logic, formal arithmetic
* recursion theory, theory of computability
* theory and practice of declarative programming languages
* theorem proving, specification and verification of programs

=== Publications ===
* thesis [http://ii.fmph.uniba.sk/~komara/online/thesis/ Specification and Verification of Programs in Peano Arithmetic]
* see [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010060420545403018&skin=epc&lng=en&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=komara&scanu1=1003&elementcount=1&t1=komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal of Comenius University Library]
* see also [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Jan Komara/sk

2011-02-20T11:18:37Z

Komara:

{{Osoba
| fullname = Ing. Ján Komara, PhD.
| caption = Ján Komara
| image =
| section = Oddelenie deklaratívneho programovania
| position = učiteľ
| phone = (+421 2 602 95) 727
| room = I-16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Výučba ===
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]

=== Výskum ===
* matematická logika, formálna aritmetika
* teória rekurzívnych funkcií, teória vypočítateľnosti
* teória a prax deklaratívnych programovacích jazykov
* dokazovanie vlastností, špecifikácia a verifikácia programov

=== Publikácie ===
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Jan Komara/en

2011-02-20T10:32:42Z

Komara:

{{Person
| fullname = Ing. Ján Komara
| caption = Ján Komara
| image =
| section = Section of Declarative Programming
| position = teacher
| phone = +421 2 602 95 727
| room = i16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Teaching ===
* 1-AIN-120 [[Discrete Mathematics 1|Discrete Mathematics (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Discrete Mathematics (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Introduction to Declarative Programming]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers]]
* 1-AIN-470 [[Specification and Verification of Programs]]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=en Declarative Programming]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=en Logic for Computer Science]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=en Computability Theory]

=== Research ===
* mathematical logic, formal arithmetic
* recursion theory, theory of computability
* theory and practice of declarative programming languages
* theorem proving, specification and verification of programs

=== Publications ===
* thesis [http://ii.fmph.uniba.sk/~komara/online/thesis/ Specification and Verification of Programs in Peano Arithmetic]
* see [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010060420545403018&skin=epc&lng=en&inst=consortium&conf=.%2fchameleon.conf&sourcescreen=INITREQ&scant1=komara&scanu1=1003&elementcount=1&t1=komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal of Comenius University Library]
* see also [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

Jan Komara/sk

2011-02-20T10:29:37Z

Komara:

{{Osoba
| fullname = Ing. Ján Komara
| caption = Ján Komara
| image =
| section = Oddelenie deklaratívneho programovania
| position = učiteľ
| phone = (+421 2 602 95) 727
| room = i16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Výučba ===
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-505 [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]

=== Výskum ===
* matematická logika, formálna aritmetika
* teória rekurzívnych funkcií, teória vypočítateľnosti
* teória a prax deklaratívnych programovacích jazykov
* dokazovanie vlastností, špecifikácia a verifikácia programov

=== Publikácie ===
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
}}

BakTema Heaps/sk

2010-06-16T17:30:40Z

Komara:

== Špecifikácia, implementácia a verifikácia programov operujúcich na haldách ==

(Zadanie bakalárskej práce, [[Topics for Bachelor Theses|naspäť na zoznam bakalárskych prác]])

[[Jan Komara|Ján Komara]]

'''Požiadavky:''' [[Introduction to Declarative Programming|Úvod do deklaratívneho programovania]], [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]

'''Študent:''' Dávid Kováč

BakTema Heaps/sk

2010-06-16T17:22:29Z

Komara: Created page with '== Špecifikácia, implementácia a verifikácia programov operujúcich na haldách =='

== Špecifikácia, implementácia a verifikácia programov operujúcich na haldách ==

Jan Komara/sk

2010-06-04T19:17:16Z

Komara:

{{Osoba
| fullname = Ing. Ján Komara
| caption = Ján Komara
| image =
| section = Oddelenie deklaratívneho programovania
| position = učiteľ
| phone = (+421 2 602 95) 727
| room = i16
| email = komara[[Image:zavinac.gif|@]]fmph.uniba.sk
| web = [http://ii.fmph.uniba.sk/~komara/ homepage]
| info =

=== Výučba ===
* 1-AIN-120 [[Discrete Mathematics 1|Diskrétna matematika (1)]]
* 1-AIN-160 [[Discrete Mathematics 2|Diskrétna matematika (2)]]
* 1-AIN-625 [[Introduction to Mathematical Logic for Programmers|Úvod do matematickej logiky pre programátorov]]
* 1-AIN-470 [[Specification and Verification of Programs|Špecifikácia a verifikácia programov]]
* 1-INF-465 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-465-dp/?lang=sk Deklaratívne programovanie]
* 1-INF-450 [http://ii.fmph.uniba.sk/cl/view/courses/1-INF-450-lpi/?lang=sk Logika pre informatikov]
* 2-INF-121 [http://ii.fmph.uniba.sk/cl/view/courses/2-INF-121-vyp/?lang=sk Teória vypočítateľnosti]

=== Výskum ===
* matematická logika, formálna aritmetika
* teória rekurzívnych funkcií, teória vypočítateľnosti
* teória a prax deklaratívnych programovacích jazykov
* dokazovanie vlastností, špecifikácia a verifikácia programov

=== Publikácie ===
* dizertačná práca [http://ii.fmph.uniba.sk/~komara/online/thesis/ Špecifikácia a verifikácia programov v Peanovej aritmetike]
* pozri [http://alis.uniba.sk:8000/cgi-bin/gw_49_3_8/chameleon?sessionid=2010040116113326631&skin=epc&lng=sk&inst=consortium&conf=.%2fchameleon.conf&host=158.195.4.49%2b9909%2bDEFAULT&sourcescreen=INITREQ&scant1=Komara&scanu1=1003&elementcount=1&t1=Komara&u1=1003&pos=1&itempos=1&rootsearch=SCAN&function=INITREQ&search=AUTHID&authid=87269&authidu=1003 iPortal Akademickej knižnice UK]
* pozri tiež [http://ii.fmph.uniba.sk/~komara/ homepage]
}}