Informatyka Plan Studiów

PROGRAM STUDIW NA KIERUNKU
INFORMATYKA
Studia stacjonarne pierwszego stopnia
Katedra Informatyki AGH
Krakw 2010
1. Czas trwania
Studia stacjonarne pierwszego stopnia na kierunku Informatyka rozpoczynaja si w semestrze zimo e wym i trwaja 7 semestrw.
2. Specjalnoci s
Dla stacjonarnych studiw pierwszego stopnia na kierunku Informatyka nie okrela si specjalnoci. s e s
3. Rekrutacja kandydatw na studia

Rekrutacja na studia pierwszego stopnia na kierunku informatyka odbywa si na oglnych zasadach e dotyczacych wszystkich kierunkw studiw pierwszego stopnia, ustalonych przez Rad Wydziau i za e twierdzonych w formie uchway przez Senat Akademii Grniczo-Hutniczej.
4. Zakres egzaminw przedmiotowych

Egzaminy z przedmiotw: Techniki i j zyki programowania 2, e Projektowanie systemw informatycznych 2, Technologie obiektowe 2, Teoria kompilacji 2, Teoria oblicze i zozonoci obliczeniowej 2, n s Technika mikroprocesorowa 2, Metody obliczeniowe w nauce i technice 2 obejmuja takze materia z przedmiotw o tej samej nazwie, oznaczonych cyfra 1, realizowanych we wczeniejszych semestrach. Szczegowe zakresy egzaminw przedmiotowych okrelone sa w zaaczos s nych programach przedmiotw.
5. Kwalikacja przedmiotw
Na studiach stacjonarnych pierwszego stopnia na kierunku Informatyka przedmioty maja charakter przedmiotw obowiazkowych i obieralnych. W semestrze sidmym student wybiera: 3 przedmioty obieralne z 6 zawartych w planie studiw (Blok A-F), 2 przedmioty obieralne z listy oferowanych przedmiotw w danym roku akademickim. Wszystkie pozostae przedmioty maja charakter obowiazkowy.
6. Prerekwizyty
W programie nauczania nie wyrznia si przedmiotw, ktrych studiowanie jest uwarunkowane e s wczeniejszym zaliczeniem innych przedmiotw. Jedynym wyjatkiem jest przemiot Pracownia projektowa 2, ktrego studiowanie jest uwarunkowane wczeniejszym zaliczeniem przemiotu Pracownia s projektowa 1. 2
7. Praktyka zawodowa
Na studiach pierwszego stopnia obowiazuje 4-tygodniowa praktyka zawodowa w okresie wakacji po szstym semestrze. Zaliczenie praktyki jest jednym z warunkw wpisu na sidmy semestr.
8. Praca dyplomowa oraz zakres i forma egzaminu dyplomowego

Praca dyplomowa ma posta projektu inzynierskiego, czyli udokumentowanego zespoowego przedc siwzi cia projektowego. Jest ona realizowana w ramach przedmiotw: Pracownia projektowa 1 w sze e stym semestrze oraz Pracownia projektowa 2 w sidmym semestrze. Za realizacj zespoowego projektu e inzynierskiego student uzyskuje 15 punktw (6 punktw za zaliczenie przedmiotu Pracownia projektowa 1, 9 punktw za zaliczenie przedmiotu Pracownia projektowa 2 ). Egzamin dyplomowy skada si z dwch cz sci: cz sci pisemnej zwanej dalej egzaminem kierune e e kowym oraz cz sci ustnej zwanej dalej prezentacja projektu inzynierskiego. e Egzamin kierunkowy ma form testu wielokrotnego wyboru. Z zakresu materiau obj tego zagadniee e niami opracowuje si zbir kilkuset pyta testowych. Spord tych pyta do przeprowadzenia egzaminu e n s n kierunkowego losuje si zestawy zawierajace 50 pyta . Egzamin kierunkowy jest zdawany w czasie e n ostatniego semestru i zimowej sesji egzaminacyjnej. Cz sc ustna egzaminu dyplomowego obejmuje prezentacj zespoowego projektu inzynierskiego e e oraz dyskusj nad projektem inzynierskim. e Jako ocen egzaminu dyplomowego przyjmuje si srednia wazona: 10% oceny opiekuna, 10% oceny e e recenzenta, 10% oceny prezentacji, 70% oceny z egzaminu kierunkowego.
9. Semestry kontrolne
s Ustala si semestry kontrolne i okrela dodatkowe wygania obowiazujace przy wpisie na te semestry, e jak podano w ponizszym zestawieniu: Semestr kontrolny Trzeci Piaty Sidmy Warunki wpisu na semestr kontrolny Zaliczenie przedmiotu Wst p do informatyki z semestru 1 e Zaliczenie wszystkich przedmiotw obowiazkowych z se mestrw 1 i 2 Zaliczenie wszystkich przedmiotw obowiazkowych z se mestrw 1-4 oraz zaliczenie praktyki zawodowej
10. Ocena koncowa

Ocen ko cowa na dyplomie ustala si jako srednia wazona w nast pujacy sposb: 60% to srednia e n e e ze studiw, 40% to ocena z egzaminu dyplomowego.
11. Szczegowy plan studiw

Szczegowy plan studiw opisuje tabela ponizej. Poszczeglne typy zaj c oznaczono nast pujaco: e e W wykad, C cwiczenia, L laboratorium. Ponadto, w kolumnie oznaczonej jako E, zaznaczono czy przedmiot ko czy si egzaminem. Liczb puktw ECTS podano w kolumnie oznaczonej jako p. n e e
Lp. Kat. Sub. Nazwa przedmiotu 1 O Wychowanie fizyczne 2 O Jzyk obcy 3 O Komunikacja i techniki zarzdzania 4 O Psychologia negocjacji 5 P Algebra 6 P Analiza matematyczna 1 7 P Analiza matematyczna 2 8 P Matematyka dyskretna 9 P Statystyka matematyczna 10 P Rwnania rniczkowe i rnicowe 11 P Logika matematyczna w informatyce 12 P Badania operacyjne 13 P Fizyka 1 14 P Fizyka 2 15 K Aspekty prawne informatyki 16 K Wstp do informatyki 17 K Algorytmy i struktury danych 18 K Techniki i jzyki programowania 1 19 K Techniki i jzyki programowania 2 20 K Obliczenia symboliczne 1 21 K Obliczenia symboliczne 2 22 K Teoria wspbienoci 23 K Podstawy baz danych 24 K Projektowanie systemw informatycznych 1 25 K Projektowanie systemw informatycznych 2 26 K Technologie obiektowe 1 27 K Technologie obiektowe 2 28 K Bazy danych 29 K Inynieria oprogramowania 30 K Wprowadzenie do systemu UNIX 31 K Systemy operacyjne 32 K Sieci komputerowe 33 K Systemy rozproszone 34 K Bezpieczestwo systemw komputerowych 35 K Teoria automatw i jzykw formalnych 36 K Teoria kompilacji 1 37 K Teoria kompilacji 2 38 K Teoria oblicze i zoonoci obliczeniowej 1 39 K Teoria oblicze i zoonoci obliczeniowej 2 40 K Podstawy elektrotechniki 41 K Podstawy elektroniki 42 K Asemblery i systemy wbudowane 43 K Technika cyfrowa 44 K Technika mikroprocesorowa 1 45 K Technika mikroprocesorowa 2 46 K Architektura komputerw 47 K Kryptografia 48 K Metody obliczeniowe w nauce i technice 1 49 K Metody obliczeniowe w nauce i technice 2 50 K Grafika komputerowa 51 K Metody sztucznej inteligencji 52 B A Programowanie systemowe 53 B B Technologie aplikacji internetowych 54 B C Systemy czasu rzeczywistego 55 B D Metody rozpoznawania obrazw 56 B E Geometria obliczeniowa 57 B F Systemy CAD/CAE 58 K Przedmiot obieralny 1 59 K Przedmiot obieralny 2 60 K Pracownia projektowa 1 61 K Pracownia projektowa 2 Liczba godzin w tygodniu / punkty ECTS
WC L E pWC L E pWC L E pWC L E pWC L E pWC L E pWC 2 0 1 0 1 0 3 1 3 1 3 1 3 E2 1 1 2 2 1 3 2 E6 3 2 E6 2 2 E6 2 2 E6 2 2 2 2 2E5 2 1 2 2 2 1 2 2 E5 2 2E6 2 1 2 2 E6 2 2 E6 2 1 1 2 2 2E6 1 1 2 1 1 2 2 2E6 2 2E5 1 1 2 1 1E5 2 1 2 2E6 1 1 2 2 2E4 1 1 2 2 2E5 2 2E6 2 2 2 2 1 2 2 1 E5 2 2 2 2 1E4 2 1 2 1 1E4 1 1 2 1 1 2 1 1 2 2 2E5 2 2 2 2E4 2 E2 1 1 2 2 1 2 1 2E6 2 1 2 2 2 2 2 2 2 2 1 1 2 6
28 30 27 30 29 30 27 30 28 30 28 30 25
LEp
2 2 2 2 2 2 2 1 1 2
4 4 4 4 4 4 4 2 2 9
30
Nazwa przedmiotu Prowadzacy przedmiot Kierunek Specjalnoc s Rodzaj zaj c, e liczba godzin WWW
Komunikacja i techniki zarzadzania Krzysztof Cetnarowicz Stopien Semestr Kategoria ECTS I 1 O 2
Informatyka Wykad 1, Cwiczenia 1, Laboratorium
Cel przedmiotu, uzyskiwane kompetencje

Celem wykadu jest zapoznanie suchaczy z metodami komunikacji interpersonalnej w pracy ustnej, pisemnej, a takze podstawowych metod zarzadzania grupa, grupowego podejmowania decyzji i rozwiazywania problemw.
Program wykadu
Denicja i modele komunikacji zawodowej, komunikacja w grupie, podstawowe wasnoci, sieci komunikas cyjne formalne i nieformalne polepszanie komunikacji w grupie. Powstawanie grupy w oparciu o napi cie e grupowe, organizacja grupy, przewodzenie w grupie, polepszanie komunikacji w grupie, poj cie kultury orgae nizacji. Zarzadzanie komunikacja w organizacji (grupie), problem mylenia grupowego (stadnego), problem s koniktw, rozwiazywanie koniktw, negocjacje. Podstawowe metody pracy w grupie, grupowe rozwiazywa nie problemw i podejmowanie decyzji, metoda mylenia reeksyjnego, metoda burzy mzgw. Organizacja s zebra , rodzaje zebra , przygotowanie zebrania, plan prowadzenia zebrania oparty na dzwonowym wykresie n n (E. J. Tropmann), techniki prowadzenia dyskusji. Przygotowanie efektywnego wystapienia, umiej tnoc prze e s konywania, plan wystapienia, realizacja wystapienia. Podstawy pisemnej komunikacji handlowej, podstawowa forma listu handlowego, umiej tnoc sprzedawania na przykadzie prezentacji wasnych mozliwoci, interview, e s s yciorys (CV). list motywacyjny z
Charakterystyka pozostaych zaj c e

Zaj cia laboratoryjne pozwalaja na cwiczenie umiej tnoci w zakresie samodzielnego wykorzystania technik e e s komunikacji i metod podejmowania decyzji, w szczeglnoci trzy zagadnienia do wyboru z ponizszej listy: s Przygotowanie efektywnego wystapienia na zadany temat oraz umiej tne poprowadzenie dyskusji. Przygoto e wanie efektywnego zebrania w celu rozwiazania problemu i podj cia odpowiedniej decyzji. Przygotowanie e i poprowadzenie zebrania burzy mzgw na zadany temat w celu rozwiazania problemu. Przygotowanie i poprowadzenie negocjacji w celu rozwiazania zaistniaego zadanego koniktu. Przygotowanie efektywnego wystapienia i umiej tnego przekonywania w czasie wystapienia i dyskusji. Przygotowanie poprawnego listu e handlowego wg. zadanego ukadu na zadany temat (np. listu motywacyjnego).
Bibliograa 1. Z. N cki, Komunikacja mi dzyludzka, Antykwa, Krakw 2000 e e 2. Z. N cki, Komunikacja niewerbalna, w: Z. N cki, Negocjacje w biznesie, Krakw 2005 e e 3. P. Thompson, Sposoby komunikacji interpersonalnej, Zysk i S-ka, Pozna 1998 n 4. Leathers Dale G. Komunikacja niewerbalna ( Successful Nonverbal Communication; Principles and Applications) Wydawnictwo Naukowe PWN, Warszawa, 2007 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe Ocena uzyskana z zaliczenia zaj c laboratoryjnych e Komunikacja w pracy, praca w grupie przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
Psychologia negocjacji Adrian Horzyk Stopien Semestr Kategoria ECTS I 7 O 1
Informatyka Wykad 2, Cwiczenia 1, Laboratorium http://home.agh.edu.pl/ horzyk/lectures/ahdydsnzs.html

Podstawowym celem jest nabycie praktycznych umiej tnoci prowadzenia negocjacji w oparciu o wiedz z e s e zakresu psychologii, socjologii i kognitywistyki oraz znajomoc rznych technik i sposobw negocjacyjnych s rozwijajac zarazem umiej tnoc ich rozpoznawania i reagowania na nie oraz logicznego mylenia i ich spraw e s s nego kojarzenia.
Program wykadu
Wykad przybliza caa gam zagadnie psychologicznych towarzyszacych negocjacjom od rozpoznawania e n potrzeb, interesw i stanowisk negocjacyjnych, przez umiej tnoc prowadzenia rozmowy w celu doprecyzowae s nia oczekiwa , wymaga i celw rozmwcy, rozpoznawania rznych strategii, stylw i technik negocjacyjnych, n n nych kryteriw oceny, do umiej tnoci dostosowania swojego rozpoznawania blefu i kamstwa, stosowanie rz e s stylu do wsprozmwcy i tworzenia strategii dostosowanych do niego i jego rzeczywistych potrzeb.Wykad tez wskazuje na kierunki rozwoju metodologii negocjacji, wpyw inteligencji i wiedzy, charakteru i osobowoci s negocjujacych stron na przebieg negocjacji. Na wykadzie omawiane sa rwniez niewerbalne wska niki prze z biegu negocjacji, blefu, kamstwa, akceptacji, odrzucenia, frustracji, gniewu, zakopotania, dodawania otuchy itp. Wybrane elementy negocjacji prezentowane sa na lmach i omawiane na przykadach.

W ramach cwicze demonstrowane sa rzne sytuacje negocjacyjne, w ktrych biora wszyscy aktywny udzia n tak, ze kazdy moze sprbowa odnale c si w wielu sytuacjach negocjacyjnych i praktycznie nauczy si z c z e c e nimi radzi . Prowadzone sa liczne dyskusje, jak rwniez prowadzacy zwraca uwag na zalety i niedociagni cia c e e poszczeglnych rozmw negocjacyjnych dajac mozliwoc uczestnikom spojrze na sytuacj z innej strony, s c e poprawi swj styl negocjacyjny i sprawdzi go po korekcie. Cwiczenia sa prowadzone z wykorzystaniem c c aktywnych technik i sprz tu multimedialnego dajac uczestnikom mozliwoc obejrzenia siebie i innych w e s rznych sytuacjach negocjacyjnych oraz umozliwi im spokojna psychoanaliz scenek negocjacyjnych. c e
Bibliograa 1. Jo-Ellan Dimitrius i Mark C. Mazzarella, Sztuka obserwacji, Sensus, Helion, Gliwice, 2008 2. Roger Fisher, William Ury, Bruce Patton, Dochodzac do TAK. Negocjowa bez poddawania si ., c e PWE, Warszawa, 2004 n 3. Paul Ekman, Kamstwo i jego wykrywanie w biznesie, polityce i maze stwie, PWN, Warszawa, 2006. 4. Jerzy Gut, Wojciech Haman, Doceni konikt. Od walki i manipulacji do wsppracy, Wydanie III, c OnePress, Helion, Gliwice, 2008. 5. Wojciech Haman, Jerzy Gut, Handlowanie to gra. Od namawiania i zebrania do zaspokojenia potrzeb klienta, OnePress, Helion, Gliwice, 2004.
Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe
przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
ocena uzyskana z zaliczenia cwicze n Negocjacje, charakter, inteligencja, rozpoznawanie potrzeb, niewerbalny j zyk ciaa e
Algebra Jakub Przybyo Stopien Semestr Kategoria ECTS I 1 P 6

Gwnym celem jest opanowanie podstaw algebry, a w szczeglnoci algebry liniowej (program wykadu zas mieszczony jest ponizej). Po uko czeniu kursu student zna i rozumie podstawowe poj cia z zakresu algebry n e oraz wasnoci poznanych narz dzi algebraicznych. Ponadto powinien opanowa , zarwno w teorii jak i w s e c praktyce, poj cie dowodu matematycznego. e
Program wykadu
Liczby zespolone - posta trygonometryczna, pierwiastkowanie, rozwiazywanie rwna . Relacje rwnowazc n noci i porzadku - elementy wyrznione zbioru uporzadkowanego. Struktury algebraiczne - dziaania, grupa, s s piercie , ciao. Przestrze wektorowa - podprzestrze wektorowa, liniowa niezaleznoc wektorw, baza przes n n n strzeni wektorowej. Odwzorowania liniowe - Kerf, Imf, wasnoci, izomorzm przestrzeni. Macierze - dzias ania na macierzach, reprezentacja macierzowa odwzorowania liniowego, macierze nieosobliwe, zmiana bazy przestrzeni, twierdzenie o macierzach odwzorowania liniowego w rznych bazach, rzad macierzy. Wyznacznik macierzy - metody obliczania, wyznacznik macierzy nieosobliwej, metody znajdowania macierzy odwrotnej. Ukady rwna liniowych - Ukad Cramera, Twierdzenie Kroneckera-Capelliego, Metoda Gaussa. Wartoci i n s wektory wasne odwzorowania liniowego (macierzy) - podprzestrzenie wasne, diagonalizacja macierzy. Przestrze aniczna - ukad wsprz dnych, prosta i paszczyzna. Przestrze euklidesowa E2, E3 - iloczyn skalarny, n e n wektorowy, mieszany, geometria analityczna w E3, powierzchnie stopnia 2-go.

W ramach cwicze utrwalenie i pene zrozumienie poznanego materiau na podstawie przygotowanych zestan ww zada . n
Bibliograa 1. Z. Furdzik, J. Maj-Kluskowa, A. Kulczyka, M. S kowska, Nowoczesna matematyka dla inzyniee rw, cz sc I, Algebra e 2. T. Jurlewicz, Z. Skoczylas, Algebra liniowa 1, Przykady i zadania 3. T. Jurlewicz, Z. Skoczylas, Algebra liniowa 2, Przykady i zadania 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E srednia (wazona) ocen z egzaminu i zaliczenia decydujace znaczenie ma ocena z egzaminu Algebra liniowa, przestrze wektorowa, macierz, wyznacznik, ukad n rwna , prosta, paszczyzna n
Analiza matematyczna 1 Janina Niedoba Stopien Semestr Kategoria ECTS I 1 P 6

Podstawowym celem jest opanowanie podstaw analizy matematycznej,oraz nabycie umiej tnoci posugiwania e s si literatura z zakresu nauk scisych. e
Program wykadu
Powtrzenie i uzupenienie wiadomoci o funkcjach <funkcja odwrotna,funkcje cyklometryczne>. Ciagi liczs bowe <granica, podstawowe twierdzenia,granica grna i granica dolna>. Rachunek rzniczkowy funkcji jednej zmiennej <granica i ciagoc funkcji ,wasnoci funkcji ciagych, pochodna denicja i wasnoci,twierdzenia s s s o wartoci sredniej,badanie przebiegu zmiennoci funkcji>. Rachunek cakowy funkcji jednej zmiennej <caka s s nieoznaczona metody cakowania, caka oznaczona Riemanna denicja ,podstawowe twierdzenia rachunku cakowego>. Elementy analizy funkcjonalnej <przestrze metryczna granica ciagu,zupenoc, granica i cian s s s goc funkcji, przestrze unormowana ,przestrze Banacha, ciagi funkcyjne - zbieznoc punktowa, zbieznoc s n n jednostajna>. Rachunek rzniczkowy funkcji wielu zmiennych <pochodne czastkowe,rzniczka,ekstrema lo kalne i war.>.

