Podstawy obsługi komputera osobistego
2 W15 C15
brak
brak
W,C: dr J. Sobiecki (gość)
Informatyka "M"
2 W15 C30
Podstawy teorii informacji: pojęcie ilości informacji, bitu, bajtu, model von Neumanna maszyny cyfrowej, program komputerowy. System operacyjny DOS. Elementy komputera, informacje o kartach graficznych, dyskach, pamięciach. Sieci komputerowe (Internet) i ich wykorzystywanie. Przykłady zastosowań komputerów w biologii. Norton Commander, Windows (Word, Excel), d-Base III.
Brak
Brak
mgr A. Łączkowski
Programowanie I
2 W30 L30
Informacje o pracy na komputerze i oprogramowaniu (rozpoczęcie i zakończenie pracy; system operacyjny DOS i Norton Commander, edytory , viewery, kompresja, poczta, ftp; środowisko Windows, edytory, kalkulator; Word, Excel, Netscape itp.) Podstawy języka C++ (struktura programu, bloki, zmienne, podstawowe instrukcje, funkcje, tablice, zmienne dynamiczne, rekurencja, obsługa błędów). Proste algorytmy, ich testowanie i optymalizacja. Podstawowe informacje o systemie UNIX.
brak
tylko dla studentów fizyki
W: dr M. Spaliński;
Programowanie dla astronomów
1 W30 C30 E
Programowanie w języku Fortran. Programowanie w języku C.
dla studentów astronomii
brak
W: dr M. Szymański
Programowanie II
1 C60
Zależnie od grupy, kilka zagadnień: Rozszerzenie wiadomości o języku C++ (klasy i obiekty, dziedziczenie, lista dwukierunkowa, polimorfizm). Elementy grafiki komputerowej. Programowanie "sprzętowe" (np. obsługa myszy, klawiatury). Bardziej złożone algorytmy (obliczenia numeryczne, sortowanie, wyszukiwanie). Elementy programowania w języku FORTRAN I korzystanie z bibliotek.
brak
Programowanie I
Kurs Unixu
2 W10
Budowa, właściwości i zastosowania systemów operacyjnych Unix. Struktura i posługiwanie się systemem plików Unixa: drzewo katalogów, zezwolenia i prawa własności do plików; Niezbędne komendy shella i programy narzędziowe; mechanizmy uruchamiania programów
brak
brak
W: mgr M. Gromisz, dr R. Budzyński
Informatyka
1 C60
Obsługa i użytkowanie gotowych programów dydaktycznych z fizyki: Proste metody numeryczne rozwiązywania równań różniczkowych zwyczajnych. Wybrane metody Monte Carlo. Przeznaczenie i działanie komputera. Komputer osobisty i system operacyjny PC DOS.
dla studentów NKF
brak
Wstęp do informatyki I
1 W30 L30 E
Problemy: "algorytmizowalne" i "niealgorytmizowalne", problemy decyzyjne, optymalizacyjne, numeryczne. Algorytmy a programy. Język programowania. Składnia i semantyka języków programowania. Komputer, elementy jednostki obliczeniowej. Elementy programu. Stałe i zmienne. Reprezentacje liczb. Wyrażenia i ich konstrukcja. Instrukcje. Funkcje i procedury. Przekazywanie parametrów, zakres zmiennych. Wejście-Wyjście programu. Pliki tekstowe.
Brak
Brak
Wstęp do informatyki II
2 W30 C30 E
Rekordy. Pliki binarne. Rekursja. Typy wskaźnikowe. Listy i drzewa. Konstruowanie algorytmów. Programowanie dynamiczne, p. z nawrotami, algorytmy zachłanne, a. randomizacyjne. Obliczenia. Specyfika obliczeń numerycznych. Poprawność algorytmów. Metoda niezmienników. Uwarunkowanie problemów numerycznych, poprawność i stabilność algorytmów. Złożoność obliczeniowa problemu a złożoność algorytmu. Algorytmy optymalne. Problemy obliczeniowo "trudne".
Wstęp do informatyki I
Brak
W: prof. H. Woźniakowski
Metody programowania
2 W30 C30 L30 E
Brak
Zaliczenie "Wstępu do programowania". Tylko dla studentów Infromatyki
W: dr P.Chrząstowski, C: mgr P.Sapiecha,
Matematyka dyskretna 1
1 W30 C30 E
Prezentacja podstawowych metod kombinatorycznych i teorii grafów w ujęciu algorytmicznym.
Brak
Brak
W: prof. B,Chlebus C:prof. B. Chlebus, dr M.Kowaluk, mgr D. Kowalski, mgr P. Sapiecha
Wstęp do programowania
1 W30 C30 E
Podstawowy wykład wprowadzający do studiów informatycznych. Nauczenie projektowania, zapisywania, dowodzenia poprawności i analizowania złożoności algorytmow.
Brak
Tylko dla studentów kierunku Informatyka
W: dr P.Chrząstowski C: dr P,Chrząstowski, mgr A.Malinowski, dr I.Walukiewicz, mgr J.Jabłonowski, dr K.Grygiel, mgr A.Kochut, mgr P.Sapiecha, mgr A.Gambin, mgr A.Bałaban, dr hab. W.Ogryczak
Wstęp do teorii mnogości
1 W30 C30 E
Prezentacja podstawowych pojęć matematycznych takich jak zbiór, relacja, funkcja, porządek, indukcja.
Brak
Brak
W: prof. J.Tiuryn, C:prof.J.Tiuryn, dr I.Walukiewicz, dr M. Kowaluk, mgr D.Kowalski, mgr P.Sapiecha
Matematyka dyskretna 2
2 W30 C30 E
Elementy algebry, teorii liczb i dyskretnego rachunku prawdopodobieństwa z zastosowaniami w informatyce.
Brak
Brak
W: prof. B,Chlebus C:prof. B. Chlebus, dr M.Kowaluk, mgr D. Kowalski, mgr P. Sapiecha
Logika
2 W30 C30 E
Przedstawienie formalnych metod i ugruntowanie ich podstaw matematycznych w nawiąaniu do zastosowań w informatyce.
Brak
Brak
W: prof. P.Urzyczyn, C: dr M.Benke, mgr D. Walukiewicz, prof.P.Uryczyn, mgr J.Chrząszcz, mgr R.Maron
Metody programowania
2 W30 C30 L30 E
Programowanie imperatywne w małej skali. Podstawowe techniki programowania, elementarne algorytmy i struktury danych.
Tylko dla studentów kierunku Informatyka
Zaliczenie "Wstępu do programowania". Tylko dla studentów Infromatyki
W: dr P.Chrząstowski C: dr P,Chrząstowski, mgr A.Malinowski, dr I.Walukiewicz, mgr J.Jabłonowski, dr K.Grygiel, mgr A.Kochut, mgr P.Sapiecha, mgr A.Gambin, mgr A.Bałaban, dr hab. W.Ogryczak
Informatyka
1 W30 L30
Przygotowanie studentów (kierunków ekonomicznych) do pełnienia w przyszłości roli użytkowników oprogramowania i systemów komputerowych. Powinni to być użytkownicy aktywni, zdolni do współpracy z informatykami. Muszą posiadać elementarne wiadomości dotyczące "możliwości" komputerów i wybranych tendencji we współczesnej komputeryzacji, zwłaszcza w zastosowaniach gospodarczych. Student najpierw powinien poznać możliwości sprzętu i oprogramowania, aby stać się w przyszłości świadomym generatorem zapotrzebowania na nowe informacje.
brak
brak
prof. UW M. Lasek ,dr D.Dziuba,
Informatyka
1 C30
Podstawowe umiejętności w zakresie obsługi komputera.
brak
tylko dla studentów WPs
dr M. Haman mgr M. Drogosz inż. B. Korecki, mgr W. Narkiewicz-Jodko, mgr M. Trojan,
Laboratorium komputerowe
2 L30
Przygotowanie do samodzielnego opracowywania wyników doświadczeń; tj. wykonywania wykresów, analizy statystycznej wyników oraz sporządzania opisu.Specjalistyczne bazy danych, Internet, oprogramowanie chemiczne.
Brak
Brak
dr P. Romiszowski i zespół
Wstęp do technologii baz danych
1 W30 C30 E
Podstawowe cechy systemów baz danych; głównymi stosowanymi współcześnie architekturami systemów baz danych, ze szczególnym uwzględnieniem relacyjnych systemów zarządzania bazami danych (RDBMS); oraz narzędziami służącymi do projektowania i implementacji.
Programowanie II.
Programowanie I.
W: dr R. Budzyński
Wstęp do modelowania numerycznego
2 W30
brak
brak
W: dr hab. R. Kutner
Seminarium nowości komputerowe
12 S30
Brak
Brak
prof. UW E. Bartnik, prof. M. Pindor
Bazy danych
2 W30 C15 L15 E
Podstawowe zasady projektownia relacyjnych baz danych. Podstawy teorii relacji. Budowa diagramów związków encji. Postacie normalne baz danych. Język SQL. Strategie indeksowania. Informacje o innych typach baz danych. Informacje o bazach rozproszonych i dostępie do bazy przez sieć komputerową Internet.
Brak
Brak
W: dr L.Rudak
Programowanie obiektowe
1 W30 C30 L30 E
Przedstawienie metodologii programowania obiektowego na przykładzie kilku obiektowych języków programowania (C++, Smalltalk, Turbo Pascal 7.0, Loglan, Simula 67).
Tylko dla studentów kierunku Informatyka
Brak
W: ???; C+L: dr W. Plandowski, mgr J. Jabłonowski, mgr A.Zaroda, dr D.Szczepańska-Wasersztrum, mgr M.Warpechowski; L:G. Jakacki
Algorytmy i struktury danych
1 W30 C30 L30 E
Przedstawienie problematyki konstruowania i analizowania zaawansowanych algorytmów i struktur danych ze szczególnym uwzględnieniem aspektów złożonościowych.
Brak
Brak
W: dr hab. K.Diks; C: dr hab W.Ogryczak, mgr A.Malinowski, dr M. Kowaluk, dr W.Plandowski, K.Sobusiak
Języki, automaty i obliczenia
1 W30 C30 L30 E
Przedstawienie związków między teorią języków foirmalnych, a teorią obliczeń. Problemy algorytmicznie nierozwiązywalne. Klasy probemów trudnych. Podstawy teoretyczne teorii translacji.
Brak
Brak
W: prof. W.Rytter; C: dr M.Kowaluk, dr hab D.Niwiński, dr W.Plandowski, prof. W.Rytter, dr I.Walukiewicz
Architektura komputerów i programowanie niskopoziomowe
2 W30 L30 E
Przedstawienie zasad projektowania i uruchamiania oprogramowania na poziomie poniżej typowyh API (Application Programming Interface) dostępnych dla programów użytkowych pisanych w językach wysokiego poziomu.
Brak
Brak
W: dr J.Deminet; C: mgr Z.Jurkiewicz, dr A.Kadlof
Programowanie współbieżne
2 W30 C30 L30 E
Prezentacja podstawowych problemów współbieżności, formalizmów do ich opisu, mechanizmów synchronizacji procesów w systemach scentralizowanych ui rozproszonych, a także przykładów ich realizacji.
Tylko dla studentów kierunku Informatyka
Brak
W: dr J.Mincer-Daszkiewicz, C:dr J.Mincer-daszkiewicz, mgr A.Glanowska, mgr A.Kret, mgr M.Miłkowska, mgr M.Engel; L: mgr A. Glanowska, mgr K.Stencel, mgr P.Janowski, mgr S. Lasota, mgr M.Engel, D. Boruń, T. Błaszczyk, M.Dembowski
Semantyka języków programowania
2 W30 C30 E
Przegląd metod opisu semantyki języków programowania, a w szczególności semantyki denotacyjnej oraz logik do formalnego wyrażania i dowodzenia własności programów. Logika Hoare'a i rachunek najmocniejszych warunków wstępnych Dijkstry.
Brak
Brak
W: dr hab. M.Grabowski; C: dr hab M.Grabowski, mgr S.Lasota, mgr E.Madalińska
Zespołowy projekt programistyczny
2 L30
Realizacja projektu programistycznego w średniej skali przez zespoły 3-4 osobowe.
Brak
Tylko dla studentów kierunku Informatyka
L: mgr Z.Jurkiewicz, mgr J.Jabłonowski, mgr M.Kubica, mgr R.Maron, mgr A/Schubert, mgr A.Zaroda, mgr G.Grudziński, G.Jakacki
Informatyka
1 L30
Budowa i obsługa komputera. Działanie systemów informatycznych. Internet i jego obsługa.
brak
brak
Programowanie matematyczne
1 W30 C30
brak
brak
dr W. Świtalski
Statystyka matematyczna
2 W30 C30E
brak
brak
dr W. Niemiro
Wstęp do statystyki
1 W30 C15E
brak
brak
dr A. Maksimowicz-Ajchel
Zróżnicowanie wewnątrzgatunkowe człowieka: antropologia Amerindian
12 W60
brak
brak
dr K. Piasecki
Bioinformatyka
12 W30 C60
Wstęp do bioinformatyki. Pakiety GCG i PHYLIP. Przeszukiwanie baz danych. Porównywanie sekwencji nukleotydowych i aminokwasowych. Analiza rodzin białek, reprezentacja rodziny. Motywy sekwencji związane z funkcją. Motywy rodzin białek, sygnały segregacji do przedziałów komórki, sekwencje kontrolujące ekspresję genów. Kodujące i niekodujące sekwencje DNA. Ewolucja molekularna. Sequence Retrieval System. PDB. Grafika molekularna. Modelowanie struktur białek. Serwery biologiczne w Internecie.
Brak
Zaliczenie Genetyki,Biochemii i Informatyki
W, C: prof. A. Jerzmanowski, prof. P. Zielenkiewicz
Informacja obrazowa
2 W30 C60 E
Pozyskiwanie informacji o środowisku przyrodniczym. Podstawy teoretyczne i przyrodniczy rodowód informacji obrazowej i widzenia, praktyczne zastosowanie technik obrazowania i jego analizy oraz interpretacji. Techniki obrazowania w różnych zakresach promieniowania elektromagnetycznego od korpuskularnego po radiowe i fal sprężystych. Formy obrazowani a środowisk w różnych odwzorowaniach i przedziałach czasowych. Metody i zasady interpretacji obrazu, analizy znaczeniowej i cyfrowej.
Brak
Brak
W, C: dr M. Ostrowski
Komputer i sieci
2 W30 C30
Wprowadzenie do zagadnień sieci. Linie szeregowe. Modemy. Linie dzierżawione i komutowane. Ethernet. Frame Relay Protokół TCP/IP i protokoły wyższego rzędu. Poczta elektroniczna. Trumpet Winsock pod Win3.x i Dial Up Networking pod Win95. Warstwa TCP/IP pod MS-Windows. Podstawy HTML. Sposób podłączenia sieci lokalnej do światowego Internetu. Firewall. Novell
studia licencjackie, Programowanie
Brak
W: dr M. Krzyżanowski i mgr K. Muchorowski
Metody numeryczne A I
1 W30 C45
Wstęp, konwencje i standardy. Interpolacja, ekstrapolacja, spline'y. Całkowanie funkcji. Generatory liczb pseudolosowych. Rozwiązywanie równań. Minimalizacja funkcji. Algebra liniowa
Wykład jest przeznaczony dla studentów znających język C, zaopatrzonych we własny PC
Zajęcia wymagane do wysłuchania przed wykładem: Programowanie w języku C
W: prof. E. Bartnik; C: dr M. Spaliński, dr J. Rosiek
Metody numeryczne dla astronomów
2 W30 C30
Algorytmy numeryczne; metody rozwiązywania równań. Aproksymacja średniokwadratowa - metoda najmniejszych kwadratów. Interpolacja funkcji, danych pomiarowych. Równania różniczkowe I rzędu metody iteracyjne, metody Rungego-Kutty. Całkowanie i różniczkowanie numeryczne, kwadratury Gaussa, Newtona-Cotesa. Rozwiązywanie układów równań liniowych. Metody Monte Carlo.
Dla studentów astronomii
Brak
W: dr M. Szymański
Metody numeryczne B I
1 W30 C30
Przegląd metod stosowanych w analizie numerycznej do rozwiązywania różnych klas problemów numerycznych. równania liniowe i nieliniowe, zagadnienia własne, interpolacja i aproksymacja całkowania numeryczne, numeryczna analiza Fouriera z STF.
Kurs programowania w Fortranie.
Analiza matematyczna
W: dr M. Pindor; C: mgr J. Pliszka, dr M. Pindor
Pracownia numeryczna dla astronomów
W45 C45
Obsługa komputera w systemach DOS i UNIX. Edycja plików tekstowych. Tworzenie, kompilacja i uruchamianie programów w językach C i Fortran. Użytkowanie środowiska X-Windows. Programy ,,sieciowe'': mail, ftp, telnet, netscape. Przegląd i przykładowe zastosowania aplikacji numerycznych z książki Numerical Recipes.
Dla studentów astronomii
Brak
W: dr M. Szymański
Programowanie obiektowe i C++
1 W30 C15, Lab 15 E
Kryzys klasycznych metod programowania. Obiektowa koncepcja rozwiązywania problemów. Modelowanie obiektowe: obiekty, klasy obiektów, mechanizy tworzenia systemów obiektowych. Zasady konstruowania systemów obiektowych. Przegląd i porównanie języków programowania obiektowego.
Brak
Brak
W: mgr J.Jabłonowski
Systemy operacyjne
1 W30 C30 L30 E
Przedstawienie zasad organizacji i funkcjonowania systemu operacyjnego, poznanie sprawdzonych w praktyce rozwiązań, poznanie metod analizy systemów operacyjnych, ilustracja nowych roziwązań i tendencji rozwoju systemów operacyjnych.
Brak
Tylko dla studentów kierunku Informatyka
W: dr J.Mincer-Daszkiewicz; C:dr J.Mincer-Daszkiewicz, dr K.Grygiel, mgr A.Kret, dr K.Szafran; L:dr K.Szafran, mgr A.Glanowska, mgr P.Janowski, T.Błaszczyk, D.Boruń, G.Całkowski
Bazy danych
1 W30 C30 L30 E
Funkcje i struktura systemów baz danych. Modele encji i związków. Modele danych. Model relacyjny, logiczny, obiektowy, sieciowy i hierarchiczny. Struktury danych i formułowanie zapytań. Ochrona danych.
Brak
Tylko dla studentów kierunku Informatyka
W: prof.S.Waligórski C+L:mgrP.Kucharczyk, mgr K.Stencel, mgr Z.Jurkiewicz,
Sieci komputerowe
2 W30 L30 E
Przedstawienie zasad organizacji i funkcjonowania sieci komputerowych. Sieci lokalne, miejskie, rozległe. Protokoły telekomunikacyjne. Konfigurowanie sieci lokalnych. Bezpieczeństwo sieci.
Brak
Tylko dla studentów kierunku Informatyka
W: dr J.Deminet; L:mgr G.Grudziński, mgr A.Schubert, mgr J. Chrząszcz, mgr K.Ciebiera, mgr K.Stencel, G.Całkowski
Inżynieria oprogramowania
2 W30 C30 E
Przedstawienie metody konstruowania modularnych systemów oprogramowania od formalnej ich specyfikacji poprzez kolejne uściślenia i rozkład na dobrze wyspecyfikowane moduły.
Brak
Brak
W: dr J.Deminet; C:mgr M.Engel, mgr M.Kubica, mgr A.Kret, mgr P.Janowski, mgr S.Lasota
Programowanie funkcyjne
1 W30 C30 L30 E
Przedstawienie paradygmatu programowania funkcyjnego opartego, w przeciwieństwie do programowania imperatywnego na obliczaniu wartości wyrażeń. Język Standard ML posłuży jako przykładowy z dziedziny języków funkcyjnych.
Brak
Brak
W:prof. A.Tarlecki, C+L:mgr G.Grudziński, mgr M.Konarski, mgr R.Maron, dr M.Benke
Programowanie w logice
1 W30 C30 E
Przedstawienie paradygmatu programowania w logice opartego, w przeciwieństwie do programowania imperatywnego na specyfikowaniu problemów w języku logiki. Język Prolog posłuży jako przykładowy z dziedziny języków logicznych.
Brak
Brak
W:mgr M.Miłkowska C+L: mgr M.Miłkowska, dr W.Drabent, mgr M.Woliński
Algorytmika
2 W30 C30 E
Przedstawienie metod projektowania i analizowania algorytmów sekwencyjnych, równoległych, deterministycznych i randomizacyjnych w podstawowych dzidzinach algorytmicznych takich, jak: grafy, teksty, geometria, algebra.
Brak
Brak
W: dr W.Plandowski, C: dr M.Kowaluk, mgr A.Malinowski, dr W.Plandowski, mgr P.Sapiecha, K.Sobusiak
Metody realizacji języków programowania
2 W30 C30 L30 E
Przedstawienie zjawisk zachodzących w czasie wykonania programu, transformacji jakim program podlega w czasie kompilacji oraz reprezentacji konstrukcji programotwórczych.
Brak
Tylko dla studentów kierunku Informatyka
W: mgr A. Zaroda, C+L: dr W.Plandowski, mgr M.Warpechowski, mgr A.Zaroda,
Projektowanie baz danych i systemów informacyjnych.
2 W30 L30 E
Przedstawienie metodologii, środków i metod wspomagających projektowanie i analizę baz danych i systemów informacyjnych, Narzędzia CASE. Standardy projektowania SSADM, COMIT.
Brak
Brak
W: prof. S.Waligórski L: mgr Z,Jurkiewicz
Sztuczna inteligencja i systemy doradcze
2 W30 C30 L30 E
Przedstawienie podstawowych pojęć i technik sztucznej inteligencji. Metafory. Dopasowywanie wzorców, asocjacyjne bazy danych. Sieci semantyczne. Systemy doradcze, diagnostyczne,konfigurujące i planujące. Interakcyjna optymalizacja.
Brak
Brak
W: prof. W.Łukaszewicz, C+L: prof W.Łukaszewicz, dr B.Dunin-Kęplicz, dr J.Cytowski, mgr E.Madalińska
Laboratorium TCP/IP
12 L60
Przedstawienie podstawowego protokołu sieciowego.
Brak
Tylko dla studentów kierunku Informatyka
L:mgr G.Grudziński, mgr A.Schubert, mgr K.Ciebiera, mgr P,Janowski. mgr A.Janowska
Złożonościowe podstawy kryptografii
2 W30 C30 E
Przedstawienie technik kryptograficznych stosowanych w sieciach komputerowych. Protokoły z jawnym kluczem. System RSA. Hipoteza istnienia funkcji jednokierunkowych. Dowody o zerowej wiedzy: podstawy teoretyczne i zastosowania.
Brak
Brak
W: dr hab. D. Niwiński, C: dr hab. D. Niwiński,
Algorytmy ewolucyjne
2 W30 C30 E
Przedstawienie zagdnień prezentujących kierunki badawcze, wyniki teoretyczne, kontrowersje, nowe idee, a także praktyczne zastosowania i zagadnienia implementacyjne algorytmów ewolucyjnych, ze szczególnym naciskiem na algorytmy genetyczne.
Brak
Brak
W: dr K.Grygiel, C: dr K.Grygiel
Elementy lingwistyki informatycznej
1 W30 C30 E
Tworzenie, rozbudowa i optymalizacja analizatorów składniowych języków naturalnych. Analizatory SAM i GraSz.
Brak
Brak
W: dr hab. J.Bień C: dr hab. J.Bień
Wybrane standardy przetwarzania tekstów
2 W30 C30 E
Przygotowanie do prac programistycznych związanych z przetwarzaniem tekstów. Standardy przetwarzania tekstów (ISO 10646, UNICODE 2.0, ISO 8859, ISO 8879, MIME).
Brak
Brak
W: dr hab. J.Bień C: dr hab. J.Bień
Algorytmy grafowe
2 W30 C30 E
Przedstawienie szybkich algorytmów sekwencyjnych dla wybranych problemów grafowych (spójność, 2- i 3- spójność, rozpoznawanie grafów planarnych, rysowanie grafów planarnych, izomorfizm grafów, kolorowanie, skojarzenia).
Brak
Brak
W: dr hab. K.Diks, C: dr hab K.Diks
Wspomaganie decyzji w warunkach ryzyka
2 W30 C30 E
Przegląd nowoczesnych metodologii i technik modelowania wyboru w warunkach niepewności, ze szczególnym uwzględnieniem interaktywnych technik programowania wielokryterialnego.
Brak
Brak
W: dr hab. W.Ogryczak, C: dr hab W.Ogryczak
Weryfikacja specyfikacji wspomagana komputerowo
2 W30 C30 E
Przegląd różnych metodyk i notacji specyfikacji programów. Podstawy specyfkacji algebraicznych. Język Learch (LSL). Systemy przepisywania termów.
Brak
Brak
W: dr J.Mincer-Daszkiewicz, mgr M.Engel, mgr M.Kubica, C: mgr M.Engel, mgr M.Kubica
Optymalizacja wielokryterialna i wspomaganie decyzji
1 W30 C30 E
Podstawowe metodologie i techniki programowania wielokryterialnego: Racjonalne relacje preferencji i rozwiązania efektywne. Techniki genberowania pojedynczych rozwiązań efektywnych. Programowanie celowe i metody punktu referencyjnego.
Brak
Brak
W: dr hab. W.Ogryczak, C: dr hab W.Ogryczak
Aplikacje bazodanowe w Internecie
1 2 L60
Narzędzia projektowania aplikacji internetowych: Oracle Application Server (3.0 lub 4.0) i Oracle8, Oracle Developer/2000 2.0, J/SQL i JDBC, MS Internet Information Server, ASP i SQL Server.
Brak
Tylko dla studentów kierunku Informatyka
L: dr L.Banachowski
Podstawy algebry ogólnej i teorii kategorii
1 W30 C30 E
Podstawy algebry ogólnej. Podstawowe pojęcia i wyniki teorii kategorii. Zastosowanie teorii kategorii w teorii specyfikacji algebraicznych i formalnego konstruowania oprogramowania.
Brak
Brak
W: prof. A.Tarlecki C:prof. A.Tarlecki
Algorytmy randomizowane
1 W30 C30 E
Losowość w projektowaniu i analizie algorytmów. Przegląd algorytmów randomizowanych w strukturach danych, geometrii obliczeniowej, grafach, zliczaniu przybliożonym, równoległości.
Brak
Brak
W: prof.B.Chlebus, C: prof.B.Chlebus
Wyprowadzanie (estetycznych) programów
1 2 W60 E
Celem wykładu i towarzyszących mu zajęć praktycznych będzie przyswojenie nawyków wyprowadzania poprawnych, skutecznych i ładnych programów.
Brak
Brak
W: prof. W.M.Turski,
VMS I - dla początkujących
1 L30
System OpenVMS na komputerach typu VAX, Alpha/AXP firmy DEC. Podstawy, procedury poleceń, symbole, funkcje leksykalne, pliki i katalogi, ochrona dostępu do zasobów przez UIC, ACL, nazwy logiczne, standardowe tablice, tryby dostępu, listy wyszukiwania.
Brak
Tylko dla studentów kierunku Informatyka
L: dr K.Szafran
VMS II - dla zaawansowanych
2 L30
Zaawansowane procedury poleceń, wybrane programy usługowe, przegląd bibliotek systemowych, wykorzystanie niektórych mechanizmów synchrozacyjnych dostępnych w systemie, próba wpłynięcia przez programistę na kształt modułów wykonywalnych (execów).
Zaliczenie VMS I
Brak
L: dr K.Szafran
Systemy wieloagentowe
2 W30 C30 E
Architektury BDI (Beliefs, Desires, Intensions). Formalizacja przekonań, celów, intencji, kolektywnych postaw motywacyjnych w systemie wieloagentowym, algorytm rekonfiguracji. Przykłady architektur BDI (dMARS, GRATE, IRMA).
Brak
Brak
W: dr B.Dunin-Kęplicz, C: dr B.Dunin-Kęplicz
Rachunek lambda z typami
1 W30 C30 E
Rachunek lambda bez typów i kombinatorów. Rachunek lambda z typami skończonymi (związki z logiką intuicjonistyczną, problemy normalizacji, proclemy rekonstrukcji typów i pochodne). Rozszerzenia pojęcia typu skończonego, typy zależne, rekurencyjne.
Logika, Teoria obliczeń
Brak
W:prof. P.Urzyczyn, ćw: prof. P.Urzyczyn
Geometria obliczeniowa
2 W30 C30 E
Ilustrowane pakietem LEDA przedstawienie algorytmicznych rozwiązań problemów geometrycznych: podziały wielokątów, problem galerii, 3-wymiarowa otoczka wypukła, Diagramy Voronoia, szkielety, lokalizacja punktów na płaszczyźnie, przestrzeń dualna i in.
Logika, Teoria obliczeń
Brak
W:dr M.Kowaluk, C: dr M.Kowaluk
Wprowadzenie do lingwistyki komputerowej
2 W30 C30 E
Techniki z zastosowaniem automatów skończonych, sieci RTN i ATN, gramatyki (DCG), parsowanie, semantyka, pragmatyka. Ggramatyki unifikacyjne, techniki przetwarzania języka naturalnego z wykorzystaniem mechanizmów statystycznych.
Logika, Teoria obliczeń
Brak
W:dr M.Kowaluk, C: dr M.Kowaluk
Teoria obliczeń
1 W30 C30 E
Identyfikacja problemów trudno obliczalnych i nie obliczalnych. Funkcje częściowe i algorytmy, modele obliczeń (while-programy, maszyny Turinga, charaktweryzacja Kleene'ego, semi-systemy Thuego), problem Posta, problemy NP-zupełne, co-NP, P-SPACE i in.
Brak
Brak
W:prof. A.Szałas, C: prof. A.Szałas
Wybrane zagadnienia logiki
2 W30 C30 E
Informatyczne ujęcie klasycznej logiki zdaniowej i I rzędu oraz wybranych logik nieklasycznych. Twierdzenia Goedla i Churcha, automatyczne wnioskowanie, zasada rezolucji, logika II rzędu i rachunki stałopunktowe, teoria skończonych modeli,logiki modalne.
Brak
Brak
W:prof. A.Szałas, C: prof. A.Szałas
Metody numeryczne A II
2 W30 C45
FFT. Zastosowanie FFT: filtrowanie, okienkowanie. Falki. Równania różniczkowe zwyczajne: metoda Runge'go i Kutty. Warunki brzegowe dwu punktowe. Równania całkowe. Równania różniczkowe cząstkowe, warunki poczatkowe i brzegowe
Wykład jest przeznaczony dla studentów znających język C, zaopatrzonych we własny PC. Zajęcia wymagane do wysłuchania przed wykładem: Programowanie w języku C
Zajęcia wymagane do wysłuchania przed wykładem: Programowanie w języku C
W: prof. E. A. Bartnik; C: dr M. Spaliński, dr J. Rosiek
Metody numeryczne B II
2 W30 C30
Przegląd metod stosowanych w analizie numerycznej do rozwiązywania różnych klas problemów numerycznych. Numeryczne rozwiązywanie równań różniczkowych zwyczajnych i cząstkowych. Wykład nastawiony jest na praktyczną prezentację metod.
Kurs programowania w Fortranie.
Analiza matematyczna
W: dr M. Pindor; C: dr M. Pindor
Proseminarium Fizyki komputerowej
12 S60
brak
brak
dr hab. R. Kutner
Matematyczne modelowanie procesów w biologii
2 W30 E
Modele dynamiczne (sens, rola, symulacje komputerowe). Elementy jakościowej analizy układów dynamicznych (układy przestrzennie jednorodne). Elementy kinetyki reakcji chemicznych (reakcje enzymatyczne). Modele hodowli komórkowych. Układy z przełączaniem.
brak
brak
W: dr P. Franaszczuk (gość)
Elementy modelowania numerycznego
1 C30
Różniczkowanie numeryczne. Numeryczne obliczanie kwadratur. Numeryczne szukanie zer. Wybrane metody numerycznego rozwiązywania równań różniczkowych zwyczajnych. Wybrane metody numerycznego rozwiązywania równań różniczkowych cząstkowych. Numeryczne rozwiązywanie zagadnień własnych. Optymalizacja numeryczna. Statyczna i dynamiczna metoda Monte Carlo. Całkowanie i rozwiązywanie równań różniczkowych metodą Monte Carlo.
brak
brak
dr hab. R. Kutner
Metody modelowania molekularnego
2 W30 C30
Metody modelowania molekularnego stosowane w biologii molekularnej i biofizyce. Metody odwołują się do modeli z obszaru fizyki mikroskopowej i mezoskopowej. Prezentowane są podstawowe programy komputerowe pozwalające na prowadzenie badań naukowych w w/w dziedzinach. W szczególności są to programy z obszarów chemii kwantowej, mechaniki molekularnej, dynamiki molekularnej, rozwiązujące równania Poissona-Boltzmanna oraz programy pozwalające badać procesy dyfuzji w układach biomolekularnych.
Mechanika kwantowa I, Chemia kwantowa, Wstęp do fizyki atomu, cząsteczki i ciała stałego, Wstęp do modelowania matematycznego i komputerowego w naukach przyrodniczych
Wstęp do biofizyki, Fizyka I-IV, Chemia kwantowa lub Wstęp do fizyki atomu, cząsteczki i ciała stałego, Fizyka statystyczna I.
W: prof. UW B. Lesyng
Wstęp do modelowania matematycznego i komputerowego w naukach przyrodniczych
1 W30 C30 E
Stosunkowo proste układy i procesy z obszarów fizyki, chemii i biologii. Omawiane są algorytmy pozwalające na symulację tych procesów. Algorytmy są optymalizowane, badana jest również ich stabilność. Przedstawione są modele klasycznej oraz kwantowej mechaniki i dynamiki oraz typowe zastosowania tych modeli.
Fizyka statystyczna I, Wstęp do atomu, cząsteczki i ciała stałego.
Fizyka I, II, III, IV, V, Mechanika kwantowa I
W: prof. UW B. Lesyng
Szkolenie komputerowe
1 L30
Budowa i obsługa komputera. Działanie systemów informatycznych. Internet i jego obsługa.
brak
zajęcia w pracowni komputerowej