 |
Informatyka UJ forum
Rocznik 2005 - czyli najlepsze forum w sieci
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
exeman
Mistrz grilla
Dołączył: 03 Lut 2006
Posty: 1603
Przeczytał: 0 tematów
Skąd: znienacka
|
 Wysłany: Czw 10:31, 20 Wrz 2007 Temat postu: |
|
|
REWELACJA. NIE ZMIEŚCIŁEM SIĘ NA OBOWIĄZKOWE!
Myślę, że faktycznie warto się przenieść na ten fais. Ten II to nieporozumienie.
|
|
| Powrót do góry |
|
 |
|
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Crow
alkoholik
Dołączył: 14 Mar 2006
Posty: 497
Przeczytał: 0 tematów
Skąd: KRK-NH
|
| Wysłany: Czw 10:44, 20 Wrz 2007 Temat postu: |
|
|
Masz chyba na myśli, że nie zmieściłeś się na kompilatory, bo na pozostałe przedmioty widzę, że są jeszcze miejsca.
1. Przedmioty obowiązkowe są do zrobienia do końca studiów, więc możesz je robić w przyszłym roku.
2. Idź do któregoś z prowadzących i spróbuj się dopisać do grupy
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
yuuu
alkoholik
Dołączył: 18 Cze 2007
Posty: 593
Przeczytał: 0 tematów
|
| Wysłany: Czw 10:47, 20 Wrz 2007 Temat postu: |
|
|
|
no i co...tym magicznym sposobem mam wystosowac 5 podan i latac z nimi przez tydzien po ujocie :| no wspaniale...moze ktos sie orientuje do kiedy jest czas skladania tych podan? zeby sie potem nie okazalo ze zostanie sie golym i wesolym (choc chyba nie do konca)
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Crow
alkoholik
Dołączył: 14 Mar 2006
Posty: 497
Przeczytał: 0 tematów
Skąd: KRK-NH
|
| Wysłany: Czw 10:49, 20 Wrz 2007 Temat postu: |
|
|
Spokojnie... trwają negocjacje z FAIS-em w sprawie zajęć i miejmy nadzieję, że skończą się dla nas dobrze..
BTW. Na "programowaniu funkcyjnym i logicznym" są miejsca - zwiększono limit... nie są to może bazy danych, ale zawsze coś.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Pawel Str.
pijak
Dołączył: 06 Lut 2006
Posty: 429
Przeczytał: 0 tematów
Skąd: Ze starszego roku / Z Gorlic
|
| Wysłany: Czw 12:45, 20 Wrz 2007 Temat postu: |
|
|
|
@Spectro - a czemu nie miałoby być 6 ECTS? Dla specjalistycznych jest 2*ilość godzin wykładów +2 egzamin.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Spectro
Mistrz grilla
Dołączył: 09 Mar 2006
Posty: 2306
Przeczytał: 0 tematów
Skąd: Kurdwanów
|
| Wysłany: Czw 14:32, 20 Wrz 2007 Temat postu: |
|
|
| Pawel Str. napisał: | | @Spectro - a czemu nie miałoby być 6 ECTS? Dla specjalistycznych jest 2*ilość godzin wykładów +2 egzamin. |
Bo tak jest napisane na stronie zapisów ;) . I dlatego mi się to dziwne wydawało.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Spectro
Mistrz grilla
Dołączył: 09 Mar 2006
Posty: 2306
Przeczytał: 0 tematów
Skąd: Kurdwanów
|
| Wysłany: Czw 15:09, 20 Wrz 2007 Temat postu: |
|
|
Dla tych, którym brakuje opisów przedmiotów ;) :
| tojot napisał: | Może to coś pomoże:
Algorytmy algebry homologicznej i zbiorów kostkowych
prof. dr hab. Marian Mrozek
Tytuł kursu: Algorytmy algebry homologicznej i zbiorów kostkowych Wykładowca: Marian Mrozek Osoby, które mogłyby prowadzic cwiczenia: dr Paweł Pilarczyk Forma zaliczenia: egzamin lub zaliczenie Wykład: 30h Cwiczenia: 30h Semestry: zimowy Punkty ECTS: ? Cele dydaktyczne: Przedstawienie algorytmicznego podejscia do teorii grup abelowych skonczenie generowanych z zastosowaniami w algebrze homologicznej zbiorów kostkowych i grafice komputerowej. Wymagania wstepne: Zaliczony kurs Algebra z Geometria i Analiza Matematyczna 2 Opis kursu: 1. Podstawy algebry homologicznej. Grupy abelowe skonczenie generowane. Homomorfizm brzegu. Grupy cykli i grupy brzegów, grupy homologii 2. Zbiory kostkowe. Kompleksy łancuchowe zbiorów kostkowych. Homomorfizm brzegu zbiorów kostkowych. Zbiory acykliczne. Homologie zbiorów kostkowych 3. Algorytmy obliczania grup abelowych skonczenie generowanych. Algebra macierzy nad pierscieniem liczb całkowitych. Postac eszelonowa macierzy całkowitoliczbowej. Algorytm diagonalizacyjny Smitha. Algorytm jadra i obrazu. Algorytm grupy ilorazowej. Struktura grup abelowych skonczenie generowanych. Algebraiczny algorytm dla kobrzegu. 4. Algorytmy obliczania grup homologii. Algorytm grup homologii kompleksu łancuchowego. Algorytm dla homologii zbiorów kostkowych. 5. Reprezentacje odwzorowan ciagłych zbiorów kostkowych. Zbiory reprezentowalne. Kostkowe odwzorowania wielowartosciowe. Selektory łancuchowe. Reprezentacje kostkowe. Przeskalowania. Homotopijna niezmienniczosc. 1 6. Algorytmy homologii odwzorowan. Generowanie wielowartosciowej reprezentacji. Algorytm selektora łancuchowego. Algorytm homologii odwzorowan. Geometryczny algorytm dla kobrzegu. 7. Zastosowania w grafice komputerowej. 2 Literatura: • R.S. Garfield, G.L. Nemhauser Integer Programming, John Wiley & Sons, 1972. • T. Kaczynski, K. Mischaikow, M. Mrozek Computational Homology, Applied Mathematical Sciences, Vol. 157, Springer Verlag, New York, 2004. • J.R. Munkres, Elements of Algebraic Topology, Addison-Wesley, Reading, MA, 1984. 3
Algorytmy równoległe i geometryczne
dr Maciej Ślusarek
Nazwa przedmiotu: Algorytmy równoległe i geometryczne (ARG) Wykładowca: dr Maciej Ślusarek Rodzaj: specjalistyczny Liczba godzin: 30 wykład +30 ćwiczenia Semestr: letni Punkty ETCS: 4 Prowadzący ćwiczenia: dr Maciej Ślusarek Sposób zaliczania: zaliczenie ćwiczeń, egzamin ustny Prerekwizyty: AS2 lub zgoda wykładowcy Sylabus: 1. Modele obliczeń równoległych, maszyna PRAM i jej warianty, język opisu algorytmu, pojęcie złożoności równoległej, lemat Brenta. 2. Techniki algorytmiczne w modelu PRAM: podwajanie, obliczanie prefiksów, ścieżka Eulera, kontrakcja drzewa, łamanie symetrii, redukcja liczby procesorów. 3. Szybkie wyszukiwanie w tablicy, scalanie i równoległe sortowanie w modelu PRAM. 4. Metoda kompresji drzewa, równoległe obliczanie wyrażeń. 5. Wybrane algorytmy grafowe: spójne składowe, minimalne drzewo rozpinające. 6. Sieci sortujące, lemat zero-jedynkowy. 7. Wybrane algorytmy dla topologii kraty: sortowanie, przechodnie domknięcie relacji, rozpowszechnianie. 8. Wstęp do teorii P-zupełności, przykłady problemów P-zupełnych, klasy złożoności równoległej. 9. Geometryczne struktury danych i techniki algorytmiczne. 10. Wyszukiwanie geometryczne. 11. Problem galerii, graf widoczności. 12. Diagramy Voronoi. 13. Optymalizacyjne problemy geometryczne. Literatura: 1. Joseph JaJa, An Introduction to Parallel Algorithms, Addison-Wesley, 1992. 2. A.Gibbons, W.Rytter, Efficient Parallel Algorithms, Cambridge University Press, 1988. 3. F.P.Preparata, M.I.Shamos, Geometria obliczeniowa. Wprowadzenie, Helion, 2003. 4. M. De Berg, M. Van Kreveld, M.Overmars, O.Schwarzkopf, Computational Geometry, Springer, 2000.
Analiza algorytmów 1
dr Maciej Ślusarek
Program Równania rekurencyjne dla metody dziel i zwyciężaj, klasyfikacja, rozwiązania. Dolne ograniczenia na złożoność sortowania. Analiza algorytmu quicksort. Metoda turniejowa sortowania. Problem minimalnej liczby porównań w sortowaniu. Znajdowanie k-tego elementu, metoda podziału, mediana median. Wyszukiwanie w tablicy uporządkowanej, analiza metody kwadratowej. Złożoność wyszukiwania w drzewach BST i AVL. Konstrukcja optymalnych drzew BST. Złożoność haszowania. Problem sumowania zbiorów rozłącznych, zastosowania. Złożoność amortyzowana. Drzewa rozchylane, analiza. Probabilistyczne struktury danych: drzewa-kopce, listy z przeskokiem. Literatura T. H. Cormen, C. E. Leiserson, R. L. Rivest, Wprowadzenie do analizy algorytmów, WNT, 1997 L. Banachowski, K. Diks, W. Rytter, Algorytmy i struktury danych, WNT, 2001 R. Sedgewick, Algorytmy w C++, Wydawnictwo RM, Warszawa 1999
Dydaktyka informatyki
dr Jacek Lembas
brak opisu
Seminarium Dynamika i topologia obliczeniowa
prof. dr hab. Marian Mrozek
brak opisu
Fraktale, semifraktale, fraktalna kompresja danych
dr hab. Janusz Traple
brak opisu
Grafika komputerowa
dr Rafał Kawa
Program Charakterystyka dziedziny – grafika komputerowa zajmuje się generacją obrazów z wykorzystaniem komputera. Historia grafiki komputerowej. Przykłady zastosowań grafiki komputerowej: interfejsy użytkownika, wykresy w biznesie, nauce i technice, kartografia, medycyna, projektowanie wspomagane komputerowo, systemy multimedialne, symulacja i animacja dla wizualizacji naukowej i rozrywki. Opis pakietów graficznych na przykładzie SRGP: określanie prymitywów graficznych, odcinki i łamane, znaczniki i ciągi znaczników, wielokąty i prostokąty, okręgi i elipsy, atrybuty, wypełniane prymitywy i ich atrybuty, tekst. Podstawy obsługi interakcji. Cechy grafiki rastrowej. Podstawowe algorytmy w grafice rastrowej Konwersja odcinków: podstawowy algorytm przyrostowy, algorytm z punktem środkowym. Konwersja okręgów: ośmiokrotna symetria, algorytm z punktem środkowym. Wypełnianie prostokątów. Wypełnianie wielokątów. Transformacje w grafice komputerowej Transformacje 2D i 3D (translacja, skalowanie, obrót). Współrzędne jednorodne i macierzowa reprezentacja przekształceń 2D i 3D. Składanie przekształceń. Przykład składania przekształceń (obrót obiektu 3D wokół dowolnej osi). Inne transformacje i ich reprezentacje macierzowe. Procedura transformacji obiektu w pakiecie graficznym. Rzutowanie w przestrzeni 3D Rodzaje rzutów: równoległe, perspektywiczne. Wyznaczanie rzutu 3D: określenie rodzaju rzutu, określenie parametrów rzutowania, obcinanie w trzech wymiarach, rzutowanie i wyświetlanie, implementacja płaskich rzutów geometrycznych. Modelowanie brył – obiekty matematyczne Trzy poziomy modelowania – obiekty fizyczne, obiekty matematyczne oraz reprezentacje. Wstępna definicja bryły – ograniczony, domknięty podzbiór E3 . Regularyzacja obiektów. Pojęcie 2-rozmaitości realizowalnej. Model płaszczyznowy 2-rozmaitości. Realizowalność modeli płaszczyznowych. Charakterystyka Eulera. Operatory Eulera Modelowanie brył – reprezentacje Reprezentacja brzegowa: reprezentacja brzegowa wierzchołkowa, reprezentacja brzegowa krawędziowa, reprezentacje brzegowe Baumgarta, poprawność reprezentacji brzegowych wygenerowanych za pomocą sekwencji operatorów Eulera. Konstruktywna geometria brył. Reprezentacje z podziałem przestrzennym: dekompozycja na komórki, drzewa ósemkowe. Porównanie reprezentacji. Reprezentowanie krzywych Siatki wielokątowe : reprezentacje siatek wielokątowych, równania płaszczyzny. Krzywe Béziera. Krzywe B – sklejane. Reprezentowanie powierzchni Powierzchnie Béziera. Powierzchnie B – sklejane. Modele fraktalne. Modele wykorzystujące gramatyki grafowe. Barwa w grafice komputerowej Pojęcie barwy. Charakterystyka atrybutów barwy. Rodzaje barw, indukcja barw. Model barw RGB, model barw CMY, model barw HSV. Oświetlanie i cieniowanie Modele oświetlenia: światło otoczenia, odbicie rozproszone, odbicie zwierciadlane, wiele źródeł światła. Modele cieniowania: cieniowanie stałą wartością, cieniowanie z interpolacją, cieniowanie Gourauda, cieniowanie Phonga. Rekursywna metoda śledzenia promieni. Wyznaczanie powierzchni widocznych Metody dla efektywnych algorytmów wyznaczania powierzchni: prostokąty i bryły ograniczające, wybieranie tylnych ścian, hierarchia. Klasyfikacja algorytmów: algorytmy przestrzeni obiektów, algorytmy przestrzeni obrazów. Algorytm z-bufora. Wyznaczanie powierzchni widocznych metodą śledzenia promieni. Animacja komputerowa Uogólnienie pojęcia animacji – zmiana czegoś w miarę upływu czasu. Sterowanie animacją za pomocą zegara (czas ułamkowy i czas rzeczywisty). Animacja z ramkami ujęć kluczowych. Etapy animacji. Sztuka komputerowa Historia sztuki komputerowej. Nurty sztuki komputerowej: przetworzenie gotowego materiału wizualnego, tworzenie złożonych układów z prostych figur geometrycznych, tworzenie układów modularnych, analiza i przetwarzanie dzieł artystów z innej epoki. Ewolucjonizm – nowy gatunek sztuki komputerowej. Estetyka komputerowa. Literatura J.D. Foley, S.K. Feiner, Wprowadzenie do grafiki komputerowej, WNT 1998 D. Hearn, M.P. Baker, Computer Graphics, Prentice-Hall, 1994
Kompilatory
dr Jan Rosek
Program Analiza leksykalna - funkcje analizatora leksykalnego, automatyczne generowanie analizatorów leksykalnych. Organizacja tablic symboli dla języków programowania. Analiza składniowa- metoda wyprowadzeń dla gramatyk LL(1) i redukcji dla gramatyk LR(1), SLR(1), LALR(1)
automatyczne generowanie parserów, analizator rekurencyjny, diagnostyka i neutralizacja błędów syntaktycznych. Gramatyki atrybutowe i podstawowa analiza semantyczna. Kontrola zgodności typów. Organizacja pamięci w programie wynikowym. Rekordy aktywacji procedur i funkcji. Generowanie kodu pośredniego dla typowych konstrukcji języków programowania. Elementy optymalizacji kodu. Generowanie kodu wynikowego. Literatura A.V. Aho, R. Sethi, J.D. Ullman, Compilers - Principles. Techniques, and Tools, Addison-Wesley, 1986 A.W. Appel, Modern Compiler Implementation in Java, Cambridge University Press, 1998 R. Wilhelm, D. Mauer, Compiler Design, Addison-Wesley, 1995 W.M. Waite, G. Goos, Konstrukcja kompilatorów, WNT, 1989
Kryptografia i teoria kodowania
dr hab. Wit Foryś
Treść zajęć: Wykład: 1. Elementy kombinatorycznej teorii półgrup 2. Algebraiczna teorii kodowania - kody i podmonoidy; 3. Algorytm dla kodów regularnych; 4. Kody i rozkłady Bernouliego; 5. Zbioru zupełne; zbiory gęste i rzadkie; kody maksymalne; 6. Kody prefiksowe 7. Kryptosystem, kryptografia i kryptoanaliza 8. Kryptosystemy monoalfabetyczne - przegląd, przykład kryptoanalizy 9. Kryptosystemy polialfabetyczne - przegląd, przykład kryptoanalizy 10. Maszyny rotorowe - ENIGMA - podstawy teoretyczne; historia 11. DES, 3DES i AES 12. Idea klucza publicznego; funkcje jednokierunkowe, haszujące; złożoność obliczeniowa 13. Problem plecakowy i kryptosystem plecakowy; problem osiagalności 14. Algorytm Shamira przełamania kryptosystemu plecakowego 15. Ciała Galois, logarytm dyskretny, kryptosystem plecakowy "gęsty" Literatura podstawowa: 1. N. Koblitz, Wykład z teorii liczb i kryptografii, WNT, Warszawa 1995 2. B. Schneier, Applied cryptography, John Wiley&Sons, 1994 3. Internet - strony www wskazane na wykładzie
Łańcuchy Markowa
dr hab. Piotr Bugiel
Program • Podstawowe definicje • Przykłady: ciąg prób Bernoulliego, suma zmiennych losowych niezależnych, Deska Galtona, błądzenie losowe po prostej ( płaszczyźnie) z ekranami, model Ehrenfestów, przesunięcie Markowa i inne oraz ich rozwinięcie w miarę postępu wykładu. • Prawdopodobieństwa przejścia w n-krokach. • Klasyfikacja stanów, związek z teorią grafów. • Stany chwilowe. • Ergodyczne własności łańcuchów. • Problem czasu pierwszego powrotu do danego stanu – dla modelu Ehrenfestów, strzałka czasu (problem nieodwracalności procesu). • Ogólny proces Markowa. • Entropia Shannona, Kołmogorowa dla łańcuchów Markowa i jej interpretacja. • Wzór Shannona, McMillana oraz Breimana dla przesunięć Markowa i jego znaczenie w teorii Literatura • W. Feler; Wstęp do rachunku prawdopodobieństwa i jego zastosowań, Tom I PWN, Warszawa 1987, wydanie V • M. Iosifoscu, Skończone Łańcuchy Markowa, WNT 1987 • P. Billingsley, Prawdopodobieństwo i miara, PWN 1987 • K. Peterson, Ergodic Theory, Cambridge Uniwersity Press, 1983 • A.Pacut, Prawdopodobieństwo, Teoria, Modelowanie probabilistyczne w technice, WNT Warszawa 1985
Matematyczne modelowanie i teoria optymalnego sterowania
prof. dr hab. Zdzisław Denkowski
Część I (semestr zimowy) ma za zadanie pokazac szerokiemu kręgowi studentów w sposób przystępny jak można precyzyjnie w języku matematyki formułowac zadania z różnych dziedzin życia (inżynierii, informatyki, ekonomii, biologii i medycyny).Podanie zarysu podstawowej teorii sterowania optymalnego. Część II (semestr letni) stanowić będzie samodzielną całość (nie jest konieczna znajomość części I) zawierającą rozwinięcie podstawowej teorii sterowania i pewne jej działy specjalne. Program: 1. Modele matematyczne (prowadzące do zadań sterowania optymalnego): • w inżynierii (sterowanie rakietą, miękkie lądowanie, czaso-optymalna eliminacja zakłócenia w pracy maszyny, optymalizacja kształtu, ...) • w ekonomii (optymalny podział produkcji na inwestycje i konsumpcje, dyskretne i ciągłe modele wzrostu kapitału, wolny rynek jako gra dynamiczna,...)• w biologii i medycynie (rozwój populacji, ekosystem jako gra dynamiczna, modele przepływu krwi, ...) • w informatyce (sterowanie przepływem informacji w komputerze) 2. Teoria podstawowa: Abstrakcyjny matematyczny model sterowania optymalnego • Istnienie i ilość rozwiązań optymalnych • Charakteryzacja rozwiązań optymalnych (konieczne i wystarczające warunki optymalności
równania Eulera-Lagrenge’a, zasada optymalności Bellmana, równania Hamiltona-Jacobiego-Bellmana, zasada maximum Pontriagina) Literatura: 1. J. Zabczyk, Zarys matematycznej teorii sterowania, PWN, Warszawa 1971. 2. W.H. Fleming and R.W. Rishel, Deterministic and stochastic optimal control , Springer-Verlag, Berlin, Heidelberg, New York, 1975.
Metody numeryczne 2
prof. dr hab. Piotr Zgliczyński
Program Uzupełnienie wiadomości z metod numerycznych algebry liniowej: WKW zbieżności metody iteracyjnej liniowej stacjonarnej. Twierdzenia o zbieżności metod Jacobiego, Gaussa-Seidla, SOR. Metoda obrotów Jacobiego wyznaczania wartości własnych macierzy symetrycznych. Metoda QR. Interpolacja trygonometryczna, FFT, interpolacja funkcjami sklejanymi, interpolacja Hermite'a. Aproksymacja. Istnienie, jednoznaczność rozwiązania zadania aproksymacji. Aproksymacja średniokwadratowa, aproksymacja jednostajna. Kwadratury Hermite'a, kwadratury Gaussa. Rozwiązywanie równań nieliniowych - wielowymiarowa metoda Newtona. Literatura J. M. Jankowscy, Przegląd metod i algorytmów numerycznych, cz. 1, WNT, Warszawa, 1981 M. Dryja, J.M. Jankowscy, Przegląd metod i algorytmów numerycznych, cz. 2, WNT, Warszawa, 1982 J. Stoer, Wstęp do metod numerycznych, cz.1, PWN, Warszawa, 1979 J. Stoer, R. Bulirsch, Wstęp do metod numerycznych, t.2, PWN, Warszawa, 1980 J. Stoer, R. Bulirsch, Wstęp do analizy numerycznej, PWN, Warszawa, 1987 W. Ralston, Wstęp do analizy numerycznej, PWN, Warszawa, 1975
Metody optymalizacji
prof. dr hab. Stanisław Migórski
Przedmiot: Metody optymalizacji Wymiar zajęc:30 godzin wykładu, 30 godzin ćwiczeń Punkty ECTS:7 Sposób zaliczenia:Egzamin Program: Elementy analizy wypukłej: wypukłe otoczenie zbioru, twierdzenie Carath?odoryego, zbiory i funkcje wypukłe, wielościany, stożki, twierdzenie o istnieniu i charakteryzacji punktów i wektorów ekstremalnych. Elementy teorii przestrzeni Banacha: operatory i funkcjonały liniowe, przestrzeń dualna, słabe topologie, rozdzielanie zbiorów, różniczkowanie funkcjonałów, operatory monotoniczne, pojęcie subróżniczki. Modele matematyczne różnych zagadnień optymalizacji, przykłady zagadnienia transportowego, maksymalnego przepływu, zagadnienia plecakowe. Zadania programowania nieliniowego i liniowego. Podstawowe twierdzenia egzystencjalne optymalizacji, kryteria jednoznaczności, warunki konieczne i wystarczające optymalności, graficzna metoda rozwiązywania pewnych zagadnień optymalizacji. Charakteryzacja rozwiązań optymalnych z wykorzystaniem stożków, zastosowanie w zadaniach programowania. Warunki optymalności dla zadań programowania nieliniowego bez ograniczeń. Warunki optymalności dla zadań programowania nieliniowego z ograniczeniami. Dualność w programowaniu nieliniowym, zagadnienia pierwotne i zagadnienie dualne. Dualność w programowaniu wypukłym. Teoria punktów siodłowych i zasada minimaksu. Zadanie programowania liniowego, metoda sympleksów, przykłady zastosowań. Informacja o dualnym zadaniu programowania liniowego. Zadanie programowania całkowitoliczbowego. Wybrane metody iteracyjne poszukiwania minimum bez ograniczeń i metody minimalizacji z ograniczeniami. Metody kierunków sprzężonych, metody zmiennej metryki, metoda Newtona, inne metody. Informacja o problemach i rezultatach teorii sterowania, metoda bezpośrednia rachunku wariacyjnego, półciągłość funkcjonałów. Zadania identyfikacji parametrów i zadania optymalizacji kształtu. Literatura: B. Martos, Nonlinear Programming, Theory and Methods, Akademiai Kiado, Budapest, 1975 W. Findeisen, J. Szymanowski, A. Wierzbicki, Teoria i metody obliczeniowe optymalizacji, PWN, Warszawa, 1980 P.E. Gill, W. Murray, M.H. Wright, Practical Optimization, Academic Press, 1981 B.D. Bunday, Basic Optimization Methods, 1984 S.I. Gass, Linear Programming, McGraw-Hill, New York, 1969 E. Zeidler, Nonlinear Functional Analysis and its Applications III, Variational Methods and Optimization, Springer, 1985
Metody wariacyjne równań różniczkowych
dr Leszek Gasiński
Program - zasada wariacyjna Ekelanda - twierdzenia o punkcie stałym - twierdzenia o wartości średniej - wypukłość, quasiwypukłość - subróżniczka Frecheta
subróżniczka złóżenia - metody wariacyjne analizy wypukłej - pochodna funkcji wypukłej - twierdzenie kanapkowe - funkcje wielowartościowe - stożek normalny i styczny - pochodna Clarke'a - lemat deformacyjny - twierdzenia minimaksowe - twierdzenie o przejściu przez przełęcz - twierdzenie o punkcie siodłowym - zastosowania metod wariacyjnych w równaniach eliptycznych drugiego rzędu Literatura: - J.M. Borwein, Q.J. Zhu Techniques of Variational Analysis, Springer, 2005. - Z. Denkowski, S. Migórski, N.S. Papageorgiou, An Introduction to Nonlinear Analysis: Applications, Kluwer Academic Publishers, New York, 2003. - L. Gasiński, N.S. Papageorgiou, Nonsmooth Critical Point Theory and Nonlinear Boundary Value Problems, Chapman and Hall/ CRC Press, Boca Raton, FL, 2005.
Modelowanie systemów liczących
dr Jerzy Martyna
Przedmiot: Modelowanie systemów liczących Wymiar zajęc: 30 godzin wykładu, 30 godzin ćwiczeń Punkty ECTS: 6 Sposób zaliczenia: egzamin Program: Podstawowe pojęcia dotyczące modelowania systemów liczących (klasyfikacja modeli, pojęcie systemu liczącego, systemy obsługi jako modele systemów liczących, notacja Kendalla) Probabilistyczne problemy szeregowania prac w systemie liczącym: twierdzenie Little?a, prawo zachowania, jednokolejkowe strategie szeregowania, wielokolejkowe strategie szeregowania) Probabilistyczne problemy rozdziału zasobów w systemach liczących: otarte i zamknięte sieci kolejek, model BCMP, algorytmy obliczeniowe dla rozwiązywania zamkniętych sieci kolejek Sterowanie parametrami systemów liczących dla uzyskania poprawy wydajności systemów liczących: sterowanie stopniem wieloprogramowania, optymalne zarządzanie pamięcią wirtualną, dopuszczalna liczba użytkowników Modelowanie przepływu danych w sieciach komputerowych (analiza opóźnień, problem wyznaczania pojemności sieci, przepustowości, optymalnego rozmieszczenia zasobów itp. Sterowanie parametrami sieci komputerowej: reguły doboru tras przejścia, algorytmy znajdowania najkrótszej trasy, problem maksymalizacji przepływów w sieciach Uogólnione stochastyczne sieci Petriego jako narzędzie modelowania systemów liczących oraz sieci komputerowych Literatura: T. Czachórski, Modele kolejkowe w ocenie efektywności pracy sieci i systemów komputerowych, Pracownia J. Skalbmierskiego, Gliwice 1999 P. G. Harrison, N.M. Patel, Performance Modeling of Communication Networks and Computer Architectures, Addison-Wesley 1993 J. Błażewicz, W. Cellary, R. Słowiński, J. Węglarz, Badania operacyjne dla informatyków, WNT, 1983 S.S. Lavenberg, Computer Performance Modeling Handbook, Academic Press, London, 1993
Obiektowe programowanie interfejsu użytkownika i interfejsu bazy danych
dr Maciej Smołka
1. Platforma .NET - architektura 2. Charakterystyka środowiska uruchamiania aplikacji .NET - Common Language Runtime. 3. podstwy języka C++ 4. Mechanizmy programowania obiektowego w C++ 5. Obiektowe programowanie graficznego interfejsu użytkownika na przykładzie biblioteki Windows Forms 6. Obsługa trwałych danych aplikacji - technologia ADO.NET Literatura 1. Materiały Microsoft official Curriculum do kursów 2124 i 2555 2. J. sharp, J. Jagger - MS visual C++ .NET Step by Step, Microsoft Press, 2002
Seminarium Katedry Optymalizacji i Sterowania
prof. dr hab. Zdzisław Denkowski
brak opisu
Sieci neuronowe
dr Igor Podolak
Program: Wykład ma na celu przedstawienie narzędzi automatycznego nauczania przy pomocy sieci neuronowych. W czasie wykładu przedstawione zostaną wykorzystywane paradygmaty, zasady automatycznego nauczania, większość istotnych architektur sieci. W trakcie wykładu przedstawione zostaną: analogie biologiczne, paradygmaty nauczania, architektura perceptronu, szczegółowo się warstwowe wraz z wszystkimi ważnymi algorytmami nauczania, metody nauczania wraz z modyfikacja architektury sieci, wzmocnienie siły nauczania przez algorytmy typu boosting, architektury rekurencyjne, sieci asocjacyjne i hybrydowe, architektura typu support-vector. W trakcie ćwiczeń powinny być przeprowadzone próby budowy sieci dla konkretnych problemów, co powinno pokazać studentom kiedy sieci neuronowe będą się sprawdzać, a kiedy nie, a także które architektury sprawdzać się będą lepiej. Literatura: Hertz, Krogh, Palmer "Sieci neuronowe" Osowski "Sieci neuronowe" Cichosz "Systemy uczace sie" Haykin "Neural networks"
Seminarium Słowa, słowa, słowa
dr hab. Wit Foryś
brak opisu
Symulacja komputerowa
dr hab. inż. Marek Skomorowski
Program Schemat organizacji badań symulacyjnych. Modele systemów ciągłych (równania różniczkowo-całkowe, równania stanu, transmitancja), rozwiązywanie równań (układów równań) różniczkowo-całkowych. Symulacja systemów ciągłych (przykładowe modele układów mechanicznych, elektrycznych, ekonomicznych, sterowania) Modele systemów dyskretnych, metoda przeglądu zdarzeń w symulacji dyskretnej, generatory liczb losowych. Symulacja systemów dyskretnych (przykładowe modele systemów obsługi). Literatura J. Banks, J. Carson, B. Nelson, D. Nicol, Discrete-event system simulation, Prentice-Hall, 2001 J. Kuraś, J. Lembas, M. Skomorowski, Wstęp do symulacji komputerowej systemów ciągłych, skrypt wydany przez Wydawnictwo Uniwersytetu Jagiellońskiego, 1995
Systemy relacyjnych baz danych
dr Henryk Telega
Cele dydaktyczne: Zapoznanie z nowoczesnymi technologiami w zakresie relacyjnych baz danych. Przekazanie wiedzy na temat implementowania i administrowania systemów relacyjnych baz danych oraz planowania i implementacji federacyjnych systemów baz rozproszonych. Wymagania wstępne: Student powinien wcześniej ukończyć zajęcia z przedmiotu „Bazy danych”. Opis kursu: Wykład Architektury współczesnych systemów baz danych. Systemy bezpieczeństwa. Podsystemy wejścia-wyjścia, fizyczna struktura baz danych. Projektowanie podsystemów wejścia-wyjścia. Transakcje. Mechanizmy dzienników transakcji, planowanie i implementowanie strategii archiwizacji, odtwarzanie baz danych po awariach. Planowanie, tworzenie i zarządzanie indeksami. Optymalizacja zapytań. Zarządzanie transakcjami i blokadami, poziomy izolacji transakcji współbieżnych. Automatyzacja zadań administracyjnych. Wymiana i transformacja danych między różnymi systemami. Monitorowanie i dostrajanie systemów. Rozproszone bazy danych. Łączenie serwerów. Partycjonowanie danych. Planowanie i implementowanie replikacji. Ćwiczenia Na ćwiczeniach studenci będą pracować z systemem MS SQL Serwer 2000 Enterprise Edition zainstalowanym w środowisku VMWare na maszynach wirtualnych MS Windows 2000 Advanced Server oraz MS Windows 2000 Professional (wersja MS SQL Desktop). Studenci będą planować i wykonywać zadania administracyjne, w tym związane z archiwizowaniem i odtwarzaniem baz danych po awariach, dostrajaniem systemu, automatyzowaniem zadań. Przewiduje się tworzenie baz rozproszonych z wykorzystaniem łączenia systemów przez OLEDB i ODBC a także z wykorzystaniem partycjonowania danych oraz replikacji. W zakresie baz rozproszonych niektóre ćwiczenia będą oparte o bazy heterogeniczne ORACLE 9i lub ORACLE 10g, PostreSQL i MS SQL Server. Część ćwiczeń odbywa się według materiałów kursów Microsoft Certified Professional. Forma zaliczenia: Zaliczenie ćwiczeń i egzamin. Student uzyskuje zaliczenie na podstawie projektu i testu. Elementem zaliczenia ćwiczeń będzie test o poziomie trudności egzaminów MCP w zakresie MS SQL Serwera. Końcowy egzamin będzie obejmował sprawdzenie umiejętności zaprojektowania, implementacji i utrzymania (w tym dostrajania) systemu serwerowego. Przykładowe zadanie egzaminacyjne: zaprojektowanie replikacji przy określonych wymaganiach, jakie system ma spełniać. Literatura: • Wykład (wersja elektroniczna dostarczona przez wykładowcę) • Materiały z serii Microsoft Official Curriculum (dostępne w bibliotece IIUJ). • Books Online - opis systemu MS SQL Server 2000 • Whalen E., Garcia M., DeLuca S.A.., Thompson D. SQL Server 2000 konfiguracja i optymalizacja, , Wyd. RM 2002. • MCSA/MCSE/MCDBA: SQL Server 2000 System administration, Microsoft Corporation 2003. • MCSA/MCSE/MCDBA: SQL Server 2000 Database design and implementation, Microsoft Corporation, 2003.
Teoria gier w aspekcie informatycznym
dr hab. Piotr Bugiel
brak opisu
Teoria złożoności obliczeń na liczbach rzeczywistych
prof. dr hab. Piotr Zgliczyński
Tematy: 1. Nieadekwatność klasycznej teorii złożoności obliczeniowej do opisu obliczeń naukowych 2. Pojecie obliczeń nad pierścieniem, złożoność obliczeniowa. Problem "P \neq NP" dla obliczeń nad pierścieniem 3. Klasy złożoności obliczeniowej dla obliczeń na liczbach rzeczywistych Literatura: L. Blum, F. Cucker, M. Shub, S. Smale - 'Complexity and Real Computation', Springer 1998 L. Blum, F. Cucker, M. Shub, S. Smale - 'Complexity and Real Computation, A manifesto', Int. J. of Bifurcations and Chaos 6 (1996) 3--26
Wprowadzenie do metod sztucznej inteligencji
dr Andrzej Bielecki
Opis: 1. Systemy ekspertowe. 2. Algorytmy genetyczne. 3. Sieci neuronowe. 4. Metody syntaktyczne. 5. Systemy wieloagentowe 6. Wnioskowanie rozmyte. Literatura: 1. D. Rutkowska, M. Piliński, L. Rutkowski, Sieci neuronowe, algorytmy genetyczne i systemy rozmyte, PWN, Warszawa, 1997 2. J. Zieliński (red.), Inteligentne systemy w zarządzaniu ? teoria i praktyka, PWN Warszawa, 2000 3. J. Mulawka, Systemy ekspertowe, Warszawa, 1996 4. J. Kacprzyk, Zbiory rozmyte w analizie systemowej, PWN Warszawa, 1986
Wprowadzenie do szeregów czasowych
dr hab. Jan Malczak
1. Istota szeregów czasowych 2. Podstawowe typy jednowymiarowych szeregów czasowych • Biały szum – Test Durbina – Watsona • Szereg AR(1) – recesja liniowa z autokorelacją składnika losowego • Szereg AR (p) • Szereg AR (q) – Odwrotność szeregów czasowych • Szereg ARMA (p, q)3. Stacjonarność szeregów czasowych • Kryteria stacjonarności • Integracja szeregów czasowych • Szereg ARiMA (p, d, q)4. Modelowanie przy pomocy szeregów typu ARiMA • Określanie rzędów szeregów czasowych typu ARMA- Funkcja ACF- Funkcja PACF- Schemat Box’a – Jenkins’a • Dekompozycja i wygładzanie szeregów czasowych - Dekompozycja - Wygładzanie szeregów metodą średnich ruchomych - Średnia ruchoma prosta - Filtr liniowy i wygładzanie wykładnicze - Filtr nieliniowy i mediana ruchoma Literatura: 1. T. Jabłoński, Statystyka w biznesie, 2001 2. K. Jajuga, Ekonometria, metody i analiza problemów ekonometrycznych 3. R. Carter Hill, W. Griffiths, G. Judge, Undergraduate Econometrics, John Wiley & Sons, 1997 |
| tojot napisał: | Małe uzupełnionko się pojawiło:
Semantyka języków programowania
W dr Paweł Waszkiewicz PIA 12:00-14:00 s. 117 Kampus
ĆW 1 dr Paweł Waszkiewicz PIA 14:00-16:00 s. 117 Kampus
Opis przedmiotu
Przedmiot: Semantyka języków programowania Wymiar zajęć: 30 godzin wykładu, 30 godzin ćwiczeń Sposób zaliczenia: egzamin Opis przedmiotu: Wiadomo, że każdy algorytm może być zaimplementowany na (przeliczalnie) wiele sposobów w wybranym języku programowania. To znaczy, że fragmenty kodu programu mogą mieć to samo znaczenie (semantykę) i różnić się składnią. W jaki sposób precyzyjnie zdefiniować znaczenie programu? Jak rozróżnić fragmenty programu o tej samej semantyce? Czy części kodu o tym samym znaczeniu można używać wymiennie w każdym kontekście większego programu bez zmiany jego znaczenia? Jak zaprojektować język programowania by taka współwymienialność kodu była dozwolona? Pytania te i podobne dotyczące znaczenia a nie składni programów są przedmiotem badań semantyki denotacyjnej, czyli matematycznej teorii znaczenia języków programowania. Wykład ten stanowi wstęp do semantyki denotacyjnej języków funkcyjnych. Jako wiodący przykład omawiamy prosty, abstrakcyjny język funkcyjny (prototyp) PCF zawierający podstawowe typy danych (l. naturalne, typ boolowski) i konstrukty (pętle, wyrażenia warunkowe, itd.) - wykłady 9-13. Matematyczny opis PCF opiera się na tzw. teorii dziedzin, której poświęcamy wiele uwagi (wykłady 1-8). Całość 30 godzin wykładu podsumowuje dyskusja współczesnych zaganień semantyki denotacyjnej i nowych trendów w teorii dziedzin (wykłady 13-15). Cel wykładu Student, który ukończy kurs z oceną pozytywną powinien: * dobrze rozumieć dualizm pomiędzy składnią i semantyką języków programowania; w szczególności wiedzieć i umieć wytłumaczyć w jaki sposób znaczenie postawowych konstrukcji składniowych języków jest opisywane w języku teorii mnogości * sprawnie posługiwać się aparatem pojęciowym teorii dziedzin i być przygotowanym do czytania literatury fachowej z zakresu semantyki denotacyjnej * rozumieć rolę teorii matematycznych egzemplifikowanych przez teorię dziedzin w zaawansowancyh teoriach informatycznych reprezentowanych przez semantykę denotacyjną * być przygotowanym do zrozumienia zagadnień poprawnego projektowania i weryfikacji programów i języków programowania. Program 1. WSTĘP: PROBLEM MATEMATYCZNEGO OPISU PĘTLI while * Semantyka jako matematyczny opis języków programowania; rys historyczny * Style semantyki: operacyjna, aksjomatyczna, denotacyjna * Składalność (ang. compositionality) * Przykład: najmniejszy punkt stały odwzorowania jako semantyka while 2. DZIEDZINY JAKO OBIEKTY SEMANTYCZNE * Dziedziny: częściowe porząki ciągłe i zupełne; aproksymacja * Funkcje monotoniczne i ciągłe; twierdzenie o punkcie stałym * Przykłady: dziedzina liczb naturalnych, wartości logicznych, dziedziny płaskie (ang. flat domains) 3. DZIEDZINY JAKO TOPOLOGIE * Topologia Scotta - podstawowe własności; związki topologii z porządkiem * Bazy * Dalsze przykłady: dziedzina przedziałowa, dziedzina słów, dziedzina T-omega 4. PODSTAWOWE KONSTRUKCJE W KATEGORII DZIEDZIN * Produkt binarny; projekcje; funkcje ciągłe dwóch argumentów * Produkt zależny * Przestrzeń funkcyjna; ciągłość ewaluacji (curryfikacji) * Ciągłość operatora punktu stałego fix 5. KONSTRUKCJE ZAAWANSOWANE * Pary e-p (zanurzenie-projekcja) * Granice proste i odwrotne omega-diagramów * Twierdzenie o zgodności granicy prostej i odwrotnej 6. REKURSYWNE RÓWNANIA DZIEDZINOWE (1) * Dziedziny jako rozwiązania równań * Kartezjańsko zamknięte karegorie dziedzin: rys historyczny 7. REKURSYWNE RÓWNANIA DZIEDZINOWE (2) * Konstrukcja dziedziny izomorficznej z własną przestrzenią funkcyjną 8. INDUKCJA JAKO NARZĘDZIE SEMANTYCZNE * Indukcja matematyczna * Indukcja strukturalna * Indukcja Scotta 9. JĘZYK PCF (ang. Programming Computable Functions) * PCF jako prosty abstrakcyjny język funkcyjny * Składnia PCF: typy, wyrażenia, termy * Typowanie 10. SEMANTYKA OPERACYJNA * Semantyka operacyjna PCF 11. SEMANTYKA DENOTACYJNA PCF * Denotacje termów domkniętych * Składalność * Poprawność semantyki denotacyjnej 12. WSPÓŁZALEŻNOŚĆ SEMANTYKI OPERACYJNEJ I DENOTACYJNEJ * Dostateczność (ang. adequacy) semantyki denotacyjnej PCF * Formalna relacja aproksymacji i jej własności * Porządek kontekstowy i ekstensjonalność 13. PODSTAWOWE PROBLEMY SEMANTYKI DENOTACYJNEJ * Problem abstrakcji zupełnej (ang. full abstraction problem) dla PCF * Funkcja por (równoległa alternatywa; ang. parallel or) * Semantyka kategoryjna i semantyka gier 14. WSPÓŁCZESNE TRENDY W TEORII DZIEDZIN * Syntetyczna i aksjomatyczna teoria dziedzin * Modelowanie przestrzeni topologicznych 15. MIEJSCE TEORII DZIEDZIN WŚRÓD INNYCH TEORII MATEMATYCZNYCH * Dziedziny jako przestrzenie bitopologiczne * Dziedziny jako przestrzenie z quasi-bliskością * Dziedziny jako częściowe przestrzenie metryczne * Ilościowa teoria dziedzin? Literatura: 0. Notatki prowadzącego 1. S.Abramsky and A.Jung, Domain Theory. In Handbook of Logic in Computer Science, Vol. III, Clarendon Press, 1994, pages 1-168. Dostępne z: [link widoczny dla zalogowanych] (wykłady 2-7 i 14) 2. C.A. Gunter and D.S.Scott, Semantic Domains, Chapter 12 of the Handbook of Theoretical Computer Science (J. van Leeuwen eds.) Elsevier Sci. Publishers (1990) (wykłady 2-7) 3. R. Heckmann, Power Domain Constructions (Potenzbereich-Konstruktionen), Phd thesis, Universitat des Saarlandes, 1990, dostępne z: [link widoczny dla zalogowanych] (wykłady 2-5) 4. A. Jung et al. Domains and Denotational Semantics: History, Accomplishments and Open Problems. Bulletin of EATCS, 59:227-256, 1996. Dostępne z: [link widoczny dla zalogowanych] (wykład 14) 5. A.M. Pitts, Lecture Notes on denotational semantics, Notatki do wykładu z Uniw. w Cambrigde, Dostępne z: [link widoczny dla zalogowanych] (wykłady 9-13) 6. G. Winskel, The formal semantics of Programming Languages, MIT Press (1993) (wykłady 9-13) |
PS. Wiem, że powyższy zestaw nieco różni się od obecnego, ale to jest z zeszłego roku w końcu.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
smas
Okrutny Admin
Dołączył: 20 Paź 2005
Posty: 1634
Przeczytał: 0 tematów
|
| Wysłany: Czw 15:10, 20 Wrz 2007 Temat postu: |
|
|
|
jaki długi post - i to nie o polityce... :D
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Madras
Omylny Admin
Dołączył: 09 Lis 2005
Posty: 2021
Przeczytał: 0 tematów
Skąd: Z Pokoju :]
|
| Wysłany: Czw 15:12, 20 Wrz 2007 Temat postu: |
|
|
| Cytat: | Metody numeryczne 2
prof. dr hab. Piotr Zgliczyński
Program Uzupełnienie wiadomości z metod numerycznych algebry liniowej: WKW zbieżności metody iteracyjnej liniowej stacjonarnej. Twierdzenia o zbieżności metod Jacobiego, Gaussa-Seidla, SOR. Metoda obrotów Jacobiego wyznaczania wartości własnych macierzy symetrycznych. Metoda QR. Interpolacja trygonometryczna, FFT, interpolacja funkcjami sklejanymi, interpolacja Hermite'a. Aproksymacja. Istnienie, jednoznaczność rozwiązania zadania aproksymacji. Aproksymacja średniokwadratowa, aproksymacja jednostajna. Kwadratury Hermite'a, kwadratury Gaussa. Rozwiązywanie równań nieliniowych - wielowymiarowa metoda Newtona. Literatura J. M. Jankowscy, Przegląd metod i algorytmów numerycznych, cz. 1, WNT, Warszawa, 1981 M. Dryja, J.M. Jankowscy, Przegląd metod i algorytmów numerycznych, cz. 2, WNT, Warszawa, 1982 J. Stoer, Wstęp do metod numerycznych, cz.1, PWN, Warszawa, 1979 J. Stoer, R. Bulirsch, Wstęp do metod numerycznych, t.2, PWN, Warszawa, 1980 J. Stoer, R. Bulirsch, Wstęp do analizy numerycznej, PWN, Warszawa, 1987 W. Ralston, Wstęp do analizy numerycznej, PWN, Warszawa, 1975 |
Chyba się zapiszę, po MN1 u Trapla wygląda to na darmowe punkty.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
ZenonZajebich
żul
Dołączył: 19 Lis 2005
Posty: 662
Przeczytał: 0 tematów
Skąd: BRAK DANYCH
|
| Wysłany: Czw 18:41, 20 Wrz 2007 Temat postu: |
|
|
|
j/w :|
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Crow
alkoholik
Dołączył: 14 Mar 2006
Posty: 497
Przeczytał: 0 tematów
Skąd: KRK-NH
|
| Wysłany: Czw 20:17, 20 Wrz 2007 Temat postu: |
|
|
Jak zapisać się na FAIS-ie:
1. Studenci II mogą chodzić na wszystkie kursy tj. nie ma ograniczeń
2. Wykłady są zawsze otwarte, ale co do ćwiczeń to będziecie przyjmowani tylko tam gdzie będą jeszcze miejsca. FAIS nie gwarantuje tworzenia grup "z naszego powodu"
3. Piszecie podanie do dziekana/dyrektora FAIS-u (nie wiem dokładnie do kogo) i podajecie w nim przedmioty na które chcielibyście chodzić. Idziecie z tym podaniem do dyr. Skomorowskiego który wyraża (lub nie) zgodę... a następnie drepczecie na Reymonta na FAIS z tym podaniem i powinno ono być pozytywnie rozpatrzone.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
eye
pijak
Dołączył: 03 Cze 2006
Posty: 38
Przeczytał: 0 tematów
Skąd: z Mazowsza
|
| Wysłany: Czw 22:04, 20 Wrz 2007 Temat postu: |
|
|
@Crow: dzięki
może jeszcze nie wszystko stracone
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
nathaniel
pijak
Dołączył: 25 Paź 2005
Posty: 229
Przeczytał: 0 tematów
Skąd: Bielsko-Biała
|
| Wysłany: Czw 23:00, 20 Wrz 2007 Temat postu: |
|
|
|
a gdzie można zobaczyć jakąś listę przedmiotów z FAISu? Nigdzie nie mogę znaleźć...
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
eye
pijak
Dołączył: 03 Cze 2006
Posty: 38
Przeczytał: 0 tematów
Skąd: z Mazowsza
|
| Wysłany: Pią 12:05, 21 Wrz 2007 Temat postu: |
|
|
Przedmioty na FAISie:
[link widoczny dla zalogowanych]
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
smas
Okrutny Admin
Dołączył: 20 Paź 2005
Posty: 1634
Przeczytał: 0 tematów
|
| Wysłany: Pią 12:26, 21 Wrz 2007 Temat postu: |
|
|
| Crow napisał: | Jak zapisać się na FAIS-ie:
1. Studenci II mogą chodzić na wszystkie kursy tj. nie ma ograniczeń
2. Wykłady są zawsze otwarte, ale co do ćwiczeń to będziecie przyjmowani tylko tam gdzie będą jeszcze miejsca. FAIS nie gwarantuje tworzenia grup "z naszego powodu"
3. Piszecie podanie do dziekana/dyrektora FAIS-u (nie wiem dokładnie do kogo) i podajecie w nim przedmioty na które chcielibyście chodzić. Idziecie z tym podaniem do dyr. Skomorowskiego który wyraża (lub nie) zgodę... a następnie drepczecie na Reymonta na FAIS z tym podaniem i powinno ono być pozytywnie rozpatrzone. |
Pisze się do Zbigniewa Rudego, pełnomocnika ds. studenckich. Ale w wyborze przedmiotów należy uwzględnić, że przedmioty z puli "obowiązkowe" są oblegane tam i trudno się na nie załapać.
Złożyłem narazie podanie na 3 przedmioty.... ale najchętniej w ogóle bym już tam się przeniósł!
- pracownia języków skryptowych
- java, technologie informatyczne
- zaawansowane programowanie obiektowy w C++
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
swiecmich
pijak
Dołączył: 09 Lis 2005
Posty: 62
Przeczytał: 0 tematów
Skąd: pomorze :D
|
| Wysłany: Pią 13:23, 21 Wrz 2007 Temat postu: |
|
|
|
a do kiedy trzeba składać te podania?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
eye
pijak
Dołączył: 03 Cze 2006
Posty: 38
Przeczytał: 0 tematów
Skąd: z Mazowsza
|
| Wysłany: Pią 13:39, 21 Wrz 2007 Temat postu: |
|
|
@smas: a gdzie się można dowiedzieć które z tych przedmiotów są obowiązkowe?
btw: czy w podaniu wyszczególniłeś grupy, do których chcesz się zapisać?
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
kg86
zielony żul
Dołączył: 22 Gru 2005
Posty: 1194
Przeczytał: 0 tematów
Skąd: pochodze?
|
| Wysłany: Pią 13:43, 21 Wrz 2007 Temat postu: |
|
|
|
wlasnie, bo jak sprawdzilem te przedmioty na USOSie, to wszystkie sie wydaja byc obowiazkowe :P
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
smas
Okrutny Admin
Dołączył: 20 Paź 2005
Posty: 1634
Przeczytał: 0 tematów
|
| Wysłany: Pią 14:06, 21 Wrz 2007 Temat postu: |
|
|
| eye napisał: | @smas: a gdzie się można dowiedzieć które z tych przedmiotów są obowiązkowe?
btw: czy w podaniu wyszczególniłeś grupy, do których chcesz się zapisać? |
przypuszczam, że na usosie jest jakieś info. Ja olałem ten wymóg i mi babka w sekretariacie powiedziała, że to trochę oblegane przedmioty. W podaniu nie pisałem grup bo to nie ma sensu. Najpierw musi być miejsce, dopiero potem zobaczysz co Ci zostanie i ew. będą rotacje w grupach, bo wiadomo na pewno będą jakieś konflikty i trzeba będzie się zamieniać
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
krzycho
pijak
Dołączył: 09 Lis 2005
Posty: 151
Przeczytał: 0 tematów
Skąd: Radom
|
| Wysłany: Pią 15:51, 21 Wrz 2007 Temat postu: |
|
|
@smas: do ktorej dzis mozna jeszcze skladac te podania ?
w ogole mozna jeszcze te podania na fais skladac w pazdzierniku?
bo nie chce mi sie specjalnie dla tego zostawac w krk:P
tak btw. to nic ciekawego z tych przedmiotow prawie nie ma :roll:
edit: patrzylem na to co napisal smas, a jednak jest kilka fajnych przedmiotow w tym pdf.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Crow
alkoholik
Dołączył: 14 Mar 2006
Posty: 497
Przeczytał: 0 tematów
Skąd: KRK-NH
|
| Wysłany: Pon 13:10, 24 Wrz 2007 Temat postu: |
|
|
Oki ludziska... Jak ktoś chce iść na BSK i KTK to proszę się kontaktować z Panami dr Martyną i dr Forysiem. W przypadku BSK nie ma problemów żeby się dopisać, ale jeśli chodzi o KTK to dr Foryś był na jakiejś konferencji i nie było z nim kontaktu (choć IMHO też niepowinno być problemów).
Jeśli chodzi o Kompilatory - również polecam bezpośredni kontakt z dr Roskiem (mailowo lub na dyżurach).
Co do innych przedmiotów - zasady są proste... idziecie do ćwiczeniowców i prosicie żeby Was przyjęli.
Jest jeszcze FAIS.
Niestety wyjeżdżam aż do piątku... wrazie problemów/wątpliwości zalecam kontakt z Matiasem ;]
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
swiecmich
pijak
Dołączył: 09 Lis 2005
Posty: 62
Przeczytał: 0 tematów
Skąd: pomorze :D
|
| Wysłany: Pon 22:52, 24 Wrz 2007 Temat postu: |
|
|
|
To wie ktoś do kiedy można składać te podania na FAIS? Bo nie wiem czy muszę specjalnie przyjeżdżać do Krakowa przed poniedziałkiem...
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
Matjas
pijak
Dołączył: 24 Maj 2006
Posty: 225
Przeczytał: 0 tematów
|
| Wysłany: Wto 12:32, 25 Wrz 2007 Temat postu: |
|
|
|
Stara zasada: im szybciej, tym lepiej.
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
insane
pijak
Dołączył: 28 Sty 2006
Posty: 60
Przeczytał: 0 tematów
Skąd: brązowy
|
| Wysłany: Wto 15:01, 25 Wrz 2007 Temat postu: |
|
|
witam
Pilnie poszukuje kogos kto zamieni sie ze mna na terminy z cwiczen z kompilatorow. Obecnie jestem zapisany na grupe wtorkowa u Jana Roska w godzinach 12-14 i chcialem sie przepisac na grupe rowniez we wtorek ale w godzinach 14-16. Sprawa jest bardzo pilna wiec jesli ktos moze to bardzo prosilbym o kontakt: [link widoczny dla zalogowanych], 695542452 Dzieki z gory
|
|
| Powrót do góry |
|
|
| Zobacz poprzedni temat :: Zobacz następny temat |
| Autor |
Wiadomość |
dzendras
Germański oprawca
Dołączył: 07 Mar 2006
Posty: 1326
Przeczytał: 0 tematów
Skąd: Chorzów
|
| Wysłany: Wto 15:24, 25 Wrz 2007 Temat postu: |
|
|
|
Ja bardzo chętnie. Chwilowo nie jestem w żadnej grupie, więc chętnie się zamienię :mrgreen:
|
|
| Powrót do góry |
|
|
|
|
Nie możesz pisać nowych tematów
Nie możesz odpowiadać w tematach
Nie możesz zmieniać swoich postów
Nie możesz usuwać swoich postów
Nie możesz głosować w ankietach
|
fora.pl - załóż własne forum dyskusyjne za darmo
Powered by phpBB © 2001, 2005 phpBB Group
|
FAQ
Szukaj
Użytkownicy
Grupy
Galerie
Rejestracja
Zaloguj się, by sprawdzić wiadomości
Zaloguj