W ramach cwicze nabywanie umiej tnoci samodzielnego rozwiazywania zada , utrwalenie i stosowanie n e s n wiadomoci z wykadu. s
Bibliograa 1. W.Zakowski, G.Decewicz :Matematyka cz.I, Warszawa 2003 2. W.Zakowski, W.Koodziej: Matematyka cz.i II, WNT Warszawa 2003 3. G.M. Fichtenholz, Rachunek rzniczkowy i cakowy T.I,II,III, PWN Warszawa 4. J.Bana, St.W drychowicz: Zbir zada z analizy matematycznej PNT Warszawa1994 s e n 5. W.Krysicki, L.Wodarski:analiza matematyczna w zadaniach cz.I,II PWN Warszawa 2001 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Ocena ko cowa wystawiana na podstawie oceny z cwiczen i egzaminu. n Pochodna,caka nieoznaczona,caka s metryczna,przestrz.unormowana,zbieznoc noc,rzniczka,ekstremum s oznaczona,przestrze n ,zupe-
Analiza matematyczna 2 Janina Niedoba Stopien Semestr Kategoria ECTS I 2 P 6

Podstawowym celem jest nabycie umiej tnoci rozumowania, oraz opanowanie wiadomoci z zakresu rach. e s s cakowego funkcji wielu zmiennych i szeregw oraz ich stosowania.
Program wykadu
Caka podwjna <denicja, tw. o iteracji, tw. o zamianie zmiennych, zastosowania geometryczne i zyczne>Caka potrjna <denicja, tw.o iteracji, o zamianie zm.wsp. sferyczne, zastosowania>.Caka krzywoli s niowa zorientowana <denicja,tw.Greena,niezaleznoc caki od drogi,caka krzyw.nieskier.>.Caki powierzch s niowe <nieskierowana,skierowana def.,tw. Gaussa-Ostrogradskiego,tw. Stokesa, niezaleznoc caki krzywoliniowe od drogi W przestrz>.Elementy teorii pola <interpretacja zyczna caki krzywoliniowej i powierzch s niowej oraz twierdze Gaussa-Ostrogradskiego i stokesa> Szeregi < df. szeregu zbieznoci i zb.bezwzgl dnej n e noci,szeregi funkcyjne-zieznoc s szeregu w przestrz. Banacha, szeregi liczbowe-,podstawowe kryteria zbiez s punktowa,bezwzgl dna,jednostajna,szeregi pot gowe,szeregi Fouriera> e e

W ramach cwicze - stosowanie wiadomoci z wykadw do samodzielnego rozwiazywania zada .Utrwalenie n s n i dog bne zrozumienie tych wiadomoci oraz ich interpretacji zycznej i geometrycznej.Poprzez odpowiedni e s dobr przykadw, nauczenie dokadnoci,i mi dzy innymi wyczulenie na zaozenia. s e
Bibliograa 1. W.Zakowski,W.Koodziej:Matematyka,Analiza matematyczna cz.II WNT Warszawa2003. 2. W.Stankiewicz: Zadania z matematyki dla wyzszych uczelni technicznych T.I i II PWN Warszawa 1999 3. J.Bana,St.W drychowicz:Zbir zada z analizy matematycznej WNT Warszawa 1994 s e n 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Ocena ko cowa jest wystawiana na podstawie oceny z zaliczenia i oceny n z egzaminu Obszar normalny,uk regularny,powierzchnia regularna,szereg, zbieznoc punktowa bezwzgl dna,jednostajna,ciag ortogonalny,szereg s e ortogonalny,wsp.Eulera-Fouriera
10
Matematyka dyskretna Adam Wojda Stopien Semestr Kategoria ECTS I 2 P 6

Nabycie umiej tnoci wykorzystywania niektrych dziaw matematyki do rozwiazywania zagadnie informae s n tycznych. Zaznajomienie z metodami dowodzenia twierdze . Zapoznanie z metodami algebry, kombinatoryki, n teorii grafw i teorii liczb do rozwiazywania problemw o charakterze informatycznych.
Program wykadu
Ciagi rekurencyjne (metoda rozwiazywania dla ciagw liniowych o staych wspczynnikach, ciag Fibonac ciego). Kombinatoryka: podstawowe metody zliczania (metoda podwjnego zliczania, metody algebraiczne), liczby Stirlnga, Zasada Sita, Zasada Go bnika, tw. Cantora. Arytmatyka modularna. Algorytm Euklidesa e znajdowania NWD. Grupy. Grupy Z i Z *. Grupa permutacji. Twierdzenie Cayleya. Dziaanie grupy na zbiorze Lemat Burnsidea. Chi skie twierdzenie o resztach. Twierdzenia Lagrangea, Mae Fermata i Eulera. Zaston sowanie w szyfrowaniu z kodem publicznym (metody Rabina i RSA).Teoria grafw. Grafy Eulera, algorytm Fleuryego. Bryy plato skie. Twierdzenie Kuratowskiego. Kolorowanie grafw - twierdzenia Brooksa, Hen awood, o 4 kolorach (informacyjnie) i Vizinga. Drzewa. Odlegoc w grae. Tw. Koeniga. Drzewa binarne s zastosowanie w opisie i optymalizacji algorytmw. Przeszukiwania w grafach. Dendryty. Dendryty minimalne algorytmy Kruskala i Prima. Turnieje. Przepywy w sieciach.

Podczas cwicze rozwiazywane sa zadania ilustrujace i uzupeniajace wykady. Celem cwicze jest uatwienie n n zrozumienia i opanowania materiau zrealizowanego podczas wykadw.
Bibliograa 1. 2. 3. 4. 5. W.J Gilbert, W.K. Nicholson, Algebra wspczesna z zastosowaniami, WNT, Warszawa 2008. N. Koblitz, Algebraiczne aspekty kryptograi, WNT, Warszawa 2000 Zb. Palka i A. Ruci ski, Wykady z kombinatoryki, WNT 2004. n K.A Ross i Ch.R.B. Wright, Matematyka dyskretna, PWN 2000. R.J. Wilson, Wprowadzenie do teorii grafw, PWN 1998. przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Srednia ocena z cwicze i egzaminu n modulo, grupa, graf, drzewo, cykl
11
Statystyka matematyczna Ewa Paszkowska Stopien Semestr Kategoria ECTS I 2 P 2
Informatyka Wykad 2, Cwiczenia , Laboratorium 2

Podstawowym celem jest zapoznanie studentw z podstawowymi poj ciami statystyki matematycznej: estye macja punktowa i przedziaowa, testowanie hipotez parametrycznych. Studenci poznaja rwniez podstawowe poj cia, twierdzenia i metody rachunku prawdopodobie stwa: zmienna losowa jedno- i wielowymiarowa, jej e n parametry, regresja, korelacja, twierdzenia graniczne, prawa wielkich liczb.
Program wykadu
Rachunek prawdopodobie stwa: przestrze probabilistyczna, wasnoci, prawdopodobie stwo warunkowe, n n s n s niezaleznoc, twierdzenie o prawdopodobie stwie cakowitym, wzr Bayesa. Zmienna losowa 1-wymiarowa n typu skokowego i ciagego, parametry. Wybrane rozkady prawdopodobie stwa. Zmienna losowa wielowymia n s rowa, rozkady brzegowe, warunkowe. Niezaleznoc zmiennych losowych. Wariancja, kowariancja, regresja. Twierdzenia graniczne, prawa wielkich liczb.Statystyka matematyczna: podstawowe poj cia statystyki - poe pulacja generalna, prba losowa, rozkad teoretyczny i empiryczny, parametry empiryczne. Estymatory i ich wasnoci. Estymacja punktowa i przedziaowa. Testowanie hipotez parametrycznych. s

Rozwiazywanie zada z rachunku prawdopodobie stwa - zastosowanie poznanych na wykadzie poj c, twier n n e dze i wasnoci. Praktyczne zapoznanie z metodami rachunku prawdopodobie stwa i statystyki matematyczn s n nej. W ramach zaj c laboratoryjnych studenci zapoznaja si z mozliwocia prezentacji i opracowania wynikw e e s pomiarw przy zastosowaniu pakietw statystycznych. Umiej tnoc interpretacji wynikw uzyskanych z zae s stosowania programu statystycznego.
Bibliograa 1. A. Pluci ska, E. Pluci ski. Probabilistyka. Rachunek prawdopodobie stwa, statystyka mateman n n tyczna, procesy stochastyczne WNT 2. W. Krysicki, J. Bartos, W. Dyczka, K. Krlikowska, M. Wasilewski. Rachunek prawdopodobie n stwa i statystyka matematyczna w zadaniach Cz. 1 Rachunek prawdpopdobie stwa, Cz 2 Statyn styka matematyczna PWN 3. J. Gre . Statystyka matematyczna. modele i zadania PWN n 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena uzyskana z zaliczenia laboratorium rozkad prawdopodobie stwa, zmienna losowa, estymacja, hipoteza stan tystyczna przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
12
Rwnania rzniczkowe i rznicowe Robert Schaefer Stopien Semestr Kategoria ECTS I 3 P 5

Przedstawienie podstawowych wynikw jakociowej teorii rwna rzniczkowych zwyczajnych i czastkowych s n pozwalajacych zrozumie zasady modelowania matematycznego rzeczywistoci, warunki poprawnoci takich c s s modeli oraz zasady dziaania metod numerycznych oraz projektowania i analizy algorytmw opartych na rzutowaniu rozwiaza dokadnych na sko czenie wymiarowe podprzestrzenie rozwiaza . n n n
Program wykadu
Metody rzutowe analizy funkcjonalnej, szeregi Fouriera w przestrzeniach Hilberta, rwnania rzniczkowe zwyczajne, caka oglna i caka szczeglna, zadanie Cauchego, rwnania liniowe 1-go rz du, ukady rwna zwye n czajnych, twierdzenia Piccarda-Lindelofa i Peanao, metoda uzmienniania staych, macierz fundamentalna roz wiaza , przypadek staych wspczynnikw, stabilnoc rozwiaza w sensie Lapunowa, proste schematy rzni n s n cowe; rwnania czastkowe rz du 2-go, klasykacja rwna liniowych, mocne problemy brzegowo-poczatkowe, e n przestrzenie Soboleva i rozwiazania sabe, dystrybucje regularne, eliptyczny problem modelowy, sformuowanie s residualne i klasyczne wariacyjne, lemmat Laxa-Milgrahma, metoda Galernika, lemat Cea, zbieznoc metody Galernika, rwnania Galernika w przestrzeni spline metoda elementw sko czonych, proste schematy mien szane dla rwna parabolicznych i hiperbolicznych n

W ramach zaj c laboratoryjnych prezentowane sa i implementowane (Matlab) proste schematy rznicowe dla e rwna zwyczajnych. Analityczne metody cakowania rwna zwyczajnych wprowadzone na wykadzie sa n n utrwalane, rozszerzane oraz cwiczone na prostych przykadach. Rozwiazywane sa proste zagadnienia brze gowe dla rwna czastkowych rz du drugiego przy pomocy schematw rznicowych oraz metody elementw n e sko czonych. Studenci zaznajamiani sa z praktyka tworzenia optymalnych przestrzeni aproksymacyjnych oraz n dobr solwerw ukadw liniowych reprezentujacych przyblizone problemy brzegowe.
Bibliograa 1. 2. 3. 4. 5. Pelczar A.; Wst p do teorii rwna rzniczkowych. Cz sc I. PWN, Warszawa 1987 e n e Zakowski W., Leksi ski W.; Matematyka, Cz sc IV, WNT, Warszawa 1973 n e Hartman P.; Ordinary Differential Equations. Birkhauser, June 1982 Ciarlet P., G.; The Finite Element Method for Elliptic Problems. SIAM. April, 2002 Marcinkowska H.; Wst p do teorii rwna rzniczkowych czastkowych. PWN, Warszawa 1972 e n przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Srednia wazona oceny z cwicze laboratoryjnych i egzaminu n rwnanie rzniczkowe, metody elementw i rznic sko czonych n
13
Logika matematyczna w informatyce K Worytkiewicz Stopien Semestr Kategoria ECTS I 4 P 2

Relewantnoc logiki matematycznej w informatyce stoi w waskim zwiazku z konstruktywnymi aspektami tej s pierwszej. Otz praca logikw nad izomorzmem Curryego-Howarda daa podstawy do narz dzi specykacji e i konstrukcji programw jak HOL/Isabelle, Lego czy Coq. Te narz dzia sa w dniu dzisiejszym uzywane w e produkcji przez wysoko kwalikowanych profesjonistw. Cel wykadu jest wprowadzenie studenta w teori i e praktyk tego aspektu informatyki. e
Program wykadu
Troch matematyki dyskretnej. Struktura syntaksu: sygnatury, termy, systemy dedukcyjne, indukcja struktue ralna. Rachunek lambda nietypowany: termy lambda, alfa-konwersja, kody deBrujina, podstawienie, redukcja, normalizacja. Rachunek lambda typowany: typy proste la Curry i la Church, unikacja, synteza typw. Dedukcja naturalna: jednotypowana logika zdaniowa, izomorzm Curryego-Howarda. Wielotypowana logika predykatw pierwszego stopnia: reguy strukturalne, logika rwnociowa, logika zdaniowa, reguy intuicjos nistyczne i klasyczne, kwantykatory. Wprowadzenie do Calculus of Constructions i do Coqa. Semantyka: kraty, algebry Heytinga, algebry Boolea, elementy teorii kategorii.

Lab1: skadanie lambda-termw (w Ocamlu); Lab2: kody deBrujina (w Ocamlu); Lab3: synteza typw lambda-termw (w Ocamlu); Lab4: taktyki dla dowodw rwna , zda i predykatw (w Coqu); Lab5: takn n tyki dla dowodw indukcja, typy induktywne, dowody waciwoci funkcji rekurencyjnych (w Coqu); Lab6: s s ekstrakcja programw z dowodw (w Coqu).
Bibliograa 1. The Coq proof assistant version 8.2 reference manual, The Coq Development Team, http://coq.inria.fr/refman/; 2. Interactive Theorem Proving and Program Development (CoqArt: The Calculus of Inductive Constructions), Yves Bertot and Pierre Castran, Springer 2004, ISBN:978-3-540-20854-9; 3. Certied programming with dependent types (draft), Adam Chlipala, http://adam.chlipala.net/cpdt/. 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe dostateczna srednia Systemy dedukcyjne, indukcja strukturalna, logika rwnociowa, logika s zdaniowa, kwantykatory, izomorzm Curryego-Howarda. przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
14
Badania operacyjne Bogusaw Filipowicz Stopien Semestr Kategoria ECTS I 5 P 1

Uzyskanie umiej tnoci i kompetencji w zakresie wykorzystania algorytmw i modeli z dziedziny bada operae s n cyjnych do modelowania i optymalizacji zozonych zagadnie technicznych i ekonomicznych, ze szczeglnym n uwzgl dnieniem zastosowa w Informatyce. e n
Program wykadu
Metodologia bada operacyjnych. Budowa modelu matematycznego zagadnienia . Modele stochastyczne. n Wprowadzenie do markowskich procesw przypadkowych. Markowskie modele pojedynczego stanowiska: z niecierpliwymi zgoszeniami. Model zamkni ty . Modele niemarkowskie pojedynczego stanowiska M/G/1, e G/M/1. Modele deterministyczne. Programowanie liniowe. Zagadnienie poszukiwania optymalnych przepy ww w sieciach transportowych. Planowanie sieciowe. Zagadnienie przydziau oraz problem komiwojazera. Scise metody optymalizacji problemw NP-trudnych: programowanie dynamiczne, przeglad rozwiaza , me n toda podziau i ogranicze . Charakterystyka metod przyblizonych optymalizacji problemw NP-trudnych i n problem szacowania rozwiaza przyblizonych. Algorytmy konstrukcyjne (stosowane reguy wyboru, zozonoc n s obliczeniowa). Algorytmy poprawy rozwiaza : klasyczne algorytmy optymalizacji lokalnej n

W ramach przedmiotugb prowadzone jest laboratorium, w trakcie ktrego studenci zapoznaja si z przykado e wymi realizacjami omawianych na wykadach algorytmw . Treci tych zaj c ugruntowuja i rozszerzaja wies e dz przekazywana podczas wykadw. Istotnym elementem tych zaj c jest poznanie i praktyczne zastosowanie e e metod optymalizacji. W trakcie tych zaj c suchacze w niewielkich grupach implementuja rzne procedury e optymalizacyjne, ze szczeglnym uwzgl dnieniem zastosowa w Informatyce. e n
Bibliograa 1. Filipowicz B.: Modele stochastyczne w badaniach operacyjnych. Analiza i synteza systemw obsugi i sieci kolejkowych. Wydawnictwo Naukowo-Techniczne, Warszawa 1996 2. Filipowicz B.: Modelowanie i optymalizacja systemw kolejkowych. cz. 1. Systemy markowskie. Wyd. Poldex, Krakw 2006 3. Filipowicz B.: Modelowanie i optymalizacja systemw kolejkowych. cz. 2. Systemy niemarkowskie. Wyd. Poldex, Krakw 2000 4. Filipowicz B., Idzikowska K.: Systemy i sieci kolejkowe w przykadach 5 i zadaniach, Wydawnictwo ABART, Krakw 2008 5. Filipowicz B.: Matematyczne modelowanie zagadnie decyzyjnych . cz. 1, Wydawnictwa AGH, n Krakw 1998, Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena uzyskana z zaliczenia laboratorium systemy kolejkowe, optymalizacja strukturalna i kombinatoryczna, metoda podziau I ogranicze , harmonogramowanie n 15 przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
Fizyka 1 Krzysztof Kuakowski Stopien Semestr Kategoria ECTS I 1 P 5

Celem wykadu jest zaznajomienie studentw z podstawowymi zagadnieniami zyki klasycznej: mechaniki i elektromagnetyzmu. Wykadane zagadnienia maja by ilustrowane przykadami prostych przelicze z wyko c n rzystaniem rachunku rzniczkowego i cakowego. Celem cwicze jest nabycie umiej tnoci rozwiazywania n e s problemw przy pomocy rachunku rzniczkowego i cakowego.
Program wykadu
Mechanika: II zasada dynamiki Newtona jako rwnanie ruchu. Ruch obrotowy, momenty bezwadnoci bry. s Ukady nieinercjalne, sia bezwadnoci. Zasady zachowania. Praca w polu si. Pole grawitacyjne. Pole potens cjalne, potencja pola. Operator nabla i jego zastosowania. Drgania swobodne i tumione. Rezonans. Transformacja Lorentza. Dylatacja czasu, skrcenie dugoci, transformacja pr dkoci. Pole elektrostatyczne: zasada s e s superpozycji, prawo Gaussa. Pole magnetostatyczne: sia Lorentza, prawo Biota-Savarta, prawo Amperea. Pole elektromagnetyczne: prawo indukcji Faradaya. Rwnania Maxwella. Rwnanie fali.

W ramach cwicze audytoryjnych studenci maja rozwiazywa zadania z wykorzystaniem analizy wektorowej, n c rachunku rzniczkowego i cakowego i rachunku macierzowego. W czasie semestru organizowane sa kolokwia.
Bibliograa 1. D. Halliday, R. Resnick, J. Walker, Podstawy zyki, t.1- 4 2. A. K. Wrblewski, J.A.Zakrzewski, Wst p do zyki e 3. 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Srednia z zaliczenia i egzaminu z warunkiem obu not co najmniej 3.0 Sia, rwnanie ruchu, praca, energia, ukad wsprz dnych e
16
Fizyka 2 Krzysztof Kuakowski Stopien Semestr Kategoria ECTS I 2 P 6

Celem wykadu jest zaznajomienie studentw z poj ciowymi podstawami zyki wspczesnej, w tym mechaniki e kwantowej. Celem laboratorium jest opanowanie umiej tnoci wykonania prostych pomiarw z wykorzystae s niem podstawowych praw zyki oraz opracowania wynikw.
Program wykadu
Elementy termodynamiki i zyki statystycznej: I i II zasada termodynamiki, cykl Carnota, rozkad MaxwellaBoltzmanna. Ciao doskonale czarne. Dualizm falowo-korpuskularny, postulaty de Brogliea. Model atomu Bohra. Funkcja falowa, rwnanie wasne. Rwnanie Schrodingera. Stopie potencjau, studnia potencjau. n Operator momentu p du. Baza. Reprezentacja macierzowa, baza stanw p. Spin. Zakaz Pauliego, rozkady e kwantowe. Atom wodoru: liczby kwantowe. Metale, izolatory, pprzewodniki. Lasery. Izotopy, reakcje jadrowe. Hipoteza Wielkiego Wybuchu. Chaos, fraktale.

W ramach zaj c laboratoryjnych studenci maja nauczy si samodzielnego wykonywania pomiarw, opracoe c e wywania danych i oceny niepewnoci wynikw pomiarowych. s
Bibliograa 1. D. Halliday, R. Resnick, J. Walker, Podstawy zyki, t.1- 5 2. P. T. Matthews, Wst p do mechaniki kwantowej e 3. A. Zi ba (red.), Pracownia zyczna WFiTJ, cz. I i II e 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Srednia z zaliczenia i egzaminu z warunkiem obu not co najmniej 3.0 Prawdopodobie stwo, funkcja falowa, poziomy energetyczne n
17
Aspekty prawne informatyki Jerzy Paosz Stopien Semestr Kategoria ECTS I 1 K 1
Informatyka Wykad 2, Cwiczenia , Laboratorium
Cel przedmiotu, uzyskiwane kompetencje Program wykadu Charakterystyka pozostaych zaj c e Bibliograa 1. 2. 3. 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
18
Wst p do informatyki e Marek Gaj cki e Stopien Semestr Kategoria ECTS I 1 K 6
Informatyka Wykad 2, Cwiczenia 2, Laboratorium http://winnie.ics.agh.edu.pl/

Celem przedmiotu jest: wprowadzenie podstawowych poj c zwiazanych z informatyka, zapoznanie z programoe waniem w j zyku proceduralnym, podstawowymi typami danych i podstawowymi strukturami danych, przede stawienie budowy i architektury komputera oraz podstawowych informacji o systemie operacyjnym, j zykach e programowania.
Program wykadu
Informatyka i jej zakres problemowy. Podstawowe poj cia: informacja, algorytm, j zyk programowania, skade e nia, semantyka. J zyk proceduralny i jego mechanizmy: konstrukcje strukturalne. Proste i strukturalne typy e danych w j zykach programowania. Procedury i funkcje. Podejcie zst pujace i wst pujace w programowae s e e niu.Rekurencja w programowaniu. Problemy rozwiazywane z uzyciem rekurencji. Typ wska nikowy i przy z kady jego zastosowania, alokacja pami ci. Liczby stao i zmiennopozycyjne w komputerze: reprezentacje, e dziaania. Model Von Neumana. Architektura prostego komputera. Paradygmaty w programowaniu. Rodzaje j zykw programowania. System operacyjny. Modele oblicze . Podstawowe poj cia ze zozonoci obliczenioe n e s wej algorytmw. Przykady algorytmw.

Podstawowym celem cwicze jest nabycie przez studentw umiej tnoci tworzenia algorytmw i zapisywania n e s ich w proceduralnym j zyku programowania. Celem cwicze jest takze: utrwalenie wiadomoci przekazywae n s nych na wykadzie oraz rozwijanie umiej tnoci programowania. Podczas cwicze studenci rozwiazuja proste e s n zadania algorytmiczne. Opanowanie materiau jest sprawdzane przy pomocy kartkwek oraz kolokwium zaliczeniowego.
Bibliograa 1. 2. 3. 4. 5. D. Harel, F.Yishai Rzecz o istocie informatyki - algorytmika , WNT, 2008 N. Wirth Algorytmy + struktury danych = programy, WNT, 2004 J.G. Brookshear Informatyka w oglnym zarysie, WNT, 2003 J. Bentley Pereki oprogramowania , WNT, 2001 E.W. Dijkstra Umiej tnoc programowania, WNT, 1978 e s przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Ocena ko cowa zalezy od ocen uzyskanych z zaliczenia cwicze audyn n toryjnych oraz egzaminu pisemnego, a takze od terminu w jakim zostay uzyskane informatyka, algorytmika, algorytm, programowanie, j zyk programowae nia
19
Algorytmy i struktury danych Piotr Pisarek Stopien Semestr Kategoria ECTS I 2 K 6
Informatyka Wykad 2, Cwiczenia 2, Laboratorium http://www.moodle.cel.agh.edu.pl/weaiie/

Przeglad podstawowych algorytmw i struktur danych. Projektowanie i analiza algorytmw.
Program wykadu
Wprowadzenie do zozonoci: zozonoc obliczeniowa pami ciowa i czasowa (pesymistyczna, optymistyczna, s s e oczekiwana) . Sortowania: proste, QuickSort, MergeSort, HeapSprt, pozycyjne. Selekcja: algorytm Hoarea, magiczne piatki. Elementarne struktury danych (stos, kopiec, kolejka, kolejka priorytetowa, listy, lista z prze skokami). Drzewa binarne: AVL, czerwono-czarne, drzewa typu splay. Drzewa sownikowe, B-drzewa. Tablice z haszowaniem. Metody konstruowania i analizowania algorytmw: metoda dziel i zwyci zaj, programowanie e dynamiczne, metoda zachanna. Algorytmy grafowe: DFS, BFS, minimalne drzewo rozpinajace, najkrtsze sciezki.

W przedmiocie prowadzone sa cwiczenia audytoryjne. Treci tych zaj c ugruntowuja i rozszerzaja wiedz s e e przekazywana podczas wykadw.
Bibliograa 1. Wprowadzenie do algorytmw, Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, Clifford Stein, Wydawnictwa Naukowo - Techniczne, 2004. 2. Algorytmy + struktury danych = programy, Niklaus Wirth, Wydawnictwa Naukowo - Techniczne, 2004. 3. Projektowanie i analiza algorytmw komputerowych, A. Aho, J. Hopcroft, J. Ullman, Helion Wydawnictwo, 2003. 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E srednia arytmetyczna ocen uzyskanych z zaliczenia i egzaminu algorytmy, struktury danych, zozonoc obliczeniowa, analiza algoryts mw, projektowanie algorytmw
20
Techniki i j zyki programowania 1 e Pawe Pietras Stopien Semestr Kategoria ECTS I 2 K 2
Informatyka Wykad 2, Cwiczenia 1, Laboratorium 1 http://moodle.cel.agh.edu.pl/weaiie/course/view.php?id=131

Zapoznanie studentw z j zykiem C++ oraz nauka programowania w C++ z uwzgl dnieniem technik prograe e mowania zorientowanego obiektowo i uoglnionego. Przedstawienie mechanizmw abstrakcji w C++, zasad konstrukcji programw, technik programowania z uwzgl dnieniem efektywnoci czasowej i pami ciowej, moze s e liwoci piel gnacji oraz niezawodnoci tworzonego kodu. s e s
Program wykadu
Historia j zyka C. Elementy skadni j zyka C: typy podstawowe, klasy zmiennych: lokalne, globalne, aue e tomatyczne, statyczne, stae, ulotne, instrukcje sterujace, inicjalizacja a przypisanie. Wyrazenia: operatory, priorytet, zmienne tymczasowe, konwersje typw, rzutowanie. Typy zozone: wska niki, referencje, tablice, z struktury, unie. Funkcje: deklaracja i denicja, funkcje rozwijane, argumenty domylne, wska niki do funkcji, s z elipsa, funkcje przeciazone, rozstrzyganie przeciazenia. Struktura programu: preprocesor i makra, pliki na gwkowe i zrdowe, konsolidacja, jednostka translacji, zakres widocznoci obiektu, kompilacja warunkowa, s przestrzenie nazw. Podstawowe wsparcie programowania obiektowego: klasy, dost p do skadowych, konstruke tory, destruktory, skadowe statyczne, cykl zycia obiektu, obiekty tymczasowe, const-correctness. Hierarchie klas i polimorzm: dziedziczenie, funkcje wirtualne, destruktor wirtualny, interfejsy, nadpisywanie i zasanianie metod, wielokrotne dziedziczenie, wirtualne klasy bazowe, konwersje wska nikw i referencji, konwersje z jawne, RTTI. Wyjatki: mechanizm wyjatkw, idiom RIIA, inteligentne wska niki. Przeciazanie operatorw: z skadnia, zagadnienia efektywnoci, friend name injection, OL, ADL. Szablony: szablony funkcji i klas, kons kretyzacja, specjalizacja, szablony a dziedziczenie. Programowanie uoglnione: koncepty, typy stowarzyszone, metaprogramowanie, idiom CRTP. Biblioteka standardowa: strumienie, stringi, kontenery, iteratory, algorytmy, alokatory, funkcje numeryczne. Ewolucja: biblioteka Boost, Technical Report 1, propozycja standardu C++0x.

W ramach laboratorium realizowana jest implementacja prostych programw w j zykach C i C++ do rozwiazye wania rznego typu problemw, w oparciu o wybrane paradygmaty i techniki programistyczne. Studenci zapoznawani sa z wykorzystaniem szeregu narz dzi programistycznych zwiazanych z projektowaniem, kompilacja, e optymalizacja, testowaniem i dokumentowaniem programw, jak rwniez z uzyciem przykadowych biblio tek programistycznych. Cwiczenia ugruntowuja zagadnienia przedstawiane podczas wykadu. W ich trakcie rozwiazywane sa konkretne problemy z zastosowaniem technik strukturalnych, obiektowych i uoglnionych, szczegowo omawiane sa zalety i wady poszczeglnych, a stworzony kod wyjaniany i analizowany. s
Bibliograa 1. Brian Kernighan, Denis Ritchie J zyk ANSI C, WNT, 2004, s. 358. e 2. Bjarne Stroustrup J zyk C++ wydanie VII, WNT, 2004, s. 976. e 3. Bruce Eckel Thinking in C++ edycja polska. Wydawnictwo Helion, 2002, s. 642. 4. Bruce Eckel, Chuck Allison Thinking in C++ edycja polska tom II. Wydawnictwo Helion, 2004, s. 687. 5. E. Gamma, R. Helm, R. Johnson, J. Vlissides Wzorce projektowe. Elementy oprogramowania obiektowego wielokrotnego uzytku, WNT, 2008, s. 456.
21
srednia wazona ocen uzyskanych z cwicze audytoryjnych i zaj c labon e ratoryjnych j zyki programowania, programowanie obiektowe, programowanie e uoglnione, wzorce
22
Techniki i j zyki programowania 2 e Micha Korzycki Stopien Semestr Kategoria ECTS I 3 K 6
Informatyka Wykad 2, Cwiczenia , Laboratorium 2 http://home.agh.edu.pl/ korzycki/jtpii/

Celem przedmiotu jest nabycie umiej tnoci tworzenia aplikacji korzystajac z nowoczesnych jezykw i teche s nik obiektowych, ze szczeglnym uwzgl dnieniem j zyka programowania Java oraz praktycznych zastosowa e e n wzorcw projektowych (MVC, Singleton, Composite itp.)
Program wykadu
Platforma i maszyna wirtualna Javy. Skadnia j zyka Java. Obiektowoc. Kolekcje w Javie. Typy uoglnione e s (Generics). Reeksja w j zykach obiektowych i rodzaje referencji. Operacje wejcia/wyjcia. Przetwarzanie e s s strumieni znakowych. Strony kodowe i konwerje pomi dzy nimi. Poj cie watku, monitora, sekcji krytycznej. e e Problemy przetwarzania wspbieznego: race conditions, zagodzenie, zakleszczenie. Techniki programowania nego. Problem producentw i konsumentw. Wzorce projektowe przetwarzania wspbieznego (re wspbiez ytkownika przy uzyciu bibliotek AWT i Swing. actor, active object, master-slave itd.). Tworzenie interfejsu uz Przetwarzanie zdarze . Wzorzec MVC. Zarzadcy rozkadu. XML i jego przetwarzanie. Parsery SAX i DOM. n Transformacje XSLT. Aplety. Logowanie. Testy z wykorzystaniem Junit. Techniki refactoringu kodu.

W ramach laboratoriw zaj cia odbywa si b da przy wykorzystaniu standardowego pakietu programistycze c e e nego Javy (JDK). Studenci wykonuja zadania polegajace na samodzielnym tworzeniu funkcjonalnych progra mw w j zyku java majacych na celu pomc przyswojenie materiaw z wykadu. Ocenia si aktywnoc stue e s dentw w trakcie zaj c oraz terminowe oddawanie rozwiaza zada . e n n
Bibliograa 1. 2. 3. 4. 5. B.Eckel, Thinking in Java The Java Tutorial M.Fowler et al. Refactoring Impoving the Design of Existing Code E.Gamma et al Design Patterns : Elements of Reusable Object-Oriented Software
przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Srednia z oceny uzyskana z zaliczenia laboratorium i egzaminu ko con wego, zaokraglona w d. programowanie obiektowe, wzorce projektowe, programowanie wsp biezne
23
Obliczenia symboliczne 1 Micha Korzycki Stopien Semestr Kategoria ECTS I 4 K 2
Informatyka Wykad 1, Cwiczenia , Laboratorium 1 http://home.agh.edu.pl/ korzycki/osi/

Celem przedmiotu jest nabycie umiej tnoci tworzenia aplikacji korzystajac z nowoczesnych j zykw skryptoe s e wych, z wykorzystaniem elementw technik programowania funkcjonalnego.
Program wykadu
Python skadnia. Typizacja: silna, saba, statyczna, dynamiczna, duck typing. Obiekty w j zykach skrype towych. Wzorce projektowe w j zykach skryptowych. Glue Language. aczenie rznych j zykw. Fluent e e Interface. Domain Specic Language. Java Scripting. J zyk Groovy. Programowanie funkcjonalne w j zye e n kach skryptowych. Funkcje wyzszego rz du. Wyrazenia Lambda. Wyrazenia regularne. Rozszerzenia wyraze e regularnych Symbol. Przetwarzanie tekstu.

W ramach laboratoriw zaj cia odbywa si b da przy wykorzystaniu interpreterw okrelonych j zykw proe c e e s e gramowania (python, javascript, groovy, ruby). Studenci wykonuja zadania polegajace na samodzielnym two rzeniu funkcjonalnych programw w majacych na celu pomc przyswojenie materiaw z wykadu. Ocenia si e aktywnoc studentw w trakcie zaj c oraz terminowe oddawanie rozwiaza zada s e n n
Bibliograa 1. D.Mertz Text processing in Python 2. M.Pilgrim Dive into Python 3. 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe Ocena z laboratorium programowanie obiektowe, wzorce projektowe, j zyki skryptowe, proe gramowanie funkcjonalne przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
24
Obliczenia symboliczne 2 K Worytkiewicz Stopien Semestr Kategoria ECTS I 5 K 2

J zyk programowania Objective Caml jest uwazany za jeden z najbardziej zaawansowanych j zykw uzywae e nych w produkcji. Celem przedmiotu Oblicznia Symboliczne II jest wprowadzenie studenta do oglnych n zaoze podlegajacymi Ocamlowi, z programowaniem podstawowym i zaawansowanym, jak i z metodami i paradygmatami opracowania aplikacji.
Program wykadu
1. Wprowadzenie, drzewo genealogiczne rodziny ML.2. Podstawy teoretyczne: lambda-rachunek, semantyka operacyjna. 3. Hello world. 4. Funkcje: rekursja, polimorzm parametryczny, funkcje anonimowe, funkcyjnoc. 5. Typy induktywne: konstruktory, pattern-matching, typy induktywne parametryczne. 6. Rzucanie s i wyapywanie wyjatkw.7. Programowanie imperatywne: zmienne mutable, operatory przypisania warto sci, tablice, p tle.8. System moduw: typy moduw (tzw sygnatury), moduy parametryzowane innymi e moduami (tzw funktory).9. Programowanie objektowe: rznica mi dzy typami i klasami, dziedziczenie, e koercja.10. Przykady: interpretery, synteza typw, kompilacja do bytekodu.

Podstawowym celem cwicze jest praktyczne opanowanie przez studenta j zyka programowania Objective n e Caml. Szczeglny nacisk jest poozny na typy induktywne, pattern-matching i rekursj ; modularyzacj ; e e poznanie bibliotek i narz dzi (intrepreter, kompilatory itd) zaaczonych do dystrybucji.Cwiczenia odbywaja si e e w formie prac laboratoryjnych.
Bibliograa 1. The Objective Caml system release 3.11 (documentation and users manual), Xavier Leroy, http://caml.inria.fr/pub/docs/manual-ocaml/index.html 2. Introduction to Objective Caml , Jason Hickey, http://main.metaprl.org/jyh/ 3. Developping Applications with Objective Caml, Emmanuel Chailloux, Pascal Manoury and Bruno Pagano, http://caml.inria.fr/pub/docs/oreilly-book/html/index.html 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe srednia ocen uzyskanych z zaliczenia cwicze i egzaminu pisemnego n Ocaml, programowanie funkcyjne, polimorzm parateryczny, patternmatching. przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
25
s Teoria wspbieznoci Robert Schaefer Stopien Semestr Kategoria ECTS I 5 K 6

Przyblizenie idei programowania wspbieznego i analizy systemw wspbieznych poprzez ich formalne mo delowanie. Poruszane b da takze problemy zarzadzania praca aplikacji wspbieznych w rznych srodowiskach e komputerowych.
Program wykadu
Model Lamporta, denicje programowania seryjnego i wspbieznego, warunek stopu i cz sciowa poprawnoc, e s zywotnoc, bezpiecze stwo i sprawiedliwoc, kontekst implementacyjny przetwarzania wspbieznego, narz s n s e dzia systemu operacyjnego, srodowiska wieloprocesorowe, srodowiska message-passing, srodowiska wirtualne, s systemy wieloagentowe, slady Dekerta-Mazurkiewicza, posta normalna Foaty, graf zaleznoci, systemy rozc proszone modelowane przez slady, komunikacja FIFO i CO, twierdzenie Charon o jedynoci reprezentacji, s szeregowania sub-optymalne dla sladw, czas wektorowy, elementy CSP wspbiezne wykonanie procesw, alternatywa dozorowana, tablice dozorw, konstrukcja p tli, rwnolege wykonanie instrukcji, komunikacja e blokujaca, spotkania, przykady, sieci Petri wiadomoci podstawowe, sieci miejsc i tranzycji, reprezentacja s algebraiczna, niezmienniki miejsc i tranzycji, grafy osiagalnoci, interpretacja warunku zywotnoci, algorytmy s s znajdowania blokad i puapek, elementy analizy systemw z ograniczeniami czasowymi

Cwiczenia laboratoryjne zostaa podzielone na trzy grupy tematyczne: A - Mechanizmy synchronizacji i s komuni-kacji procesw i watkw, B - Wasnoci klasycznych problemw wspbieznoci, oraz C - Modele s systemw wsp-bieznych. W pierwszej grupie cwiczone sa mechanizmy dostarczane przez JVM (semaforw, monitorw, zamkw, wspbieznych struktur danych), Erlang (komunikacja asynchroniczna). W drugiej grupie cwiczone jest wykorzys-tanie wzorcw Reaktor i Proactor. W trzeciej grupie cwiczone jest tworzenie i wery kacja modeli bazujacych na CSP, sieciach Petri oraz sladach Dikerta-Mazurkiewicza. Modele i cwiczenia bazuja s na klasycznych problemach wspbieznoci oraz waznych instancjach numerycznych oblicze wspbieznych. n
Bibliograa 1. Roscoe A., W.; The Theory and Practice of Concurrency. Prentice Hall 1998. 2. Weiss Z., Gru lewicz T.; Programowanie wspbiezne i rozproszone w przykadach i zadaniach. z WNT 1994. 3. Starke P., H.; Sieci Petri, podstawy, zastosowania, teoria. PWN 1987. 4. Iszkowski W., Maniecki M.; Programowanie wspbiezne. WNT 1982. 5. Charron B, Delporte-Gallet C, Fauconnier H; How to model a distributed computation, Instute Blaise Press, Paris, 1993. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Srednia wazona oceny z cwicze laboratoryjnych i wyniku egzaminu n Systemy wspbiezne, modele algebraiczne, slady, sieci Petri
26
Podstawy baz danych Marek Valenta Stopien Semestr Kategoria ECTS I 3 K 5

Wprowadzenie w problematyk systemw przetwarzania danych z wykorzystaniem technologii baz danych. e Poznanie cyklu zycia systemw baz danych z uwzgl dnieniem zasad modelowania przestrzeni danych, rzeczye wistych procesw (transakcji) oraz podstaw tworzenia aplikacji uzytkowych. Nabycie umiej tnoci tworzenia e s poprawnie skonstruowanych modeli relacyjnych baz danych i efektywnego posugiwania si j zykiem SQL. e e
Program wykadu
Wprowadzenie w zadania systemw gromadzenia, przechowywania i przetwarzania danych masowych. Podstawy technologii baz danych z uwzgl dnieniem podstawowych funkcji systemw zarzadzania bazami danych i e j zykw baz danych. Podstawy modelu relacyjnych baz danych i j zyka algebry relacji. Modelowanie rzeczywie e stoci model poj ciowy i zasady jego konstrukcji. Model logiczny-implemantacyjny relacyjnej bazy danych. s e Zasady poprawnej konstrukcji relacyjnego modelu logicznego i proces normalizacji schematu. Pojecie rozszerzonego modelu encji i jego realizacja w modelu relacyjnych. Warunki integralnociowe. Systemowa realizacja s ochrony bazy danych przed nieupowaznionym dost pem. J zyki baz danych. SQL. Cykl zycia systemw baz e e danych metody i narz dzia realizacji kolejnych etapw systemu. Podstawowe narz dzia i srodowiska realie e zacji systemw baz danych. Wielopoziomowe architektury systemw baz danych (rozproszenie przetwarzania, architektury klient/serwer).

W ramach zaj c laboratoryjnych poznanie wszystkich podstawowych konstrukcji j zyka SQL. Prowadzenie e e zada projektowych dla nabycia umiej tnoci z zakresu analizy procesw i danych jako podstawy dla realin e s zacji modeli poj ciowych i logicznych relacyjnych baz danych. Realizacja procesu normalizacji schematw e relacyjnych baz danych. Przykadowe realizacje niewielkich kompletnych aplikacji systemw baz danych w zrznicowanych srodowiskach i z uzyciem rznych technik i narz dzi ich realizacji. e
Bibliograa 1. C.J. Date, Wprowadzenie do systemw baz danych, WNT-Klasyka Informatyki, Warszawa, 2000 2. H.Garcia-Molina, J.D.Ullman, J.Widom, Systemy Baz Danych. Peny wykad, Klasyka Informatyki WNT, Warszawa, 2006 3. T.Connolly, C.Begg, Systemy baz danych metody projektowania, implementacji i zarzadzania, RM, Warszawa, 2004 4. C.J. Date, H.Darwen, SQL - omwienie standardu j zyka, WNT- Klasyka Informatyki, Warszawa, e 2000 5. J. Celko, SQL - Zaawansowane techniki programowania, Wydawnictwo Naukowe PWN/Mikom, 2008
27
przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E srednia wazona ocen uzyskanych z zaliczenia laboratorium i egzaminu bazy danych, modele baz danych, relacyjne bazy danych, SQL, cykl zycia systemu bazy danych
28
Projektowanie systemw informatycznych 1 n Magorzata Zabi ska Stopien Semestr Kategoria ECTS I 3 K 2

Cel: poznanie zagadnie zwiazanych z tworzeniem systemw informatycznych: w szczeglnoci z procesami n s analizy i projektowania, ich wynikami, oraz metodami organizacji pracy. Uzyskanie umiej tnoci: tworzenia e s opisu zadania projektowego, celu systemu, dziedziny problemu, prowadzenia analizy systemowej, w tym pozyskiwania i prezentacji wymaga , konstruowania modelu systemu i specykacji projektowych oraz formuowania n wytycznych do implementacji.
Program wykadu
Systemy informacyjne i informatyczne, problemy tworzenia. Cykl zycia systemu informatycznego, jego etapy, fazy i czynnoci, oraz wyniki. Podstawowe modele procesu wytwrczego i ich zastosowania. Analiza systes mowa: opis dziedziny problemu, obszaru modelowania, zakresu odpowiedzialnoci systemu. Analiza potrzeb s uzytkownikw, sposoby pozyskiwania i prezentacji. Wymagania projektowe: funkcjonalne i niefunkcjonalne i ich opis. Rola analityka systemowego i projektanta. Koncepcyjne i techniczne projektowanie systemu, zasady metodyczne. Wspomaganie prac projektowych. Rezultaty analizy i projektowania i ich dokumentowanie. Specykacje projektowe i ich realizacja, projektowanie interfejsu. Implementacja i testowanie; wdrozenie i enia. Problemy ryzyka oraz zarzadzanie zagrozeniami. Zagadnienia zwiazane z eksploatacja systemu. Zagroz jakocia systemu informatycznego. Wazniejsze obszary zastosowa systemw informatycznych. s n

W ramach przedmiotu prowadzone sa zaj cia laboratoryjne. Tematyka i program tych zaj c umozliwiaja: prak e e tyczne poznanie procesu tworzenia opisu wymaga na potrzeby analizy i projektowania systemw informatyczn nych, w szczeglnoci wymaga funkcjonalnych przy pomocy j zyka naturalnego, scenariuszy oraz tworzenie s n e modelu wymaga w postaci gracznej, przy zastosowaniu przypadkw uzycia wg koncepcji zaczerpni tej z n e UML, z uzyciem kilku dost pnych narz dzi i porwnaniem ich mozliwoci. e e s
Bibliograa 1. Bennett, S., McRobb S., Farmer R.: Object-Oriented Systems Analysis and Design Using UML ,Mc Graw Hill 2006 2. Hoffer J. A., George J. F., Valacich J. S.,: Modern Systems Analysis and Design, Addison-Wesley 1999 3. Roszkowski J.,: Analiza i projektowanie strukturalne, Helion 2002 4. Sommerville I.,: Inzynieria oprogramowania, WN-T 2003 5. Yourdon E.,: Wspczesna analiza strukturalna WN-T 1996 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena uzyskana z egzaminu oraz z zaj c laboratoryjnych e system informatyczny, analiza, projektowanie, metodyka, wymagania przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
29
Projektowanie systemw informatycznych 2 n Magorzata Zabi ska Stopien Semestr Kategoria ECTS I 4 K 5

Celem przedmiotu jest poznanie przez studentw zasad jednolitej metodologii analizy i projektowania na przykadzie wybranej metodyki projektowej. Uzyskiwane umiej tnoci i kompetencje: przygotowanie do laborae s torium oraz prowadzenie procesu analizy i projektowania prostych systemw, ktremu towarzyszy tworzenie dokumentacji obejmujacej opis i graczny model wymaga , model systemu, specykacje projektowe, jak rw n niez projekt interfejsu.
Program wykadu
Zagadnienia zwiazane z jakocia systemu informatycznego. Zagrozenia. Testowanie systemu i jego rodzaje. s Zasady jednolitej metodologii realizacji oprogramowania, jej istota i cechy. Cztery etapy procesu: rozpocz cie, e opracowanie, budowa i przekazanie. Omwienie szczegowe wazniejszych dyscyplin procesu: zarzadzanie przedsi wzi ciem, modelowanie dziaalnoci przedsi biorstwa, zarzadzanie wymaganiami, analiza i projektoe e s e wanie, implementacja, testowanie, zarzadzanie konguracja i zmianami oraz srodowiskiem, wdrozenie. Plany iteracji. Deniowanie wizji produktu. Role zwiazane z procesem wytwrczym: kierownik, analityk, architekt, programista, tester. Zadania i czynnoci w ramach rl. Model jednolitego procesu analizy i projektowania, s przepywy prac. Kamienie milowe oraz rezultaty projektowania (artefakty) i wskazwki dotyczace ich prezen tacji. Elementy UML w odniesieniu do procesu analizy i projektowania systemu informatycznego. Elementy zarzadzania przedsi wzi ciem projektowym. Wybrane zagadnienia organizacji prac projektowych. Wazniejsze e e obszary zastosowa systemw informatycznych. n

W ramach przedmiotu prowadzone sa zaj cia laboratoryjne. Tematyka i program tych zaj c umozliwiaja zasto e e sowanie wiedzy dotyczacej analizy i projektowania systemw informatycznych, przekazywanej na wykadach w odniesieniu do praktycznych zada inzynierskich. Prace wykonywane w ramach laboratorium, w zespoach, n obejmuja pozyskiwanie informacji n.t. tworzonych systemw informatycznych, sporzadzanie opisu dziedzino wego, wraz z wydzieleniem obszaru modelowania i zakresu odpowiedzialnoci systemu, identykacj i specys e kacj wymaga funkcjonalnych i niefunkcjonalnych, tworzenie i prezentacj modelu systemu oraz specykacji e n e projektowych, wizj interfejsu, wskazwki co do dalszych prac projektowych i implementacyjnych. e
Bibliograa 1. Booch G., Rumbaugh J., Jacobson I.,: The Unied Modeling Language User Guide, AddisonWesley 1999 2. Jacobson I., Booch G., Rumbaugh J.,: The Unied Software Development Process, AddisonWesley 1999 3. Kruchten P.,: The Rational Unied Process. An Introduction, Addison-Wesley 2005 4. Stevens P., Pooley R.,: Using UML, Addison-Wesley 2000 5. OMG Unied Modeling Language (UML), version 2.2., 2009
30
przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E ocena uzyskana z zaliczenia, egzamin RUP, UML, projektowanie, jednolity proces projektowania
31
Technologie obiektowe 1 Marek Kisiel-Dorohinicki Stopien Semestr Kategoria ECTS I 4 K 2
Informatyka Wykad 2, Cwiczenia , Laboratorium 1 http://home.agh.edu.pl/ doroh/stud/?item=to

Celem przedmiotu jest zapoznanie studenta z zasadami, technikami i narz dziami obiektowego podejcia do e s tworzenia oprogramowania, zarwno w zakresie analizy i projektowania systemw, jak rwniez ich implementacji.
Program wykadu
Podstawowe poj cia i zasady podejcia obiektowego. Modelowanie z wykorzystaniem kart CRC. Podstawowe e s diagramy UML i ich elementy. Prosta metodyka analizy obiektowej. Obiektowoc w inzynierii oprogramos enia i elementy struktury specykacji UML. wania; perspektywy modelowania a podejcie obiektowe. Zaoz s Jednostki abstrakcji (obiekt, klasa) i ich wasnoci. Podstawienie i polimorzm. Organizacja modelu - pakiety. s Spjnoc i sprz zenie; zasady projektowania elastycznego oprogramowania. Powiazanie, agregacja i kompos e s zycja; pozyskiwanie zaleznoci (powiaza ). Generalizacja i dziedziczenie; zasady i konsekwencje stosowania n mechanizmu dziedziczenia. Wielokrotne uzycie; kompozycja klas a delegacja roli; problemy i metody wielodziedziczenia implementacji. Wzorce projektowe i architektoniczne. Testowanie systemw obiektowych; testy jednostkowe i integracyjne, atrapy. Kryteria oceny jakoci kodu zrdowego; refaktoryzacja. Problemy persys stencji struktur obiektowych; mapowania obiektowo-relacyjne. Przeglad technik programowania obiektowego i j zykw obiektowych. e

Zaj cia laboratoryjne pozwalaja na cwiczenie umiej tnoci w zakresie projektowania i programowania obieke e s towego, technik testowania systemw oraz praktyczne wykorzystanie technologii wspierajacych konstrukcj e oprogramowania. Kolejne zaj cia wprowadzaja wybrane elementy procesu inzynierskiego na przykadzie kilku e prostych zada projektowych. n
Bibliograa 1. Brett D. McLaughlin, Gary Pollice, David West: Head First Object-Oriented Analysis and Design (edycja polska), Helion 2008 2. Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides: Wzorce projektowe, Wydawnictwa Naukowo-Techniczne 2005 3. Martin Fowler: UML w kropelce, LTP Ocyna Wydawnicza 2005 4. Grady Booch, James Rumbaugh, Ivar Jacobson: UML - przewodnik uzytkownika, Wydawnictwa Naukowo-Techniczne 2001 5. Kazimierz Subieta: Obiektowoc w projektowaniu i bazach danych, Akademicka Ocyna Wydaws nicza PLJ 1998 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe srednia arytmetyczna ocen uzyskanych z zalicze n inzynieria oprogramowania, modelowanie, projektowanie, testowanie, implementacja 32 przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
Technologie obiektowe 2 Marek Kisiel-Dorohinicki Stopien Semestr Kategoria ECTS I 5 K 6
Informatyka Wykad , Cwiczenia , Laboratorium 2 http://home.agh.edu.pl/ doroh/stud/?item=to

Celem zaj c jest praktyczne wprowadzenie studenta w stosowanie zasad organizacji procesu wytwarzania oproe gramowania, a takze doskonalenie umiej tnoci projektowania obiektowego poprzez realizacj funkcjonalnego e s e systemu dla konkretnego zastosowania.
Program wykadu
Nie dotyczy

Przedmiot prowadzony jest w formie zaj c laboratoryjnych, ktre zorientowane sa na realizacj kolejnych faz e e procesu wytwarzania oprogramowania zgodnie z zaozeniami Unied Process. Istotnym elementem zaj c jest e koniecznoc integracji skadowych systemu realizowanych przez niezalezne zespoy projektowe. s
Bibliograa 1. Jak dla przedmiotu Technologie obiektowe 1 2. 3. 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E srednia wazona ocen uzyskanych z zalicze (0,3) i wszystkich terminw n egzaminu (0,7) inzynieria oprogramowania, modelowanie, projektowanie, testowanie, implementacja
33
Bazy danych Marek Valenta Stopien Semestr Kategoria ECTS I 6 K 2

Podstawowym celem jest nabycie umiej tnoci wykorzystania technologii baz danych do budowy caych syse s temw uzytkowych realizowanych w oparciu o rzne techniki i narz dzia z zachowaniem formalnych zasad e cyklu zycia systemu baz danych, a takze zapoznanie si z rznorodnocia architektur nowoczesnych systee s mw baz danych (architektury wielopoziomowe i rozproszone) oraz kierunkami ich rozwoju.
Program wykadu
Cykl zycia systemw baz danych metody i techniki etapw realizacji systemw. Przeglad architektur sys temw baz danych z uwzgl dnieniem architektur wielopoziomowych klient/serwer oraz rozproszenia baz dae nych. Replikowanie baz danych i transakcje rozproszone. Nierelacyjne modele baz danych rozwj modeli z uwzgl dnieniem potrzeb i uwarunkowa tego rozwoju (hierarchiczne, sieciowe, obiektowe, specjalizowane e n dla potrzeb baz multimedialnych, XML-owych czy GIS). Kierunki rozwoju technologii systemw baz danych hurtownie danych i podstawy realizacji serwerw OLAP (modelowanie logiczne i realizacja tych modeli). Wybrane elementy prawne tworzenia i eksploatacji systemw baz danych.

W ramach zaj c laboratoryjnych poznawanie procesu realizacji kompletnych systemw baz danych z wye korzystaniem zrznicowanych srodowisk, technik i j zykw ich realizacji. Realizacja i dokumentowanie koe lejnych elementw projektu z uwzgl dnieniem wyboru sposobu ich realizacji - poczawszy od metodyki i are chitektury systemu, a na srodowiskach, technikach i j zykach aplikacji ko czac. Poznanie rznych srodowisk e n realizacji systemw baz danych (MS, Oracle, BD2 i inne w tym niekomercyjne). Nabycie umiej tnoci planoe s wania realizacji i dokumentowania swoich projektw.
Bibliograa 1. H.Garcia-Molina, J.D.Ullman, J.Widom, Systemy Baz Danych. Peny wykad, Klasyka Informatyki WNT, Warszawa, 2006 2. T.Connolly, C.Begg, Systemy baz danych metody projektowania, implementacji i zarzadzania, RM, Warszawa, 2004 3. J. Celko, SQL - Zaawansowane techniki programowania, Wydawnictwo Naukowe PWN/Mikom, 2008 4. A.Silberschatz, H.F. Korth, S. Sudarshan, Database System Concepts, 4edition, McGrowHill, 2002 5. M.Jarke, M.Lenzerini, Y.Vassiliou, P.Vassiliadis, Hurtownie danych podstawy organizacji i funkcjonowania, WSiP, Warszawa, 2003 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena uzyskana z zaliczenia laboratorium systemy baz danych, modele logiczne baz danych, metodyka realizacji systemw baz danych, architektury systemw baz danych, srodowiska realizacji systemw baz danych 34 przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
Inzynieria oprogramowania Witold Rakoczy Stopien Semestr Kategoria ECTS I 6 K 4

Celem przedmiotu jest zapoznanie studentw z przegladem zagadnie inzynierii oprogramowania w metodolo n gicznie neutralnym uj ciu, z zaakcentowaniem problematyki organizacji przedsi wzi c informatycznych oraz e e e praktyczne poznanie przez nich toku projektowania dla nietrywialnych problemw projektowych.
Program wykadu
Zakres i specyka inzynierii systemw komputerowych i jej zwiazki z inzynieria oprogramowania i z inzynie riami klasycznymi. Proces produkcji oprogramowania i metodologie jego prowadzenia. Zasady zarzadzania przedsi wzi ciami w inzynierii oprogramowania. Wymagania wobec oprogramowania; proces inzynierii wye e maga . Modelowanie, prototypowanie i specykowanie systemw. Projektowanie architektoniczne i architekn tury systemw. Projektowanie z uzyciem wielokrotnym, interfejsu uzytkownika i dla specjalnych obszarw zastosowa . Zasady prowadzenia werykacji i walidacji systemw na rznych etapach procesu tworzenia opron gramowania. Wybrane zagadnienia zarzadzania projektami informatycznymi (zesp, koszty, jakoc produktu, s zarzadzanie ryzykiem). B dy organizacji procesu produkcji oprogramowania i przyczyny niepowodze pro e n jektw informatycznych. Problemy ewolucji systemw (systemy odziedziczone, modykacja, restrukturyzacja, zarzadzanie konguracjami, zarzadzanie jakocia). s

Praktyczne zapoznanie z tokiem projektowania, w tym z identykowaniem i ograniczaniem trudnych problemw, prawidowym deniowaniem zada projektowych, doborem metod tworzenia oprogramowania, planowan niem przedsi wzi cia i kontrolowaniem jego planowej realizacji. Dziaania praktyczne prowadzone w maych e e zespoach, obejmuja projektowanie i dokumentowanie projektw pod katem wybranych aspektw tworzonych rozwiaza , w tym dokumentowanie ukierunkowane na przyszy rozwj systemw. n
Bibliograa 1. Sommerville I.: Inzynieria oprogramowania, WNT, Warszawa 2003 2. Brooks, Mityczny osobomiesiac : eseje o inzynierii oprogramowania. WNT, Warszawa 2000 3. Yourdon, E.: Marsz ku kl sce. Poradnik dla projektantw systemw. WNT, Warszawa 2007 e 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E srednia wazona ocen uzyskanych z zaliczenia i egzaminu inzynieria systemw, inzynieria wymaga , tworzenie oprogramowania n
35
Wprowadzenie do systemu UNIX Krzysztof Boryczko Stopien Semestr Kategoria ECTS I 1 K 2

Podstawowym celem przedmiotu jest usystematyzowanie wiadomoci z zakresu budowy oraz dziaania syss temu operacyjnego UNIX System V, BSD oraz Linux. Oprcz informacji teoretycznych przedmiot obejmuje podstawy uzytkowania systemu oraz wybrane aspekty administrowania.
Program wykadu
W ramach wykadu omawiane sa nast pujace zagadnienia: oglna teoria systemw operacyjnych, administro e wanie uzytkownikami i grupami uzytkownikw w systemie UNIX. Jadro systemu operacyjnego, jego kompila cja na przykadzie systemu Linux. Podsystem pami ci masowej, plik, i-w ze, system plikw. LVM, Vinum, e e GEOM jako przykady systemw pami ci masowej. Podsystem zarzadzania procesami, poj cie procesu, jego e e budowa, cykl zycia, podstawy komunikacji mi dzyprocesowej, administrowanie procesami. Usugi i adminie strowanie nimi w rznych implementacjach systemu. Interpretery polece i kongurowanie srodowiska pracy w n rodzinach csh i sh. Podstawy programowania w j zykach interpreterw polece . Podstawy teoretyczne rodziny e n protokow TCP/IP oraz ich konguracja w rznych wersjach systemu.

Zaj cia laboratoryjne suza praktycznemu zastosowaniu wiedzy b dacej przedmiotem wykadu. Fizyczna orgae e nizacja laboratorium uniemozliwia prowadzenie czynnoci administracyjnych stad cwiczone sa jedynie aspekty s mozliwe do wykonania przez zwykego uzytkownika. Tematyka zaj c jest zsynchronizowana z realizacja proe gramu wykadu i obejmuje: podstawowe komendy i pliki konguracyjne, zarzadzanie plikami, zarzadzanie procesami, konguracja interpretera polece , programowanie w j zykach interpreterw polece . n e n
Bibliograa 1. M.J. Bach, Budowa systemu operacyjnego UNIX, WNT, Warszawa, 1995. 2. K. Boryczko, Wprowadzenie do systemu UNIX, t. I, Podstawy. 3. 4. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe Srednia ocen z egzaminu i zaliczenia System operacyjny UNIX, plik, proces, systemy plikw, interpreter polece , powoka, skrypt. n przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
36
Systemy operacyjne Jarosaw Ko lak z Stopien Semestr Kategoria ECTS I 4 K 5
Informatyka Wykad 2, Cwiczenia , Laboratorium 2 http://home.agh.edu.pl/ kozlak/SO.html

Zapoznanie z budowa i zasada dziaania systemu operacyjnego, jego elementami skadowymi oraz algorytmami ich dziaania oraz z programowaniem podstawowych mechanizmw systemowych.
Program wykadu
1. Rodzaje i struktura systemw operacyjnych. Systemy monolityczne i warstwowe. Mikrojadro. 2. Budowa procesu. Stany procesu. Tworzenie procesw. Przodek i potomek. Watki. Budowa watku. Watki poziomu uzytkownika. Watki jadra. Procesy lekkie. Modele wielowatkowoci. Algorytmy planowania przydziau pro s cesora. 3. Synchronizacja. Sekcja krytyczna. Rozwiazanie problemu sekcji krytycznej. Semafory. Monitory. Problemy czytelnikw i pisarzy, producentw i konsumentw, lozofw. 4. Zakleszczenia. Warunki zajcia. s Graf przydziau zasobw. Zapobieganie i unikanie. Stan i ciag bezpieczny. Algorytm bankiera. 5. Komunikacja mi dzy procesami. 6. Zarzadzanie pami cia. Stronicowanie i segmentacja. 7. Pami c wirtualna. Wymiana. e e e Algorytmy wymiany stron. 8. Biblioteki 9. System plikw. Budowa plikw i katalogw. Przydzia miejsca na dysku. 10.Zarzadzanie wejciem-wyjciem. Sterowniki urzadze . Szeregowanie operacji dyskowych. RAID. s s n 11.Bezpiecze stwo. Zagrozenia bezpiecze stwa. Ochrona. Wamywacze. Szkodliwe programy. 12 Systemy: n n Unix, Linux, Windows.

W ramach laboratorium nalezy wykona zastaw cwicze laboratoryjnych powi conych uzytkowaniu wybrac n s e nych mechanizmw systemowych oraz wykona projekt sprawdzajacy umiej tnoc zastosowania nabytej wiec e s dzy. Cwiczenia obejmuja techniki optymalizacji kodu, uzytkowanie make, gdb, gprof, strace, zarzadzanie pa mi cia, tworzenie bibliotek statycznych i dynamicznych, pomiar czasu, operacje na plikach, tworzenie procee sw, sygnay, potoki nazwane i nienazwane, kolejki komunikatw, semafory i pami c wsplna, tworzenie i e zarzadzanie watkami i ich synchronizacj , sokety. Ponadto nalezy zaliczy kolokwia z tematyki zaja . e c c
Bibliograa 1. Abraham Silberschatz, Peter B. Galvin, Podstawy systemw operacyjnych, WNT, 2005 (wyd. 5 zmienione) 2. William Stallings, Systemy operacyjne. Struktura i zasady budowy, Wydawnictwo Naukowe PWN SA, 2006 3. W. Richard Stevens, Programowanie w srodowisku systemu Unix, WNT, 2002 4. Mark Mitchell, Jeffrey Oldham, Alex Samuel, Linux. Programowanie dla zaawansowanych, Wydawnictwo ReadMe, 2002 5. W. Richard Stevens, Stephen A. Rago, Advanced programming in the Unix Environment, Second Edition, Addison Wesley Publishing Company, 2005 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E srednia arytmetyczna ocen uzyskanych z zalicze i egzaminw n systemy operacyjne 37
Sieci komputerowe Krzysztof Zieli ski n Stopien Semestr Kategoria ECTS I 5 K 6

Celem ksztacenia jest zaznajomienie studenta z podstawami budowy sieci komputerowych, zagadnieniami kon strukcji aktualnie uzywanych protokw sieciowych oraz zarysowanie kierunkw rozwoju nowoczesnych sieci komputerowych. Efektem ksztacenia jest umiej tnoc instalowania prostej sieci komputerowej, konguracji e s sieci VLAN, roterw IP oraz ochrony sieci przed zagrozeniami.
Program wykadu
Wprowadzenie do sieci komputerowych. Komunikacja i sieci komputerowe. Podstawy teorii informacji. Model OSI/ISO zasada budowy oraz funkcje poszczeglnych warstw, model TCP/IP. Warstwa zyczna - zagadnienia transmisji sygnaw. Media transmisyjne przewodowe i bezprzewodowe, parametry aczy, okablowanie strukturalne. Warstwa acza danych funkcjonalnoc, budowa ramki, topologia sieci, protokoy dost pu do me s e dium. Zasady budowy sieci Ethernet konguracje sieci, szybkie wersje sieci Ethernet. Urzadzenia warstwy acza danych mostek, przeacznica sieciowa, algorytm Drzewa Rozpinajacego. Wirtualne sieci LAN (VLAN) rodzaje sieci, zasady budowy, zastosowanie. Warstwa sieciowa funkcjonalnoc, adresacja IPv4,IPv6, pros toky ARP, RARP, DHPC, ICMP, DNS. Zasady budowy adresacji protok NAT/PAT. Protokoy routingu wewn trznego - RIP, RIP2, IGRP, OSPF i zewn trznego EGP, BGP. Warstwa transportu - funkcjonalnoc, e e s protokw: TCP, UDP, SCTP. Zagadnienia jakoci transmisji w sieciach IP, elementy bezpiecze stwa sieci, s n sieci VPN. Technologia ATM. Bezpiecze stwo w sieciach komputerowych. Technologie udost pniania inforn e macji w sieciach komputerowych.

W ramach zaj c laboratoryjnych studenci zapoznaja si praktycznie ze wszystkimi podstawowymi zagadniee e niami budowy kongurowania i zarzadzania sieciami komputerowymi. Zaj cia sa prowadzone na urzadzeniach e sieciowych rmy CISCO. Na zaj ciach studenci realizuja samodzielnie cwiczenia laboratoryjne poprzedzane e kolokwium, ktre stanowi sprawdzian wiedzy teoretycznej. Zaj cia praktyczne maja maja charakter zada e n problemowych samodzielnie rozwiazywanych przez studentw pod kontrola prowadzacego. Tematyka cwi cze praktycznych odpowiada najwazniejszym zagadnieniom teoretycznym omawianych w ramach wykadu. n Efektem ksztacenia jest osiagni cie praktycznych umiej tnoci projektowania, kongurowania i zarzadzania e e s sieciami komputerowymi.
Bibliograa 1. 2. 3. 4. 5. A. Tanenbaum Sieci komputerowe, Kanon Informatyki, Helion, 2004 R. Scrimger, P. LaSalle, M. Parihar, M. Gupta, TCP/IP Biblia, Helion, 2002 W.R. Stevens, UNIX programowanie usug sieciowych t.1. API:gniazda i XTI, WNT, 2001 R. Breyer, S. Riley, Switched, Fast i Gigabit Ethernet Helion, 2000 Materiay dydaktyczne Akademii CISCO
38
przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E ocena uzyskana z zaliczenia laboratorium oraz egzaminu Model OSI/ISO, media transmisji, protokoy sieciowe, urzadzenia ak tywne, jakoc transmisji danych s
39
Systemy rozproszone Krzysztof Zieli ski n Stopien Semestr Kategoria ECTS I 6 K 2

Celem ksztacenia jest zaznajomienie studenta z teoretycznymi i praktycznymi aspektami budowy i dziaania komputerowych systemw rozproszonych, oraz srodowiskami implementacji oprogramowania dla tych syste mw. Wykad dotyczy srodowisk bazujacych na modelu rozproszonego przetwarzania obiektowego i stanowi podstaw dla wykadu z rozproszonych technologii komponentowych i SOA. e
Program wykadu
Systemy rozproszone denicja, poj cia podstawowe, usugi bazowe w systemach rozproszonych. Budowa e aplikacji sieciowych. Mechanizmy komunikacji w systemach rozproszonych - zdalne wywoanie procedury, zdalne wywoanie metody, przesyanie komunikatw. Migracja - rodzaje oraz znaczenie w budowie srodowisk przetwarzania rozproszonego. Warstwy poredniczace obiektowe OOM, oraz zorientowane na wiadomoci s s MOM. Srodowisko RMI i jego budowa. Zarzadzanie zasobami w srodowisku RMI JAF. CORBA ar chitektura systemu i jej znaczenie dla rozwoju obiektowych srodowisk rozproszonych. Elementy architektury CORBA podstawowe interfejsy, POA, DII, DSI. Usugi CORBA: Name Service, Trading, Transaction Service, Event. Service, Notication Service. Kanoniczne problemy systemw rozproszonych poj cie czasu, e zegary logiczne Lamporta, zegary wektorowe. Modele spjnoci w systemach rozproszonych. Replikacja oraz s protokoy zarzadzanie replikami danych. Algorytmy elekcji oraz synchronizacji w srodowisku rozproszonym.

Zaj cia laboratoryjne sa praktyczna werykacja zagadnie poruszanych na wykadzie. Studenci oprcz znajoe n moci teorii, musza wykaza si biegym programowaniem w j zykach C, C++ i Java, w ktrych to j zykach ims c e e e plementuja aplikacje rozproszone korzystajac z poznawanych technologii. Zaj cia laboratoryjne rozpoczynaja e zagadnienia z programowania niskopoziomowego przy uzyciu API Gniazd czy RPC, a dalej wprowadzane sa mechanizmy Java RMI i CORBA oraz ICE. Zapoznawanie studentw z kolejnymi technologiami odbywa sa na zasadzie ich porwnania z wczeniej omawianymi, co daje studentom mozliwoc sledzenia rozwoju technolos s gii budowy oprogramowania i lepszego jej zrozumienia a takze pozwala na budowanie prostych interakcyjnych aplikacji internetowych dziaajacych w oparciu o baz danych. e
Bibliograa 1. A. Tanenbaum, S. Maatern, Systemy rozproszone. Zasady I paradygmaty, Klasyka Informatyki, WNT, 2006 2. M. Henning, S. Vinowski, Advanced CORBA Programming in C++ , Addison-Wesley, 1999 3. R. Johson, J. Hoeller, A. Anderson, T, Risberg, C. Sampaleanu, Spring Framework. Profesjonalne tworzenie oprogramowania w Javie,Helion,2006 4. G. F. Coulouris, Systemy rozproszone. Podstawy i projektowanie ,WNT, 1999 5. W. Grosso, Java RMI Design and Building Distributed Systems, OReilly, 2002
40
ocena uzyskana z zaliczenia laboratorium oraz egzaminu systemy rozproszone, warstwy poredniczace, obiektowe systemy rozs proszone, problemy kanoniczne
41
Bezpiecze stwo systemw komputerowych n Witold Rakoczy Stopien Semestr Kategoria ECTS I 6 K 2

Celem przedmiotu jest zapoznanie studentw ze wszystkimi podstawowymi aspektami bezpiecze stwa systen mw komputerowych, a zwaszcza zasadami doboru metod i srodkw technicznych dla realizacji zabezpiecze n systemw i sieci komputerowych.
Program wykadu
Limitowanie dost pu do systemw komputerowych i do danych. Sterowanie uprawnieniami uzytkownika; idene tykacja, autentykacja i autoryzacja, rozwiazania dla identykacji i autentykacji uzytkownikw. Ochrona pry watnoci danych uzytkownika; bezpiecze stwo danych systemu - bazy danych i dane przesyane; szyfrowanie s n danych; problem przekazywania kluczy. Bezpiecze stwo danych w Internecie; podpis elektroniczny i certyn kacja, autentykacja usugodawcw, certykacja serwerw, bezpieczna poczta elektroniczna. Infrastruktura PKI i srodki techniczne, niezb dne dla jej budowy, waciwoci sprz towych moduw kryptogracznych. Ochrona e s s e systemw przed umylnymi uszkodzeniami - podstawowe zagrozenia i metody ich unikania. Ochrona sieci prys enia, ataki na sieci i ich wykrywanie, metody unikania i przeciwdziaania. Reagowanie watnych, typowe zagroz na naruszenia bezpiecze stwa i poprawnoci funkcjonowania sieci. Polityka bezpiecze stwa instytucji - zasady n s n konstruowania i holistyczne podejcie do zapewniania bezpiecze stwa. s n

Zaj cia laboratoryjne suza opanowaniu praktycznych umiej tnoci stosowania zasad ustalania, implementacji e e s i wdrazania polityki bezpiecze stwa oraz posugiwania si narz dziami suzacymi do tego celu, a zwaszcza: n e e uzywania sprz towych srodkw i urzadze kryptogracznych dla celw ochrony i uwierzytelniania danych, e n n sterowania uprawnieniami uzytkownikw, monitorowania zagoze i wykrywania atakw.
Bibliograa 1. 2. 3. 4. 5. Adams, C., PKI. Podstawy i zasady dziaania, PWN , Maj 2007 enezes A., van Oorschot P., Vanstone S., Kryptograa stosowana, WNT, 2005 Anderson, R., Inzynieria zabezpiecze , WNT, 2005 n Lehtinen R., Russell D., Podstawy ochrony komputerw, Wydawnictwo Helion, 2007 Zalewski M., Cisza w sieci, Wydawnictwo Helion, 2005 przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
ocena uzyskana z zaliczenia bezpiecze stwo, ataki, polityka bezpiecze stwa n n
42
Teoria automatw i j zykw formalnych e Janusz Majewski Stopien Semestr Kategoria ECTS I 4 K 5
Informatyka Wykad 2, Cwiczenia 1, Laboratorium http://kompilatory.agh.edu.pl

Celem wykadu jest zapoznanie studentw z teoria automatw i j zykw formalnych. Wprowadzane sa pod e stawowe poj cia, dokonywana jest klasykacja j zykw formalnych, omawiane jest deniowanie j zykw, e e e budowa automatw akceptujacych j zyki oraz ich zastosowanie w kontekcie zagadnie translacji b dacych e s n e przedmiotem kursu teorii kompilacji na III roku.
Program wykadu
J zyk naturalny a j zyk formalny. Deniowanie j zyka formalnego. Poj cia i operacje podstawowe. Klasye e e e kacja Chomskyego. Gramatyka bezkontekstowa, jednoznacznoc gramatyki. Rozbir gramatyczny. Niedes terministyczny i deterministyczny automat ze stosem. Automat ze stosem a gramatyka bezkontekstowa. Od gramatyki bezkontekstowej do automatu ze stosem. Postaci normalne gramatyk bezkontekstowych. Wasno sci zamkni toci j zykw bezkontekstowych. Technologie parsingu. Algorytm Cockea-Youngera-Kasamiego. e s e Wyrazenia regularne, j zyki regularne. Deterministyczny (DFA) i niederministyczny (NFA) automat sko czony. e n Gramatyka regularna. Od wyrazenia regularnego do DFA. Twierdzenie Myhilla-Nerodea. Minimalizacja auto matu sko czonego. Od DFA do wyrazenia regularnego i gramatyki regularnej. Wasnoci zamkni toci j zykw n s e s e regularnych. J zyki kontekstowe i automaty liniowo-ograniczone. Deterministyczne i niedeterministyczne mae szyny Turinga. J zyki rekurencyjne i rekurencyjnie przeliczalne. Problemy nierozstrzygalne. J zyki nie b dace e e e rekurencyjnie przeliczalnymi.

W przedmiocie prowadzone sa cwiczenia audytoryjne. Treci tych zaj c ugruntowuja i rozszerzaja wiedz s e e przekazywana podczas wykadw. Rozwiazywane sa zadania, dowodzone sa niektre rezultaty teoretyczne. Szczeglna uwag zwraca si na zagadnienia teoretyczne rozwiazywane z wykorzystaniem podejcia algoryt e e s micznego, jak np. algorytmy decyzyjne dla j zykw bezkontekstowych i regularnych, dowodzenie w oparciu e n o lematy o pompowaniu, przeksztacenia gramatyk, automatw i wyraze regularnych, klasykowanie gramatyk i j zykw z wykorzystaniem hierarchii Chomskyego, projektowanie gramatyk i automatw dla zadanych e j zykw formalnych. e
Bibliograa 1. Aho A. V., Sethi R., Ullman J. D.: Kompilatory. Reguy, metody i narz dzia, WNT, 2002 e 2. Homenda W.: Elementy lingwistyki matematycznej i teorii automatw, Ocyna Wydawnicza Politechniki Warszawskiej, 2005 3. Hopcroft J. E., Motwani R., Ullman J. D.: Wprowadzenie do teorii automatw, j zykw i oblicze , e n PWN, 2005 4. Ross K. A., Wright C. R. B.: Matematyka dyskretna, PWN, 1996 5. Sipser M.: Wprowadzenie do teorii oblicze , WNT, 2009 n
43
przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E srednia arytmetyczna ocen uzyskanych z zaliczenia i egzaminu, zaokra glana w razie potrzeby w kierunku egzaminu. lingwistyka matematyczna, j zyk formalny, gramatyka, automat abstrake cyjny
44
Teoria kompilacji 1 Janusz Majewski Stopien Semestr Kategoria ECTS I 5 K 2
Informatyka Wykad 2, Cwiczenia , Laboratorium 2 http://kompilatory.agh.edu.pl

Celem wykadu jest przedstawienie studentom teoretycznych i praktycznych podstaw budowy kompilatorw. Podejcie bazujace na gramatykach bezkontekstowych i translacji kierowanej skadnia wykorzystywane jest do s zaprezentowania konstrukcji i dziaania przedniej cz sci kompilatora (ang. front end). e
Program wykadu
Translatory, kompilatory, interpretery. Gwne moduy funkcjonalne translatora. Analiza leksykalna. Skaner. Specykacja, rozpoznawanie symboli leksykalnych w oparciu o niedeterministyczny poaczony automat sko n czony oraz deterministyczny automat sko czony, implementacja skanera. Generator analizatorw leksykalnych n Lex. Analiza syntaktyczna. Parser. Gramatyki LL(k). Projektowanie i implementacja parsera LL(1) metoda procedur rekurencyjnych. Gramatyki LR(k). Parser LR(1). Parser SLR(1), projektowanie parsera redukujacego w oparciu o gramatyki niejednoznaczne. Parser LALR(1). Generator analizatorw syntaktycznych Yacc. Parser oparty o gramatyki z pierwsze stwem operatorw. Analiza semantyczna. Gramatyki atrybutowane. Translacja n kierowana skadnia. Gramatyki S-atrybutowane, obliczenia wst pujace denicji S-atrybutowanych. Gramatyki e L-atrybutowane, obliczenia zst pujace i wst pujace denicji L-atrybutowanych. Obliczenia rekurencyjne dee e nicji L-atrybutowanych. Analiza denicji kierowanych skadnia. Obliczenia rekurencyjne dla drzewa rozbioru.

W przedmiocie prowadzone sa cwiczenia laboratoryjne powi cone gwnie implementacji analizatorw lek s e sykalnych i syntaktycznych, z elementami translacji kierowanej skadnia, z wykorzystaniem generatorw Lex i Yacc. Realizowane jest takze kilka spotka o charakterze audytoryjnym, wyjaniajacych szczegy algorytmw n s analizy leksykalnej, parsingu oraz prezentujacych projektowanie i badanie gramatyk atrybutowanych.
Bibliograa 1. Aho A. V., Sethi R., Ullman J. D.: Kompilatory. Reguy, metody i narz dzia, WNT, 2002 e 2. Waite W., Goos G.: Konstrukcja kompilatorw, WNT, 1989. 3. Hopcroft J. E., Motwani R., Ullman J. D.: Wprowadzenie do teorii automatw, j zykw i oblicze , e n PWN, 2005 4. Hopgood F.R.A. Metody kompilacji. 1982. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena ko cowa jest ocena z cwicze laboratoryjnych, wymagane jest pon n zytywne zaliczenie wykadu kompilacja, analiza leksykalna, analiza syntaktyczna, translacja kierowana skadnia przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
45
Teoria kompilacji 2 Janusz Majewski Stopien Semestr Kategoria ECTS I 6 K 4
Informatyka Wykad 2, Cwiczenia , Laboratorium 1 http://kompilatory.agh.edu.pl

Wykad stanowi kontynuacj przedmiotu teoria kompilacji (1). Przedstawia si w nim teoretyczne i praktyczne e e podstawy budowy tylnej cz sci kompilatora (ang. back end), zwaszcza kompilatora optymalizujacego (ang. e optimizing compiler). Szczeglne miejsce zajmuja tutaj zagadnienia przydziau pami ci, translacji do kodu e poredniego oraz optymalizacji metoda analizy przepywu, a takze generacji kodu ostatecznego. s
Program wykadu
s Kontrola typw. System typw, rwnowaznoc typw, przeciazalnoc operatorw, funkcje polimorczne. Or s ganizacja pami ci. Strategie alokacji pami ci. Dost p do nazw nielokalnych. Przekazywanie parametrw. e e e Generacja kodu poredniego. Kod trjadresowy. Tumaczenie typowych konstrukcji j zykowych. Generowas e n nie kodu poredniego na przykadzie kodu dla wyraze logicznych. Optymalizacja kodu poredniego. Bloki s s podstawowe i grafy przepywu. P tle w grafach przepywu. Globalna analiza przepywu danych. Iteracyjne e rozwiazywanie rwna przepywu danych. Optymalizacja w grafach przepywu. Transformacje poprawiajace n kod. Obsuga synonimw. Optymalizacja przez szpark . Generacja kodu wynikowego. Generowanie kodu e z drzew syntaktycznych i skierowanych grafw acyklicznych. Przydzia i wyznaczanie rejestrw. Algorytmy generowania kodu.

Prowadzone sa zaj cia projektowe, dzi ki ktrym student powinien umie zdeniowa j zyk formalny do wy e e c c e branego problemu (zastosowania), zaprojektowa i zaimplementowa odpowiednie moduy funkcjonalne komc c pilatora tego j zyka, przetestowa i odpowiednio udokumentowa projekt. e c c
Bibliograa 1. Aho A. V., Sethi R., Ullman J. D.: Kompilatory. Reguy, metody i narz dzia, WNT, 2002 e 2. Waite W., Goos G.: Konstrukcja kompilatorw, WNT, 1989. 3. Hopcroft J. E., Motwani R., Ullman J. D.: Wprowadzenie do teorii automatw, j zykw i oblicze , e n PWN, 2005 4. Hopgood F.R.A. Metody kompilacji. 1982. 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E srednia arytmetyczna ocen uzyskanych z zaliczenia cwicze projekton wych i egzaminu, zaokraglana w razie potrzeby w kierunku egzaminu. kompilacja, analiza semantyczna, kontrola typw, generacja kodu, kompilator optymalizujacy, analiza przepywu
46
Teoria oblicze i zozonoci obliczeniowej 1 n s Piotr Faliszewski Stopien Semestr Kategoria ECTS I 5 K 2
Informatyka Wykad 2, Cwiczenia 1, Laboratorium http://home.agh.edu.pl/ faliszew/toizo/

Zapoznanie studentw z formalnymi modelami oblicze , metodami analizy zozonoci czasowej i pami ciowej n s e problemw obliczeniowych, wskazanie granic obliczalnoci. s
Program wykadu
J zyki oraz problemy decyzyjne. Maszyna Turinga (deterministyczna i niedeterministyczna, modykacje). e Poj cie obliczalnoci na maszynie Turinga. Inne modele oblicze . Teza Turinga-Churcha. Problemy nieroze s n strzygalne. Problem stopu. Poj cie redukcji mi dzy problemami obliczeniowymi. Wykorzystanie redukcji w e e dowodach nierozstrzygalnoci. Zozonoc czasowa dla deterministycznej maszyny Turinga. Zozonoc czasowa s s s niedeterministycznej maszyny Turinga. Klasy P i NP. Poj cie NP-zupenoci. Problemy NP-zupene. Przykady e s algorytmw dla problemw NP-zupenych. Poj cie sabej NP-zupenoci. Wasnoci problemw NP-zupenych e s s oraz przykadowe prby rozwiazania problemu P versus NP. Klasa NPI oraz twierdzenie Ladnera.

Prowadzone sa cwiczenia tablicowe, ktrych celem jest ugruntowanie i poszerzenie wiedzy z wykadw. W trakcie cwicze studenci rozwiazuja zadania dotyczace teorii oblicze oraz zozonoci obliczeniowej (np. pin n s sza programy maszyn Turinga, dowodza nierozstrzygalnoci zadanych problemw, dowodza wasnoci modeli s s oblicze i problemw obliczeniowych). n
Bibliograa 1. 2. 3. 4. 5. Sipser M.: Wprowadzenie do teorii oblicze . WNT, Warszawa 2009 n Papadimitriou C.H.: Zozonoc obliczeniowa. WNT, Warszawa 2002 s Bovet D.P, Crescenzi P.: Introduction to the theory of complexity. Prentice Hall, 1994 Wegener I.: Complexity Theory, Springer, 2005 Kocielski A.: Teoria oblicze . Wydawnictwo Uniwersytetu Wrocawskiego, Wrocaw 1997 s n przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
Ocena z cwicze n rozstrzygalnoc, klasa NP, NP-zupenoc, redukcja, problemy decyzyjne s s
47
Teoria oblicze i zozonoci obliczeniowej 2 n s Piotr Faliszewski Stopien Semestr Kategoria ECTS I 6 K 4
Informatyka Wykad 1, Cwiczenia , Laboratorium 1 http://home.agh.edu.pl/ faliszew/toizo/

Celem przedmiotu jest zapoznanie studentw z metodami rozwiazywania problemw o wysokiej zozonoci s obliczeniowej (zarwno pod wzgl dem teoretycznym jak i praktycznym) oraz przedstawienie zaawansowanych e metod analizy zozonoci czasowej i pami ciowej. s e
Program wykadu
Dokadne, wykadnicze algorytmy dla problemw NP-zupenych. Algorytmy aproksymacyjne dla problemw NP-zupenych (w tym w peni wielomianowe schematy aproksymacji). Obliczenia z wyrocznia oraz hierarchia wielomianowa. Klasa PSPACE i jej relacja do hierarchii wielomianowej. Obliczenia z pami cia logarytmiczna. e Problem L versus NL oraz NL versus coNL. Granice aproksymacji. Twierdzenie o probabilistycznie werykowalnych dowodach (PCP).

Prowadzony sa zaj cia projektowe, ktrych celem jest zapoznanie studentw z praktycznymi aspektami rozwia e zywania trudnych obliczeniowo problemw (np. NP-zupenych) oraz przedstawienie praktycznego znaczenia wysokiej zozonoci obliczeniowej. W ramach projektu studenci otrzymuja problem dla ktrego nie jest znany s algorytm wielomianowy i ich zadanie polega na napisaniu programu, ktry efektywnie znajduje rozwiazania dla mozliwie jak najszerszej gamy instancji tego problemu. Studenci pracuja indywidualnie. Wszyscy studenci zajmuja si tym samym problemem. e
Bibliograa 1. 2. 3. 4. 5. Sipser M.: Wprowadzenie do teorii oblicze . WNT, Warszawa 2009 n Papadimitriou C.H.: Zozonoc obliczeniowa. WNT, Warszawa 2002 s Bovet D.P, Crescenzi P.: Introduction to the theory of complexity. Prentice Hall, 1994 Wegener I.: Complexity Theory, Springer, 2005 Kocielski A.: Teoria oblicze . Wydawnictwo Uniwersytetu Wrocawskiego, Wrocaw 1997 s n przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Ocena z egzaminu, modykowana na podstawie terminw uzyskania zaliczenia z przedmiotu. zozonoc obliczeniowa, NP, PSPACE, hierarchia wielomianowa, algos rytmy przyblizone
48
Podstawy elektrotechniki Anna Wasiewicz-Por bska e Stopien Semestr Kategoria ECTS I 1 K 2

Podstawowym celem jest zapoznanie ze zjawiskami elektrycznymi w obwodach pradu staego i zmiennego oraz nabycie umiej tnoci opisu i analizy obwodw elektrycznych. W szczeglnoci, zaznajomienie z metodami e s s topologicznymi w oparciu o ktre tworzone sa programy komputerowe analizy obwodw.
Program wykadu
W ramach wykadu prezentowane sa nast pujace zagadnienia: Podstawowe poj cia i prawa pola elektrycznego e e i magnetycznego. Prawa Kirchhoffa, twierdzenie o zrdle zast pczym, zasada superpozycji, transguracje. e Metody analizy obwodw elektrycznych pradu staego i zmiennego. Elementy teorii grafw. Metody topolo giczne - napi c w zowych i pradw oczkowych. Analiza obwodw pradu sinusoidalnie zmiennego - metoda e e zmiennych zespolonych. Zjawisko rezonansu amplitudowego i fazowego, moc, wykresy wektorowe. Ukady trjfazowe jako szczeglny przykad obwodw pradu sinusoidalnego. Metody analizy stanw nieustalonych w liniowych obwodach elektrycznych.

W ramach zaj c laboratoryjnych poznawanie zasad bezpiecznej obsugi urzadze elektrycznych i ochrony e n przeciwporazeniowej. Zapoznanie si z przyrzadami pomiarowymi dla pradu staego i zmiennego. Nabycie e umiej tnoci prowadzenia pomiarw elektrycznych, dokumentowania i opracowania wynikw.Ilustracja praw e s obwodw elektrycznych; pomiary w obwodach pradu staego i zmiennego. Wyznaczanie modeli rzeczywistych elementw elektrycznych RLC, zdejmowanie charakterystyk urzadze elektrycznych, obserwacja zjawisk elek n trycznych.
Bibliograa 1. S. Bolkowski, Teoria obwodw elektrycznych, WNT, Warszawa, 2006 2. S. Osowski, K. Siwek, M. Smiaek, Teoria obwodw, Ocyna Wydawnicza Politechniki Warszawskiej, Warszawa, 2006 3. P. Suli ski, Podstawy elektrotechniki oglnej, Wydawnictwo AGH, Krakw 1990, dost pne na n e stronie www.bg.agh.edu.pl 4. L.O.Chua, P.M.Lin: Komputerowa analiza ukadw elektronicznych - algorytmy i metody obliczeniowe, WNT 1981 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena uzyskana z zaliczenia laboratorium Teoria obwodw elektrycznych, obwody pradu staego i zmiennego, me toda symboliczna przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
49
Podstawy elektroniki Ryszard Gola ski n Stopien Semestr Kategoria ECTS I 2 K 2
Informatyka Wykad 1, Cwiczenia , Laboratorium 1 http://ke.agh.edu.pl/ lab301/www

Celem wykadu jest zapoznanie studentw z zycznymi podstawami materiaw pprzewodnikowych, budowa przyrzadw elektronicznych i ich modelami (diody, tranzystory bipolarne, MOS). Waznym etapem wykadu jest wyjanienie zasad elementarnej teorii sprz zenia zwrotnego i jej aplikacji w ukadach elektronicznych. Etap ten s e ma prowadzi nabycia umiej tnoci analizy waciwoci podstawowych ukadw elektronicznych takich jak c e s s s wzmacniacze i generatory.
Program wykadu
Pprzewodniki - budowa pprzewodnikw samoistnych i domieszkowanych, przewodnictwo elektryczne pprzewodnikw. Zacza pprzewodnikowe, analiza charakterystyki i parametry diody zaczowej. Rodzaje diod. Prostowniki jako przykad zastosowania diod. Tranzystor bipolarny, tranzystor MOS -zasada dziaania i charakterystyki- interpretacja i pomiar parametrw. Wzmacniacze zmiennopradowe i staopradowe (wzmac niacze operacyjne). Modele diod i tranzystorw- zasady wyznaczania podstawowych parametrw statycznych i dynamicznych wzmacniaczy. Elementarna teoria sprz zenia zwrotnego i przykady jej praktycznych aplikacji e w ukadach elektronicznych, w tym w generatorach.

W ramach zaj c laboratoryjnych praktyczne i symulacyjne pomiary parametrw diod, tranzystorw bipoe larnych i unipolarnych, rznych rodzajw wzmacniaczy, oraz generatorw. Badania symulacyjne wybranych ukadw elektronicznych obserwacje wpywu elementw na parametry badanego ukadu i werykacja obserwacji z obliczeniami analitycznymi oraz praktycznymi pomiarami tego ukadu analiza wynikw.
Bibliograa 1. S. Kuta Elementy i Ukady elektroniczne cz.I, cz II, AGH Uczelniane Wydawnictwa Nauk.Dydakt., Krakw, 2000 2. Horowitz Paul, Hill WineldJ Sztuka elektroniki, cz. 1-2, WKi, Warszawa, 2009 3. Marc T. Thompson Intuitive Analog Circuit, Elsevier, Amsterdam 2006 4. Tietze Ulrich, Schenk Christoph Ukady pprzewodnikowe, WNT, Warszawa, 2009 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe aktywnoc na wykadach, dobrowolne kilkuminutowe wypowiedzi pis semne na zadany temat, test ko cowy, ocena z laboratorium. n pprzewodniki, elementy pprzewodnikowe, sprz zenie zwrotne, e wzmacniacze elektroniczne, generatory elektroniczne przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
50
Asemblery i systemy wbudowane Jacek Dugopolski Stopien Semestr Kategoria ECTS I 3 K 2

Celem wykadu jest zapoznanie studentw z idea j zykw asemblerowych, z ich skadnia oraz z technikami proe gramowania mikroprocesorw za pomoca j zykw asemblerowych. Ponadto studenci zdobywaja umiej tnoci e e s rozwiazywania problemw informatycznych na poziomie instrukcji j zyka maszynowego. e
Program wykadu
Zestawienie zalet i wad j zykw niskiego poziomu typu asembler. Omwienie budowy moduowej przykae dowych mikroprocesorw typu CISC: Intel 8086 i Intel 8051 oraz przykadowego procesora typu RISC: Mi crochip PIC16C84. Dokadne omwienie list rozkazw dla wyzej wymienionych mikroprocesorw i rznic mi dzy nimi. Omwienie struktury programu zrdowego w j zyku asemblera i sposobu kompilacji. Ome e wienie podstaw pisania programw w j zykach asemblerowych. Metody korzystania z przerwa sprz towych e n e i programowych w procesorach. Wybrane techniki programowania w j zykach asemblerowych (m.in.: tryby e adresowania pami ci i urzadze wejcia/wyjcia, instrukcje warunkowe, p tle, operacje a cuchowe, i inne). e n s s e n Omwienie operacji na plikach dyskowych i technik opartych na bezporednim dost pie do pami ci obrazu. s e e

W ramach przedmiotu prowadzone sa zaj cia laboratoryjne, podczas ktrych studenci zdobywaja praktyczne e umiej tnoci programowania w j zykach asemblerowych. Wymagana jest realizacja minimum trzech prograe s e mw, okrelonych przez prowadzacego. Tworzone przez studentw programy powinny wykorzystywa opes c racje na konsoli (wczytywanie danych z klawiatury i wypisywanie wyniku na ekranie w trybie tekstowym), operacje na plikach dyskowych (zapis i odczyt) oraz operacje bezporedniego dost pu do pami ci obrazu w trys e e bach gracznych. W ramach zaj c, dla studentw szczeglnie zainteresowanych przedmiotem, dopuszczalne e sa rwniez realizacje wi kszych pojedynczych projektw, po wczeniejszym uzgodnieniu tego z prowadzacym e s zaj cia. e
Bibliograa 1. Kruk Stanisaw, Assembler, format: 160x235, 304 strony, wyd. PWN 2009 2. Metzger Piotr, Anatomia PC, format: B5, 1216 stron, wyd. XI, Helion 2007 3. Wrbel Eugeniusz Programowanie w j zyku asemblera MASM. Laboratorium, format: 120 stron, e askiej, Gliwice 2006 Wyd. Politechniki Sl 4. Vlad Pirogov Asembler. Podr cznik programisty, format: B5, 640 stron, Wyd. Helion, Gliwice e 2005 5. Abel Peter, Programowanie Asembler IBM PC , format: B5, 600 stron, wyd. RM 2004 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe srednia ocen czastkowych uzyskanych podczas zaj c e informatyka, programowanie, j zyki maszynowe, procesory e przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
51
Technika cyfrowa Roman Krasowski Stopien Semestr Kategoria ECTS I 3 K 5

Podstawowym celem nauczania przedmiotu jest wprowadzenie w kolejna dziedzin elektroniki jaka jest tech e nika cyfrowa, ktrej zrozumienie funkcjonowania jest niezb dne do dalszej nauki o budowie sprz tu komputee e rowego
Program wykadu
Poj cia podstawowe - podzia ukadw cyfrowych, parametry ukadu cyfrowego. Ukady kombinacyjne i see kwencyjne - wprowadzenie. Techniki realizacyjne ukadw cyfrowych - ukady TTL, MOS. Podstawowe wa snoci algebry Boolea. Bramki logiczne, tablice prawdy. Realizacje zozonych funkcji logicznych i minimas lizacja projektu. Siatki Karnaugha. Przerzutniki: rodzaje, klasykacje i podstawowe parametry, typu: RS, D, JK, JK-MS, wyzwalanie zboczem i poziomem. Liczniki: podzia, rodzaje, klasykacje i podstawowe parametry, synchroniczne i asynchroniczne, modulo i do n, automaty, sposoby tworzenia licznika do dowolnego n, przykady realizacji, liczniki rewersyjne. liczniki scalone - przykady. Denicja mikrooperacji. Kodery, dekodery, konwertery kodw. Multipleksery i demultipleksery. Rejestry rwnolege i rejestry przesuwajace, Psumatory, sumatory, komparatory, multiplikatory, jednostki arytmetyczo-logiczne. Programowalne struktury logiczne PLD.

W ramach zaj c laboratoryjnych poznawanie rznych ukadw wymienionych w programie przedmiotu z wye korzystaniem do tego celu stanowisk laboratoryjnych wirtualnych bad rzeczywistych. Przykadowe tematy z to; -podstawowe funktory logiczne , ich waciwoci oraz charakterystyki, podstawy syntezy kombinacyjnych s s ukadw logicznych, ukady sekwencyjne; przerzutniki, liczniki i rejestry. W drugiej cz sci ktre obejmuja e zaj cia praktyczne, wykonanie prostego projektu zrealizowanego w oparciu o programowalne ukady FPGA. e Moga one sterowa np. jakim efektem swietlnym pokazywanym na doaczonych wywietlaczach LED. c s s
Bibliograa 1. 2. 3. 4. 5. P.Horowitz, W.Hill Sztuka elektroniki - WK 2000 U. Tietze, Ch. Shenk Ukady elektroniczne WNT 1996 J. Kalisz - Podstawy elektroniki cyfrowej WK 2007 A. Skorupski Podstawy techniki cyfrowej WK 2001 B. Wilkinson Ukady cyfrowe WK 2000 przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Srednia ocen uzyskanych z zaliczenia laboratorium oraz z egzaminu Elektronika cyfrowa, ukady cyfrowe, projektowanie ukadw cyfrowych
52
Technika mikroprocesorowa 1 Roman Krasowski Stopien Semestr Kategoria ECTS I 4 K 2

Zrozumienie czym sa i jak dziaaja wspczesne systemy mikroprocesorowe bez wzgl du na ich stopie kom e n plikacji. Przyblizenie zasad budowy i dziaania mikroprocesorw, pami ci oraz ukadw wejcia-wyjcia. Poe s s kazanie poacze mi dzy nimi oraz do urzadze zewn trznych dziaajacych w systemach komputerowych. n e n e
Program wykadu
Elementy skadowe systemu mikroprocesorowego. Poj cia podstawowe: instrukcja, sowo, przestrze adree n sowa, sygnay sterujace, magistrala. Organizacja prostego komputera: przesania mi dzyrejestrowe i mikroope e racje, funkcje sterujace, mikrorozkazy, pami c sterujaca. Ewolucja systemu komputerowego - od przetwarzania e sekwencyjnego do architektury superskalarnej. Rwnolegoc przetwarzania realizowana na rznych pozios mach. Przetwarzanie wielowatkowe. Wielozadaniowoc i praca w trybie wirtualnym. Zarzadzanie i ochrona s pami ci. Segmentacja i stronicowanie. Pami c podr czna. Rozwiazywanie koniktw. Mechanizm przewidye e e wania skokw warunkowych i zmiany kolejnoci wykonywanych mikrooperacji, jednostka alokacji rejestrw. s Rozwiazania wieloprocesorowe i wielordzeniowe. Pami ci stosowane w systemach. Programowalne ukady e wejcia-wyjcia. s s

W ramach zaj c laboratoryjnych praktyczne poznawanie rznych elementw systemu mikroprocesorowego od e procesorw poczawszy, poprzez programowalne ukady wejcia-wyjcia, ko czac na rznych urzadzeniach ze s s n wn trznych doaczanych do systemu i ich obsudze. Przykadowe tematy tych zaj c to struktura mikrokome e putera, podstawy programowania mikrokontrolerw ARM w j zyku C, programowanie mikrokontrolerw AVR e w j zyku BASIC, wsppraca mikrokontrolerw z przetwornikami DAC oraz ADC i innymi urzadzeniami zee wn trznymi. e
Bibliograa 1. 2. 3. 4. 5. A. Skorupski Podstawy budowy i dziaania komputerw- WK 2000 P.Metzger, A.Jeowiecki, - Anatomia PC - Helion 2008 W. Stallings - Organizacja i architektura systemu komputerowego - WNT 2000 M. Mano - Architektura komputerw - WNT 1980
ocena uzyskana z zaliczenia laboratorium Sprz t komputerowy, mikroprocesory, architektura systemu mikroprocee sorowego
53
Technika mikroprocesorowa 2 Roman Krasowski Stopien Semestr Kategoria ECTS I 5 K 4
Informatyka Wykad , Cwiczenia , Laboratorium 2

Zrozumienie czym sa i jak dziaaja wspczesne systemy mikroprocesorowe bez wzgl du na ich stopie kom e n plikacji. Przyblizenie zasad budowy i dziaania mikroprocesorw, pami ci oraz ukadw wejcia-wyjcia. Poe s s kazanie poacze mi dzy nimi oraz do urzadze zewn trznych dziaajacych w systemach komputerowych. n e n e
Program wykadu
Elementy skadowe systemu mikroprocesorowego. Poj cia podstawowe: instrukcja, sowo, przestrze adree n sowa, sygnay sterujace, magistrala. Organizacja prostego komputera: przesania mi dzyrejestrowe i mikroope e racje, funkcje sterujace, mikrorozkazy, pami c sterujaca. Ewolucja systemu komputerowego - od przetwarzania e sekwencyjnego do architektury superskalarnej. Rwnolegoc przetwarzania realizowana na rznych pozios mach. Przetwarzanie wielowatkowe. Wielozadaniowoc i praca w trybie wirtualnym. Zarzadzanie i ochrona s pami ci. Segmentacja i stronicowanie. Pami c podr czna. Rozwiazywanie koniktw. Mechanizm przewidye e e wania skokw warunkowych i zmiany kolejnoci wykonywanych mikrooperacji, jednostka alokacji rejestrw. s Rozwiazania wieloprocesorowe. Pami ci stosowane w systemach. Programowalne ukady wejcia-wyjcia. e s s

W ramach zaj c projektowych wykonywanie indywidualnych projektw w zespoach 2-3 osobowych w celu e nabycia praktycznych umiej tnoci konstruowania prostych systemw mikroprocesorowych a nawet bardziej e s zozonych ale zrealizowanych w oparciu o technik programowalnych ukadw logicznych(PLD). Przykadowe e projekty to najcz sciej sterowane zdalnie pojazdy typu roboty mobilne, elementy sterowa inteligentnym bue n dynkiem oraz praktyczne realizacje rznych indywidualnych pomysw na proste systemy wbudowane. Przy okazji realizacji mozna nauczy si wykonywa proste prace inzynierskie takie jak projektowanie i wykonywac e c nie pytek drukowanych, lutowanie nawet bardzo skomplikowanych elementw w tym SMD.
Bibliograa 1. 2. 3. 4. 5. A. Skorupski Podstawy budowy i dziaania komputerw - WK 2000 P.Metzger, A.Jeowiecki, Anatomia PC - Helion 2008 W. Stallings - Organizacja i architektura systemu komputerowego - WNT 2000 M. Mano - Architektura komputerw - WNT 1980
przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Srednia ocen uzyskanych z zaliczenia projektu oraz z egzaminu ko con wego Sprz t komputerowy, mikroprocesory, architektura systemu mikroprocee sorowego
54
Architektura komputerw Jacek Kitowski Stopien Semestr Kategoria ECTS I 6 K 2
Informatyka Wykad 2, Cwiczenia , Laboratorium

Celem wykadu jest zaprezentowanie problematyki budowy sprz tu komputerowego, a w szczeglnoci budowy e s komputerw wieloprocesorowych i ich podstawowych zastosowa w nauce i technice. n
Program wykadu
Geneza zapotrzebowania na duza moc komputerowa, typowe zastosowania w nauce i technice, miary oceny wydajnoci systemw komputerowych, zasada pracy komputera, organizacja jednostki centralnej, przyspieszes nie i efektywnoc oblicze rwnolegych, zasada Amdahla, przeglad wspczesnych typw procesorw o wielu s n rdzeniach, przykady realizacji. Wieloprocesorowoc organizacja komputera o wielu procesorach, rodzaje taks sonomii komputerw wieloprocesorowych, mechanizm sterowania, organizacja przestrzeni adresowej, granulacja oblicze , organizacja warstwy komunikacyjnej, architektura klastrowa i rozproszona, przykady istniejacych n rozwiaza , przeglad modeli oblicze rwnolegych, odwzorowanie na architektur . Architektury alternatywne n n e zasada pracy komputera sterowanego przepywem danych, systemy gridowe i typu SOA, wspczesne trendy rozwojowe w zakresie oblicze duzej skali. n

Nie dotyczy
Bibliograa 1. David E. Culler, Jaswinder Pal Singh Parallel Computer Architecture, Morgan Kaufmann, 1999 2. S. Kozielski, Z. Szczerbi ski Komputery rwnolege, architektura i elementy oprogramowania, n WNT 1993 3. D.A. Patterson, J.L. Hennessy, Computer Organization and Design The hardware/software interface, Morgan Kaufmann, Elsevier, 2009 4. W. Stallings,Organizacja i architektura systemu komputerowego. Projektowanie systemu a jego wydajnoc, WNT, 2004 s 5. R. Wyrzykowski, Klastry komputerw PC i architektury wielordzeniowe: Budowa i wykorzystanie, EXIT 2009 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Ocena z egzaminu Procesory, komputery wieloprocesorowe, klastry, obliczenia wielkiej skali zozonoci s
55
Kryptograa Pawe Topa Stopien Semestr Kategoria ECTS I 3 K 2

Celem przedmiotu jest zapoznanie studentw z teoretycznymi i praktycznymi podstawami kryptograi, konstrukcji algorytmw kryptogracznych oraz systemw kryptogracznych. Studenta zna podstawy matema tyczne kryptograi, zna i rozumie budow najwazniejszych algorytmw i systemw kryptograi symetrycznej i e asymetrycznej. Przedmiot wprowadza podstawowe zagadnienia kryptograi ich algorytmy, podstawowe cechy, zozonoc, a takze implementacje tych algorytmw. Przedstawiono rwniez funkcje skrtu i kody uwierzytels niania. Omawiane sa rwniez protokoy dystrybucji kluczy.
Program wykadu
Wprowadzenie do kryptograi. Historia kryptograi. Podstawy matematyczne kryptograi. Teoria informacji. Teoria liczb. Teoria zozonoci obliczeniowej. Algorytmy kryptograi symetrycznej: szyfry blokowe i strus mieniowe. Standard szyfrowania symetrycznego: algorytmy DES i AES. Kryptograa asymetryczna. Protok wymiany kluczy Difego-Hellmana-Merkla. Algorytmy RSA i ElGamal. Tworzenie i werykacja podpis cyfrowego. Standard podpisu cyfrowego DSS. Systemy kryptograczne. Metody dystrybucja kluczy. Infrastruktura klucza publicznego. Protok X.509. Funkcje skrtu. Kody uwierzytelniania wiadomoci. s

Cwiczenia laboratoryjne ugruntowuja i rozszerzaja wiedz przekazywana podczas wykadw. Istniejace na e rz dzia kryptograczne wykorzystywane sa do zabezpieczenia systemu komputerowego przed kradzieza hasa, e poufnej wymiany informacji oraz przygotowania certykatw umozliwiajacych dost p do serwera https. W e oparciu o dost pne biblioteki programistyczne studenci implementuja takze systemy kryptograi symetrycznej e i asymetrycznej (podpis cyfrowy). Kazdemu cwiczeniu towarzyszy werykacja wiedzy teoretycznej wykonujacych oraz dyskusja otrzymanych wynikw.
Bibliograa 1. 2. 3. 4. 5. amacze kodw. Historia kryptologii, David Kahn, WNT 2004. Kryptograa. W teorii i praktyce, Douglas R. Stinson, WNT 2005. Kryptograa dla praktykw, Bruce Schneier, WNT 2002. Kryptograa stosowana, Alfred J. Menezes, Paul C. van Oorschot, Scott A. Vanstone, WNT 2005. Krzywe eliptyczne w kryptograi, Ian Blake, Gadiel Seroussi, Nigel Smart, WNT 2004. przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
Ocena z cwicze laboratoryjnych. n Kryptograa. Szyfry symetryczne. Podpis elektroniczny.
56
Metody obliczeniowe w nauce i technice 1 Marian Bubak Stopien Semestr Kategoria ECTS I 3 K 2
Informatyka Wykad 2, Cwiczenia 1, Laboratorium http://www.icsr.agh.edu.pl/ mownit

Przedmiot ten wprowadza podstawowe wlasnoci wynikajace z arytmetyki komputerowej, w usystematyzowany s sposb prezentuje najwazniejsze metody numeryczne: ich algorytmy, podstawowe cechy, zozonoc, a takze s implementacje tych algorytmw. Dostarcza on takze studentom wiedzy o tym kiedy i jak tych algorytmw uzywa . c
Program wykadu
Wprowadzenie do metod numerycznych, wyjanienie kiedy sa one uzyteczne. Artymetyka komputerowa, bedy s reprezentacji i operacji arytmetycznych. Poj cia zadania, algorytmu, realizacji zmiennoprzecinkowej algoe rytmu, poprawnosci i stabilnoci numerycznej algorytmu. Bad metody a b dy wynikajace z arytmetyki koms e puterowej. Interpolacja Lagrangea Hermita, bad interpolacji. Funkcje sklejane ich wasnosci przykady za stosowania. Aproksymacja sredniokwadratowa i jednostajna. Cakowanie metodami Newtona-Cotesa i Gaussa; cakowanie adaptacyjne jako przykad wykorzystania metody dziel i rzad . Metoda Richardsona. Metoda z Romberga. Numeryczne rozwiazywanie ukadw rwna liniowych: eleiminacja Gaussa, dekompozycja LU. n Rozwiazywanie rwna nieliniowych metodami poowienia in intepolacyjnymi. Istota metod iteracyjnych i jej n realizacja na przykadzie metody Newtona-Raphsona. Wprowadzenie do pakietu Mathematica.

Cwiczenia audytoryjne ugruntowuja i rozszerzaja wiedz przekazywana podczas wykadw. Studenci b da po e e trali dobra algorytmy numeryczne do wymaga uzytkownika. Student uczestniczacy aktywnie w tych zaj c n e ciach b dzie mia teroretyczna wiedze o podstawowych algorytmach numerycznych, potra oceni przydatnoc e c s tych algorytmw do rozwiazania konkretnych zada obliczeniowych. Wykad oraz te cwiczenia przygotowuja n studentw do zaj c laboratoryjnych w kolejnym semestrze. W trakcie tych zaj c studenci przygotowuja krtkie e e opracowanie o wykorzystaniu w nauce i technice algorytmw obliczeniowych.
Bibliograa 1. D. Kincad, W. Cheney. Analiza numeryczna. WNT, 2006 2. R.L. Burden, J.D. Faires. Numerical Analysis. Brooks-Cole, 2004 3. Z. Fortuna, B. Macukow, J. Wasowski. Metody numeryczne. WNT, zalecane wydanie z roku 2009 4. M. Mezard, A. Montanari. Information, Physisc, and Computation. Oxford, 2009 5. Wybrane artykuy z: Computing in Science and Engineering (cise.aip.org), Scientic Computing World, etc. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe Rozsadnie wazona srednia ocen zaliczenia cwicze audytoryjnych, przy n gotowanie opracowania Metody numeryczne, symulacja komputerowa, arytmetyka komputerowa, b dy e przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
57
Metody obliczeniowe w nauce i technice 2 Marian Bubak Stopien Semestr Kategoria ECTS I 4 K 6
Informatyka Wykad 1, Cwiczenia , Laboratorium 2 http://www.icsr.agh.edu.pl/ mownit

Wykad ten najpierw omawia zaawansowane algorytmy numeryczne, a nast pnie pokazuje jak budowa aplie c kacje realizujace symulacje numeryczne z wykorzystaniem bibliotek numerycznych oraz pakietw obliczenio wych. Jego celem jest przekazanie studentom wiedzy o tym kiedy i jak uzywa poszczeglnych bibliotek i c pakietw obliczeniowych.
Program wykadu
Przykady wielkich wyzwa obliczeniowych i podejc zastosowanych do ich rozwiazania. Algorytmy numen s rycznej algebry liniowej. Metody bezporednie rozwiazywania ukadw rwna liniowych: eliminacja Gaussa, s n s dekompozycja LU, metody iteracyjne: ich istota, warunek zbieznoci, metoda Jacobiego, Gaussa-Seidla, nadrelaksacji, Czebyszewa. BLAS, LAPACK, ScaLAPACK, wzorce programowe dla metod iteracyjnych. Dopasowanie algorytmu do architektury komputera, uwzgl dnienie roli hierarchii pami ci. Szybka Transformata e e Fouriera. Liczby losowe i metoda Monte Carlo w zastosowaniu do cakowania i symulacji. Przglad metod minimalizacja funkcji; minimalizacja z wykorzystaniem natural solvers (m.in. symulowane wyzarzanie). Numeryczne rozwiazywanie rwna rzniczkowych zwyczajnych. Numeryczne rozwiazywanie rwna rznicz n n kowych czastkowych. Stabilnoc. Zasady i przykady numerycznego rozwiazywania wybranych zagadnie w s n nauce i w technice. Przykady redukcji zozonoci obliczeniowej algorytmw numerycznych. s

Poza wykadem prowadzone sa zaj cia laboratoryjne. Treci tych zaj c ugruntowuja i rozszerzaja wiedz e s e e przekazywana podczas wykadw. Studenci beda potrali tworzy i werykowa aplikacje przeznaczone do c c rozwiazywania typowych zagadnie numerycznych w nauce i w technice, dobrac pakiety obliczeniowe oraz n odpowiednie biblioteki numeryczne, b da zwracali uwag na redukcj zozonoci obliczeniowej. W ramach e e e s zaj c z tego przedmiotu studenci przygotowuja opracowania na temat wybranego zagadnienia obliczeniowego; e opracowania maja charakter artykuu naukowego.
Bibliograa 1. T. Pang. Metody obliczeniowe w zyce. PWN, 2001 2. M.T. Heath. Scientic Computing: An Introductory Survay, McGraw-Hill, 2002 3. D. Potter. Metody obliczeniowe zyki. Fizyka komputerowa, PWN, wydania p niejsze niz 1978 z 4. W.H. Press, B.P. Flannery, S.A. Teukolsky, W.T. Vettering. Numerical Recipes. Cambridge Univ., 2007 5. Wybrane artykuy z J. Computational Science, materialy konferencji serii ICCS (www.iccsmeeting.org) Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego E Rozsadnie wazona srednia wazona ocen uzyskanych z zalicze , egza n minu, opracowania Metody obliczeniowe, algorytmy numeryczne, symulacje numeryczne, optymalizacja 58
Graka komputerowa Witold Alda Stopien Semestr Kategoria ECTS I 6 K 2

Podstawowym celem jest zapoznanie si z elementami graki wektorowej 3D, transformacjami geometrycze nymi, tworzeniem geometrycznych obiektw 3D, modelowaniem owietlenia, nakadaniem tekstur i technis kami renderowania w czasie rzeczywistym. Towarzyszy temu nabycie umiej tnoci wykorzystania biblioteki e s OpenGL oraz j zyka shaderw GLSL. e
Program wykadu
Wprowadzenie. Przykadowe zastosowania graki komputerowej. Charakterystyka graki wektorowej i rastrowej. Sprz t wspczesnej graki komputerowej. Omwienie staego i programowanego potoku gracznego. e Podstawy biblioteki OpenGL i GLSL. Rysowanie podstawowych obiektw w 2D i 3D. Transformacje geo metryczne i rzutowanie w 3D, charakterystyka macierzy transformacji, skadanie transformacji, uzycie stosu macierzy transformacji i rzutowania. Lokalne i globalne modele owietlenia i ich praktyczna realizacja. Teks stury 2D i 3D oraz ich nakadanie i ltrowanie. Multiteksturowanie, tworzenie tekstur proceduralnych i animowanych. Modelowanie wybranych obiektw geometrycznych. Powierzchnie parametryczne i uwikane. Modelowanie obiektw i zjawisk naturalnych dla potrzeb graki (roliny, chmury, powierzchnia wody, itp.). s

W ramach zaj c laboratoryjnych tworzenie wasnych programw w C++ realizujacych podstawowe funkcje e graczne przy uzyciu biblioteki OpenGL. Uruchamianie programw w srodowisku Linuksa i MS Windows. Zapoznanie si z wybranymi systemami GUI i projektowaniem prostego interfejsu gracznego. Implementacja e wybranych algorytmw owietlania i rzucania cienia przy uzyciu j zyka GLSL. Realizacja wybranych wizuals e nych efektw specjalnych (rozbyski, wybuchy, mga, nakadanie tekstur 3D, itp.). Zbudowanie, na podstawie wczeniejszych cwicze , ko cowego projektu. s n n
Bibliograa 1. 2. 3. 4. 5. Foley, van Dam, Hughues, Wprowadzenie do graki komputerowej, WNT Warszawa 1997 M.Woo, J.Neider, T.Davies, OpenGL - Programming Guide, Addison-Wesley 2009 Randi J. Rost et al. OpenGL Shading Language, Addison-Wesley 2009 R.S.Wright, M.Sweet, OpenGL-Ksi ga eksperta, Helion 2005 e K.Hawkins, D.Astle, OpenGL - Programowanie Gier, Helion 2003 przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
ocena uzyskana z zaliczenia laboratorium graka komputerowa, modele owietlenia, modelowanie obiektw 3D, s OpenGL, renderowanie w czasie rzeczywistym.
59
Metody sztucznej inteligencji Grzegorz Dobrowolski Stopien Semestr Kategoria ECTS I 7 K 4

Wykad stanowi wprowadzenie w problematyk sztucznej inteligencji i inzynierii wiedzy. Podstawowym cee lem jest uwiadomienie suchaczom roli jaka odgrywaja informacja i wiedza we wspczesnym swiecie oraz s zaznajomienie z technikami realizacji inteligentnych, opartych na wiedzy systemw informatycznych.
Program wykadu
Charakterystyka obszaru problemowego i poj cia podstawowe. Klasykacja systemw SI. Metody reprezentae cji wiedzy - logika dwu i wielowartociowa, logiki modalna i temporalna, sieci semantyczne, tablice i drzewa s decyzyjne. Metody wnioskowania w systemach reguowych. Reprezentacja wiedzy niepewnej i niepenej logika rozmyta, zbiory przyblizone. Systemy informacyjno-decyzyjne oparte na wykorzystaniu logiki przybli onej i rozmytej. Problemy pozyskiwania i eksploracji wiedzy - generacja regu asocjacyjnych i drzew decyzyjz nych. Podstawowe problemy uczenia maszynowego. Pozyskiwanie wiedzy poprzez uczenie - sieci neuronowe, algorytmy ewolucyjne. Systemy neuro-fuzzy i fuzzy-neuro. Poj cie inteligentnego agenta. Agenci reaktywni i e kognitywni. Systemy agentowe jako zdecentralizowane systemy informacyjno-decyzyjne. Problemy integracji i zarzadzania wiedza. Procesy decyzyjne w warunkach niepewnoci i sytuacjach koniktowych. s

Zaj cia laboratoryjne pozwalaja na cwiczenie umiej tnoci w zakresie wykorzystania metod sztucznej intelie e s gencji (w szczeglnoci systemw reguowych, logiki rozmytej, zbiorw przyblizonych, sieci neuronowych i s algorytmw ewolucyjnych) do konstruowania moduw wiedzy i systemw decyzyjnych, przy uzyciu dost pe nych narz dzi programistycznych. e
Bibliograa 1. 2. 3. 4. 5. J.J.Mulawka: Systemy ekspertowe D.Rutkowska, M.Pili ski, L.Rutkowsk: Sieci neuronowe, algorytmy genetycznei systemy rozmyte n L.Rutkowski: Metody i techniki sztucznej inteligencji D.Goldberg: Algorytmy genetyczne i ich zastosowania Z.Bubnicki: Wst p do systemw ekspertowych e przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
srednia wazona ocen uzyskanych z zalicze (0,3) i wszystkich terminw n egzaminu (0,7) sztuczna inteligencja, reprezentacja wiedzy, inteligencja obliczeniowa
60
Programowanie systemowe Jarosaw Ko lak z Stopien Semestr Kategoria ECTS I 7 B (A) 4
Informatyka Wykad 2, Cwiczenia , Laboratorium 2 http://home.agh.edu.pl/ kozlak/PS.html

Celem wykadu jest zapoznanie z wybranymi szczegowymi mechanizmami systemw operacyjnych Unix, Linux oraz Windows oraz nauczenie programowania na poziomie jadra systemu operacyjnego oraz z uzyciem zaawansowanych mechanizmw i narz dzi systemowych. e
Program wykadu
1.Charakterystyka systemw Unix, Linux i Windows i ich architektury. 2. Struktury systemowe w rznych systemach operacyjnych. 3. Algorytmy planowania procesw i watkw w rznych systemach operacyjnych 4. Watki. Watki poziomu uzytkownika, watki jadra i procesy lekkie. Modele obsugi watkw i ich realizacje w systemach Solaris, Linux i Windows. Interfejs obsugi watkw. Obiekty synchronizacyjne w Windows: sekcje krytyczne, zdarzenia, czasomierze, semafory, muteksy. Rodzina funkcji wait. 5. Wywoania systemowe. Realizacja wywoa systemowych w systemie Linux. Dodanie nowego wywoania systemowego do jadra systemu n Linux. Systemy IDS oparte na wywoaniach systemowych. Windows API. 6. Komunikacja mi dzyprocesowa e w systemach Unix i Windows. 7. Biblioteki i programy wykonywalne w systemach Unix i Windows. 8. Popularne systemy plikw. Budowa i wasnoci. 9.Obsuga urzadze w systemach Linux i Windows. Dodanie s n nowego urzadzenia i nowego moduu do jadra systemu Linux. 10. Tendencje rozwojowe w systemach Unix i Windows

W ramach zaj c laboratoryjnych wykonuje si cwiczenia dotyczace zastosowania mechanizmw systemowych, e e cz sto na poziomie jadra oraz realizuje wi kszy projekt umozliwiajacy praktyczne zastosowanie nabytej wiee e dzy. Cwiczenia laboratoryjne sa prowadzone w oparciu o system operacyjny Linux i dotycza uzycia mechani zmw synchronizacji, tworzenia moduw jadra i ich dynamicznego adowania, obsugi urzadze , prowadzenia n procesu debuggowania jadra, obsugi przerwa , dodawanie wywoania systemowego do jadrze oraz metod syn n chronizacji procedur jadra.
Bibliograa 1. Uresh Vahalia, Jadro systemu Unix. Nowe horyzonty, WNT 2001 2. Robert Love, Linux Kernel Development, Novel Press, Second edition, 2005 3. Daniel P. Bovet, Marco Cesati, Understanding the Linux Kernel, Third edition, OReilly, 2006 4. Mark E. Russinovich, David A. Solomon, Microsoft Windows Internals, Microsoft Windows Server 2003, Windows XP, and Windows 2000, Microsoft, 2005 5. Jeffrey Richter, Programowanie aplikacji dla Microsoft Windows, Wydawnictwo RM, 2002 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe srednia arytmetyczna ocen uzyskanych z zalicze i egzaminw n systemy operacyjne, programowanie systemowe, modykacja jadra przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
61
Technologie aplikacji internetowych Witold Rakoczy Stopien Semestr Kategoria ECTS I 7 B (B) 4

Celem przedmiotu jest zaznajomienie studentw z problematyka konstruowania aplikacji przeznaczonych dla srodowiska Internetu i wspczesnymi technikami w nich stosowanymi oraz praktyczne opanowanie uzywania komponentw, narz dzi i srodowisk, suzacych do ich tworzenia. e
Program wykadu
Internet jako specyczne srodowisko udost pniania usug i treci; usugi i role skadowych modelu udost pniae s e nia. Przechowywanie i prezentowanie zawartoci: systemy zarzadzania zawartocia, ergonomia i uzytecznoc s s s stron internetowych. Rozpowszechnianie zawartoci: wymagania na transmisj danych, QoS, rozkadanie i s e rwnowazenie obciazenia, akceleracja. Modele architekturalne zozonych aplikacji sieciowych; style architek turalne aplikacji przeznaczonych do pracy w Internecie; budowa zozonych usug: wykorzystanie technologii webservices. Dost pnoc systemw aplikacji internetowych, ich projektowanie i optymalizacja pod katem zae s pewnienia skalowalnoci. Sterowanie wykorzystaniem; systemy zwielokrotnione, geolokacja i rznicowanie s treci. Systemy zintegrowane generowania, rozpowszechniania, udost pniania i wyszukiwania zasobw i usug. s e

Zaj cia cwiczeniowe maja doprowadzi do praktycznego opanowania przez studentw umiej tnoci kongue c e s rowania podstawowych, najbardziej rozpowszechnionych systemw i narz dzi, suzacych jako komponenty e do budowy aplikacji przeznaczonych do pracy w srodowisku Internetu oraz sprawdzenia umiej tnoci doboru e s rozwiaza projektowych do cz sto spotykanych w aplikacjach internetowych zada projektowych o wysokich n e n wymaganiach w zakresie skalowalnoci. s
Bibliograa 1. Schlossnagle T., Scalable Internet Architectures, Sams Publishing, 2006 2. Roy T. Fielding, Architectural Styles and the Design of Network-based Software Architectures, Ph.D. Dissertation, 2000 3. Souders S., High Performance Web Sites. Essential Knowledge for Front-End Engineers, OReilly, 2007 4. Bowen, R., Coar, K., Apache. Receptury, Wydawnictwo Helion, 2009 5. Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena z zaliczenia skalowalnoc, architektura oprogramowania, aplikacje sieciowe, aplikas cje internetowe przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
62
Systemy czasu rzeczywistego Tomasz Szmuc Stopien Semestr Kategoria ECTS I 7 B (C) 4

Wyksztacenie umiej tnoci i kompetencji w obszarze programowania systemw czasu rzeczywistego (wbudoe s wanych); podnoszenia niezawodnoci tych systemw oraz rozumienia roli procesu wytwarzania i dokumentos wania.
Program wykadu
Specyka systemw czasu rzeczywistego. Sprz t (mikrokontrolery) i architektury systemw wbudowanych. e Systemy operacyjne czasu rzeczywistego. (Mikro)jadro systemu i warstwy wewn trzne. Srodowiska wytwa e rzania.Metodyki obiektowe specjalizowane dla systemw czasu rzeczywistego: ROPES i HRT-HOOD. Podstawowe elementy metodyki ROPES. Wzorce projektowe dla oprogramowania systemw czasu rzeczywistego: s architektura, wspbieznoc, zarzadzanie pami cia, zarzadzanie zasobami, rozproszenie, bezpiecze stwo i nie e n zawodnoc. Programowanie systemw czasu rzeczywistego z zastosowaniem j zyk C i Ada2006. Programos e wanie wspbiezne. Wyjatki: deklarowanie, zgaszanie, obsuga i propagacja. Programowanie systemw czasu rzeczywistego: uwarunkowania czasowe, obsuga przerwa . Priorytety, strategie szeregowania zada , analiza n n czasu odpowiedzi. Projektowanie niezawodnego oprogramowania. Procesy wytwarzania i rola metod formalnych.

W trakcie zaj c laboratoryjnych realizowane sa przykady aplikacji (oprogramowanie) systemw czasu rzeczye wistego. Gwny nacisk poozony jest na systematyczne realizacj procesu poczawszy od analizy wymaga e n przez projekt i implementacj . Licznoc zespou (zazwyczaj 2-4 osb) zalezy od wielkoci aplikacji. W laboe s s ratorium studenci korzystaja z odpowiednich srodowisk wspomagajacych proces wytwarzania.
Bibliograa 1. Barnes J.: Programming in Ada 2005 Addison-Wesley/Prentice-Hall, 2006 2. Borkowski P. AVR i ARM7. Programowanie mikrokontrolerw dla kazdego. Helion 2010 3. Douglass B.P.: Real-Time Design Patterns. Robust. Scalable Architecture for R-T Systems. Adds.Wsl., 2003 4. Douglass B.P.: Real Time UML Third Edition. Advances in the UML for Real-Time Systems. Adds.-Wsl., 2004 5. Lal K., T. Rak: RT Linux system czasu rzeczywistego. Helion 2003 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena uzyskana z zaliczenia laboratorium s terminowoc odpowiedzi, wspbieznoc, bezpiecze stwo s n przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
63
Metody rozpoznawania obrazw Witold Dzwinel Stopien Semestr Kategoria ECTS I 7 B (D) 4

Celem przedmiotu jest nabycie umiej tnoci tworzenia systemw suzacych do detekcji, identykacji i autorye s zacji oraz budowania modeli bazujacych na danych wykorzystujacych metodologi i algorytmy rozpoznawania e obrazw.
Program wykadu
Przestrze cech. Generacja cech. Przekle stwo wymiaru Teoria PAC i wymiar Vapnika. Analiza sygnaw n n i przetwarzanie obrazw. Transformaty (fouriera, falkowa, Hougha, Radona, fraktalna inne). Miary podobie n stwa i niepodobie stwa. Klasykatory vs. Interpolacja i aproksymacja. Klasykatory proste. Klasykatory n liniowe (preceptron, Fischer). Klasykatory Bayesowskie. Klasykatory nieliniowe zespoowe. Sieci neuronowe. Support Vector Machine. Ada Boost i inne metody boostujace. Wizualizacja informacji wielowymia rowej. Metody liniowe: metoda gwnych komponenntw (principal component analysis) i metoda liniowej dyskryminacji (linear dyscriminant analysis). Metody nieliniowe: skalowanie wielowymiarowe MDS (multidimensional scaling). Miary wiernoci odwzorowa . Metody klasteryzacji. Klasteryzacja hierarchiczna i s n niechierarchiczna. Nowoczesne metody klasteryzacji SNN, DBSCAN, CHAMELEON. Metody walidacji kla steryzacji. Sieci zozone i ich wykorzystanie w metodach rozpoznawania obrazw.

W ramach laboratoriw zaj cia odbywa si b da przy wykorzystaniu podstawowych toolboxw Matlaba. e c e e Studenci wykonuja zadania zwiazane z gwnymi komponentami systemw rozpoznajacych: generacja cech (wykorzystanie transformat), klasykacja (wykorzystanie i porwnanie metod liniowych i nieliniowych), wizualizacja informacji wielowymiarowej (PCA io MDS), klasteryzacja. Laboratorium polega na analizie danych z dost pnych w sieci Internet repozytoriw danych oraz danych dostarczonych przez prowadzacego przedmiot. e Ocenia si aktywnoc studentw w trakcie zaj c oraz terminowo przygotowywane sprawozdania. e s e
Bibliograa 1. Theodoris S and Koutroumbas K, Pattern Recognition, Academic Press, San Diego, London, Boston, 1998 2. Strang, G. and Nguyen, T., Wavelets and Filter Banks, Wellesley-Cambridge Press, Wellesley, MA, 1996. 3. Mitra, S. and Acharya T., Data Mining: Multimedia, Soft Computing and Bioinformatics, 424pp. J. Wiley, 2003. 4. Grossman R., L., Karnath, Ch, Kegelmeyer, P., Kumar, V., Namburu, R.,R., Data Mining for Scientic and Engineering Applications, Kluwer Academic Publisher, 2001 5. R.Duda, P.Hart, D. Stork (Patterns Classication)
64
ocena uzyskana z zaliczenia laboratorium i kolokwium zaliczeniowego na wykadzie Metody rozpoznawania obrazw, analiza sygnaw, klasykatory, wizualizacja informacji wielowymiarowej, klasteryzacja
65
Geometria obliczeniowa Barbara Gut Stopien Semestr Kategoria ECTS I 7 B (E) 4

Podstawowym celem jest zapoznanie studentw ze sposobami rozwiazywania podstawowych zagadnie wyst n e pujacych w geometrii obliczeniowej (takich jak: wyszukiwanie geometryczne, wypukoc, bliskoc, przeci cia, s s e poligonizacja obiektw oraz optymalizacja geometryczna), a ponadto przedstawienie osiagni c geometrii obli e czeniowej, ktre maja zastosowanie np. w modelowaniu rzeczywistoci, symulacjach komputerowych, grace s komputerowej, kartograi i robotyce.
Program wykadu
Wprowadzenie: rys historyczny, sposoby reprezentacji obiektw geometrycznych, geometryczne struktury danych, podstawowe metody rozwiazywania problemw geometrycznych. Przeszukiwanie geometryczne: pro blemy lokalizacji punktu, przeszukiwania zakresu. Otoczki wypuke. Wykrywanie przeci c w 2D i 3D. Polie gonizacja obiektw 2D i 3D. Zagadnienia widzialnoci, problemy monitorowania. Poszukiwania najblizszego s sasiedztwa. Problemy geometryczne przemieszczania obiektw. Problemy informatyczne w geometrii ob liczeniowej, zastosowania geometrii obliczeniowej w modelowaniu, symulacji komputerowej, grace, grach komputerowych itd.

W ramach zaj c laboratoryjnych poznawanie procesu realizacji algorytmw geometrii obliczeniowej z wykoe rzystaniem rznych srodowisk, technik i j zykw. Nabycie umiej tnoci rozwiazywania podstawowych zagade e s nie wyst pujacych w geometrii obliczeniowej. n e
Bibliograa 1. Geometria obliczeniowa. Algorytmy i zastosowania, M. de Berg, M. van Kreveld, M. Overmars, O. Schwarzkopf , WNT, 2007 2. Geometria obliczeniowa. Wprowadzenie, F.P. Preparata, M.I. Shamos, Helion, 2003 3. Computational Geometry in C, J. ORourke, Cambridge University Press, 2000 4. Geometric Folding Algorithms, E. D. Demaine, J. ORourke, Cambridge University Press, 2007 5. Podstawy modelowania krzywych i powierzchni. Zastosowanie w grace komputerowej, Przemysaw Kiciak, WNT 2005 Wymagane wiadomoci s z zakresu Forma zaliczenia przedmiotu Zasady wystawiania oceny koncowej Sowa kluczowe ocena uzyskana z zaliczenia laboratorium reprezentacja obiektw geometrycznych, geometryczne struktury danych, algorytmy geometryczne, problemy informatyczne w geometrii obliczeniowej przedmiot bazuje wyacznie na wiadomociach obj tych zakresem kszta s e cenia podstawowego
66
Systemy CAD/CAE Maciej Paszy ski n Stopien Semestr Kategoria ECTS I 7 B (F) 4

Przedstawienie podstawowych aspektw informatycznych projektowania i zarzadzania systemami wspoma gajacymi projektowanie i obliczenia inzynieryjne (Computer Aided Design / Computer Aided Engineering). Omwienie aspektw informatycznych zwiazanych z modelowaniem geometrycznym, budowa modeli inzynie s ryjnych, analiza wspbieznoci systemw CAD/CAE, optymalnym projektowaniem, problemami odwrotnymi, problemami dualnymi.
Program wykadu
Modelowanie geometryczne (omwienie przykadowych klas suzacych do modelowania obiektw geometrycz nych w systemach CAD/CAM). Analiza zyczna (przeglad rznych typw przestrzeni aproksymacyjnych kon struowanych w oparciu o siatki obliczeniowe). Algorytmy generacji i adaptacji siatek, algorytmy budowania s macierzy elementowych. Analiza wspbieznoci systemw CAD/CAE. Zagadnienia zwiazane z szeregowa niem algorytmw CAD/CAE. Zagadnienia zwiazane z mapowaniem systemw CAD/CAE na rzne architek e ). Zarzadzanie systemami CAD/CAE. Zagadnietury maszyn rwnolegych (algorytmy balansowania obciaz n nia zwiazane z optymalnym projektowaniem. Problemy odwrotne (przykadowe problemy odwrotne: optyma lizacja ksztatu, dobr optymalnej siatki). Zastosowania algorytmw genetycznych do rozwiazywania proble s mw odwrotnych. Problemy dualne (zaleznoc dokadnoci rozwiazania globalnego od dokadnoci wartoci s s s funkcji celu).

W przedmiocie prowadzone sa zaj cia laboratoryjne. Treci tych zaj c ugruntowuja i rozszerzaja wiedz prze e s e e kazywana podczas wykadw. W ramach zaj c laboratoryjnych realizowane b da projekty aplikacji realizu e e jacych wybrane aspekty algorytmw prezentowanych na wykadzie. Przykadowe zadania obejmowa moga c projekt i implementacj algorytmu generatora siatki obliczeniowej w systemie CAD, algorytmu zarzadzajae cego adaptacjami siatki na rozproszonej strukturze danych, projekt i implementacja algorytmw wspbieznych s CAD/CAE w oparciu o rozwazane modele wspbieznoci, projekt i implementacje algorytmw genetycznych rozwiazujacych przykadowe problemy odwrotne itp.
Bibliograa 1. ObjectARX SDK (dost pne na www.autodesk.com) e 2. ZOLTAN Developers Guide (dost pne na http://www.cs.sandia.gov/Zoltan/dev_html/dev.html ) e 3. Demkowicz L. Computing with hp-Adaptive Finite Elements. Vol. 1: One and Two Dimensional Elliptic and Maxwell Problems, Chapmann & Hall / CRC Press 2006 4. Demkowicz L. Kurtz J., Pardo D., Paszy ski M., Rachowicz W., Zdunek A., Computing with hpn Adaptive Finite Elements. Vol. 2: Frontiers: Three Dimensional Elliptic and Maxwell Problems with Applications, Chapmann & Hall / CRC Press 2007 5. Schaefer R., Podstawy genetycznej optymalizacji globalnej, Wydawncitwo Uniwersytetu Jagiello skiego, 2002 n
67
Ocena z zaj c laboratoryjnych e CAD/CAE, modelowanie geometryczne, nauki obliczeniowe, optymalizacja globalna, problemy odwrotne
68

Informatyka Plan Studiów

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Informatyka Plan Studiów

Uploaded by

Copyright:

Available Formats

PROGRAM STUDIW NA KIERUNKU

Katedra Informatyki AGH

3. Rekrutacja kandydatw na studia

4. Zakres egzaminw przedmiotowych

8. Praca dyplomowa oraz zakres i forma egzaminu dyplomowego

10. Ocena koncowa

11. Szczegowy plan studiw

Komunikacja i techniki zarzadzania Krzysztof Cetnarowicz Stopien Semestr Kategoria ECTS I 1 O 2

Informatyka Wykad 1, Cwiczenia 1, Laboratorium

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Psychologia negocjacji Adrian Horzyk Stopien Semestr Kategoria ECTS I 7 O 1

Informatyka Wykad 2, Cwiczenia 1, Laboratorium http://home.agh.edu.pl/ horzyk/lectures/ahdydsnzs.html

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Algebra Jakub Przybyo Stopien Semestr Kategoria ECTS I 1 P 6

Informatyka Wykad 3, Cwiczenia 2, Laboratorium

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Analiza matematyczna 1 Janina Niedoba Stopien Semestr Kategoria ECTS I 1 P 6

Informatyka Wykad 3, Cwiczenia 2, Laboratorium

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Analiza matematyczna 2 Janina Niedoba Stopien Semestr Kategoria ECTS I 2 P 6

Informatyka Wykad 2, Cwiczenia 2, Laboratorium

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Matematyka dyskretna Adam Wojda Stopien Semestr Kategoria ECTS I 2 P 6

Informatyka Wykad 2, Cwiczenia 2, Laboratorium

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Statystyka matematyczna Ewa Paszkowska Stopien Semestr Kategoria ECTS I 2 P 2

Informatyka Wykad 2, Cwiczenia , Laboratorium 2

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Rwnania rzniczkowe i rznicowe Robert Schaefer Stopien Semestr Kategoria ECTS I 3 P 5

Informatyka Wykad 2, Cwiczenia , Laboratorium 2

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Logika matematyczna w informatyce K Worytkiewicz Stopien Semestr Kategoria ECTS I 4 P 2

Informatyka Wykad 2, Cwiczenia 1, Laboratorium

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Badania operacyjne Bogusaw Filipowicz Stopien Semestr Kategoria ECTS I 5 P 1

Informatyka Wykad 2, Cwiczenia , Laboratorium 2

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Fizyka 1 Krzysztof Kuakowski Stopien Semestr Kategoria ECTS I 1 P 5

Informatyka Wykad 2, Cwiczenia 2, Laboratorium

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Fizyka 2 Krzysztof Kuakowski Stopien Semestr Kategoria ECTS I 2 P 6

Informatyka Wykad 2, Cwiczenia , Laboratorium 2

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Aspekty prawne informatyki Jerzy Paosz Stopien Semestr Kategoria ECTS I 1 K 1

Informatyka Wykad 2, Cwiczenia , Laboratorium

Wst p do informatyki e Marek Gaj cki e Stopien Semestr Kategoria ECTS I 1 K 6

Informatyka Wykad 2, Cwiczenia 2, Laboratorium http://winnie.ics.agh.edu.pl/

Cel przedmiotu, uzyskiwane kompetencje

Charakterystyka pozostaych zaj c e

Algorytmy i struktury danych Piotr Pisarek Stopien Semestr Kategoria ECTS I 2 K 6

Informatyka Wykad 2, Cwiczenia 2, Laboratorium http://www.moodle.cel.agh.edu.pl/weaiie/