Uniwersytet Wroclawski

Unknown, Poland·Last updated 1 months ago

Select your courses

Choose up to 10 courses you need equivalents for (0/10)

About Uniwersytet Wroclawski

3,113 courses from Uniwersytet Wroclawski are listed on UQwest.

Languages of Instruction

Most common first

Polski1,831 courses
Angielski422 courses
Polish97 courses
hiszpański26 courses
Francuski23 courses
ukraiński18 courses
polski Rodzaj przedmiotu : wykład16 courses
Czeski12 courses
Pwn8 courses
30 godzin7 courses
Rosyjski7 courses
20" Okres: 2019-10-01 - 2020-02-04 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia6 courses
polski Rodzaj przedmiotu : wykład niekierunkowy6 courses
włoski6 courses
22" Okres: 2021-10-01 - 2022-02-07 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia5 courses
A.5 courses
Wnt5 courses
https:5 courses
Pdf5 courses
22" Okres: 2022-02-28 - 2022-06-26 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia4 courses
19" Okres: 2019-02-21 - 2019-06-14 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia4 courses
polski Zajęcia w cyklu "Semestr zimowy 20214 courses
E.4 courses
15 miejsc więcej informacji Wykład na egzamin4 courses
Funkcje4 courses
angielski Pełny opis: Introducing game-specific techniques beyond classic AI methods and showing their advancement in certain problems. Discussing a wide range of algorithms specific to both research and industry4 courses
and showing different ways how AI can be applied to games. Last but not least4 courses
Ijcai4 courses
Gecco4 courses
Cec4 courses
Cog4 courses
Mcs Ijcai Workshop4 courses
a także praktyczne zaznajomienie studentów z procesem projektowania4 courses
Rasteryzacja4 courses
Cieniowanie4 courses
śledzenie promieni4 courses
http:4 courses
Cambridge University Press4 courses
polski Rodzaj przedmiotu : konwersatorium4 courses
Wydawnictwo Naukowe Pwn4 courses
Power And Politics In The Making Of The Modern Middle East4 courses
Zajęcia w cyklu "Semestr zimowy 20253 courses
angielski Zajęcia w cyklu "Semestr zimowy 20183 courses
Niderlandzki3 courses
Zajęcia w cyklu "Semestr letni 20183 courses
polski Zajęcia w cyklu "Semestr letni 20213 courses
20" Okres: 2020-02-26 - 2020-06-19 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia3 courses
polski Zajęcia w cyklu "Semestr zimowy 20193 courses
M.3 courses
20073 courses
G. Dahlquist3 courses
Metody Numeryczne3 courses
Przegląd metod i algorytmów numerycznych3 courses
W. Cheney3 courses
Analiza Numeryczna3 courses
polski Rodzaj przedmiotu : wykład monograficzny3 courses
J. Togelius3 courses
M. J. Nelson3 courses
etc. G. N. Yannakakis3 courses
programowania i testowania gier w silniku Unity3D. Program Projektowanie gier Podstawy języka C# Pętla gry Rendering pipeline Post processing Podstawy grafiki komputerowej (ścieżki renderingu3 courses
macierze) Wymagania podstawy programowania w C# podstawowa znajomość dowolnego programu do modelowania 3D znajomość języka angielskiego w stopniu umożliwiającym zrozumienie materiałów i tutoriali Literatura: https:3 courses
unity.com3 courses
learn https:3 courses
www.youtube.com3 courses
User3 courses
Brackeys3 courses
53 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 3 28-MT-S-oAnMat33 courses
Mit Press3 courses
polski Pełny opis: Celem przedmiotu jest teoretyczne3 courses
I.3 courses
Bengio3 courses
Warszawa 20083 courses
State3 courses
Collins R. O.3 courses
Alms For Jihad3 courses
Cambridge 2006. 3. Corm G.3 courses
Bliski Wschód w ogniu3 courses
Współczesny Iran3 courses
The Crisis Of Islam3 courses
Holy War And Unholy Terror3 courses
Stensile S.3 courses
Stability And Change In The Modern Middle East3 courses
państwa i polityki a praktyczną działalnością administracji państwowej i samorządowej. 5. Treści merytoryczne przedmiotu: Przedmiotem zajęć są: główne doktryny polityczne i prawne Starożytności (np. koncepcje Heraklita3 courses
Demokryta3 courses
sofistów3 courses
cyników3 courses
Epikura3 courses
Platona3 courses
Arystotelesa3 courses
stoików i św. Augustyn)3 courses
myśl polityczna i prawna Średniowiecza (np. papalizm3 courses
Uniwersalizm Cesarski Od Karola Wielkiego Po Fryderyka Ii3 courses
Glosatorzy3 courses
Postglosatorzy3 courses
Recepcja Arystotelesa3 courses
św. Tomasz z Akwinu3 courses
Dante3 courses
Marsyliusz z Padwy i Duns Szkot)3 courses
główne idee Odrodzenia ( np. renesansowe utopie3 courses
Doktryny Reformacji I Kontrreformacji3 courses
N. Machiavelli3 courses
J. Bodin oraz polskie koncepcje ‘złotego wieku’)3 courses
doktryny wieku XVII (np. szkoła prawa natury3 courses
T. Hobbes3 courses
J. Locke)3 courses
główne nurty myśli oświeceniowej (np. liberalizm i jego odmiany3 courses
radykalizm mieszczański3 courses
Komunizm Utopijny3 courses
Absolutyzm3 courses
I. Kant)3 courses
doktryny polityczne i prawne XIX i XX wieku ( np. darwinizm społeczny3 courses
Heglizm3 courses
historyczna szkoła prawa3 courses
Pozytywizm Prawniczy3 courses
Liberalizm Sceptyczny3 courses
Socjalliberalizm3 courses
Faszyzm3 courses
Nazizm3 courses
Komunizm3 courses
Anarchizm3 courses
prawo natury o zmiennej treści oraz formalne prawo natury3 courses
doktryna państwa dobrobytu3 courses
idea państwa prawa3 courses
pod red.3 courses
E. Kundery i M. Maciejewskiego3 courses
wyd. C. H. Beck3 courses
wyd. 23 courses
Warszawa 2006. Olszewski H.3 courses
Historia Doktryn Politycznych I Prawnych3 courses
Ryszka F.3 courses
Warszawa 1984 Tokarczyk R.3 courses
Współczesne doktryny polityczne i prawne3 courses
Lublin 2003 Doktryny polityczne i prawne u progu XXI w.3 courses
pod red. M. Maciejewskiego i M. Marszała3 courses
Wrocław 20023 courses
26" Okres: 2025-10-01 - 2026-02-04 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia2 courses
Zajęcia w cyklu "Semestr zimowy 20182 courses
19" Okres: 2018-10-01 - 2019-01-31 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia2 courses
15 godzin2 courses
21" Okres: 2020-10-01 - 2021-02-03 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia2 courses
Cambridge English For Scientists2 courses
F. O'Dell2 courses
"English for Students of Chemistry"2 courses
Wydawnictwo Umcs2 courses
polski Zajęcia w cyklu "Semestr letni 20242 courses
polski Zajęcia w cyklu "Semestr zimowy 20182 courses
102 courses
30 godzin więcej informacji Koordynatorzy: Wojciech Sitek Prowadzący grup: Wojciech Sitek Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę2 courses
18 godzin więcej informacji Koordynatorzy: Wojciech Sitek Prowadzący grup: Wojciech Sitek Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę2 courses
15 miejsc więcej informacji Wykład2 courses
angielski Zajęcia w cyklu "Semestr letni 20182 courses
1995.2 courses
50 miejsc więcej informacji Koordynatorzy: Chihiro Sasaki Prowadzący grup: Chihiro Sasaki2 courses
Armen Sedrakjan Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin2 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra 1 28-MT-S-oAl12 courses
polski Założenia: Algebra liniowa 1 28-MT-S-oAlLin1 Wstęp do matematyki 28-MT-S-oWDM2 courses
Leiserson Charles E.2 courses
Rivest Ronald L2 courses
polski Założenia: Podstawy statystyki praktycznej 28-MT-S-LPodStatPr Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd12 courses
192 courses
B.2 courses
projektywna definiowalność Beth2 courses
twierdzenia o zachowywaniu Łosia-Tarskiego i twierdzenie o zachowywaniu przez homomorphizmy. Porażki w świecie skończonych modeli. Prawo zero-jedynkowe FO2 courses
czyli o tym że prawdopodobieństwo że losowa struktura spełnia phi to 0 lub 1. Niewyrażalność przy pomocy praw 02 courses
1. Graf Rado i trochę na temat teorii omega-kategorycznych. Gry Ehrenfeuchta-Fraisse’go jako uniwersalna metoda pokazywania niewyrażalności. Gry na porządkach liniowych. Typy2 courses
back-and-forth i dowód twierdzenia Fraisse’go. Modyfikacje gier E-F na przykładach gier z kamieniami i gier dla MSO. FO wyraża tylko lokalne właśności: lokalności Hanf’a i Gaifman’a oraz postać normalna Gaifmana. Dowód twierdzenia Hanfa. Zastosowania lokalności do dowodzenia niewyrażalności oraz do efektywnych algorytmów parametryzowanych do ewaluacji zapytań w grafach o ograniczonym stopniu. Order-invariant First-Order Logic2 courses
czyli trochę na temat piękna skończonych modeli. Parę słów o logice dla P. Wymagania Zrealizowane przedmioty: * Logika dla informatyków * Algebra Niezbędne kompetencje: * Umiejętność pisania i czytania dowodów matematycznych Literatura: Książka przeglądowa: * Leonid Libkin2 courses
Elements of Finite Model Theory * Neil Immerman2 courses
Descriptive Complexity * Serge Abiteboul2 courses
Foundations of databases * Hubert Comon2 courses
Max Dauchet2 courses
Remi Gilleron2 courses
Florent Jacquemard2 courses
Denis Lugiez2 courses
Christof Loding2 courses
Sophie Tison2 courses
Marc Tommasi: Tree Automata Techniques and Applications Oprócz tego pewna liczba artykułów naukowych2 courses
których pełna lista będzie podana w czasie wykładu. M.in.: * Mikolaj Bojanczyk2 courses
Michal Pilipczuk: Definability equals recognizability for graphs of bounded treewidth. LICS 2016: 407-416 * Roman Kontchakov2 courses
Michael Zakharyaschev: An Introduction to Description Logics and Query Rewriting. Reasoning Web 2014: 195-244 * Magdalena Ortiz2 courses
Mantas Simkus: Reasoning and Query Answering in Description Logics. Reasoning Web 2012: 1-53 * Martin Otto2 courses
Elementary proof of the van Benthem - Rosen characterisation theorem * P. Blackburn2 courses
J. van Benthem2 courses
F. Wolter2 courses
Handbook Of Modal Logic2 courses
Elsevier2 courses
polski Założenia: Analiza matematyczna 2 28-MT-S-oAnMat2 Wstęp do matematyki 28-MT-S-oWDM2 courses
Granice2 courses
Szeregi2 courses
różniczkowanie2 courses
Szereg Taylora2 courses
układy równań liniowych2 courses
pojęcie bazy2 courses
Numerical Methods In Scientific Computing2 courses
Vol. I2 courses
Siam2 courses
cz. 1 i 22 courses
J.i M. Jankowscy2 courses
Numerical Analysis. An Introduction2 courses
Birkhäuser2 courses
K.-H. Hoffmann2 courses
Numerical Mathematics2 courses
Springer-Verlag2 courses
R. Sacco2 courses
F. Saleri2 courses
allowing the students to check their skills in practice by implementing some of the newly-learned algorithms in multiple different game-based environments. Program Decision making: decision trees2 courses
Finite Automata2 courses
Fuzzy Logic2 courses
Rolling Horizon Evolution2 courses
grammar-based2 courses
Hierarchical Pathfinding2 courses
J. Togelius Artificial Intelligence and Games N. Shaker2 courses
Procedural Content Generation in Games I. Millington2 courses
J. Funge2 courses
Artificial Intelligence for Games M. Buckland2 courses
Programming Game AI by Example S. Rabin2 courses
Game AI Pro^2: Collected Wisdom of Game AI Professionals S.J. Russell2 courses
P. Norvig2 courses
Artificial Intelligence A Modern Approach2 courses
Yoshua Bengio2 courses
Papers2 courses
Book2 courses
142 courses
polski Pełny opis: Zapoznanie studenta z najważniejszymi koncepcjami etyki normatywnej2 courses
Wdrożenie studenta do posługiwania się pojęciami etycznymi potrzebnymi do zbudowania świadomego światopoglądu moralnego2 courses
Wyrobienie umiejętności krytycznej lektury tekstu filozoficznego2 courses
Wyrobienie umiejętności racjonalnej argumentacji na rzecz przyjętej hipotezy2 courses
Doskonalenie umiejętności pisemnego wypowiadania się na tematy o wysokim stopniu abstrakcyjności. Program W trakcie wykładów zostaną omówione najważniejsze szkoły i koncepcje etyki filozoficznej ze szczególnym podkreśleniem wybranego pojęcia moralnego. Ćwiczenia będą polegały na krytycznym dyskutowaniu koncepcji omawianych na wykładach. 1. Wprowadzenie do etyki jako dziedziny filozoficznej. Etyka a moralność2 courses
prawo i obyczaj. Etyka opisowa2 courses
normatywna i metaetyka. Pojęcie moralności. 2. Początki refleksji moralnej: Homer i Sokrates. Pojęcie honoru. 3. Platon – sprawiedliwy człowiek2 courses
sprawiedliwe państwo. Pojęcie sprawiedliwości. 4. Arystoteles – etyka złotego środka. Pojęcie cnoty. 5. Filozofowie w poszukiwaniu szczęścia: stoicyzm2 courses
Epikureizm2 courses
Cynizm2 courses
hedonizm. Pojęcie szczęścia. 6. Wiara i rozum – św. Augustyn i św. Tomasz z Akwinu. Pojęcie sumienia. 7. Uczucia moralne – Hume. Pojęcie tolerancji. 8. Etyka umowy społecznej. Pojęcie godności. 9. Imperatyw kategoryczny Kanta. Pojęcie obowiązku. 10. Zasada utylitaryzmu. Pojęcie wolności. 11. Egzystencjalizm. Nietzsche i Scheler. Pojęcie sensu życia. 12. Szkoła lwowsko-warszawska. Kotarbiński i Czeżowski. Pojęcie dylematu moralnego. 13. Elzenberg i etyka wartości. Pojęcie wartości. 14. Sens i znaczenie ocen i norm moralnych. Główne kierunki metaetyki. Pojęcie normy i oceny moralnej. 15. Klasyfikacja stanowisk etycznych. Podsumowanie. Wymagania brak Literatura: <h3>Literatura podstawowa: M. Środa2 courses
Etyka dla myślących. Podręcznik dla szkół ponadgimnazjalnych2 courses
Warszawa 2016. Platon2 courses
Obrona Sokratesa . Platon2 courses
Pańswo2 courses
ks. 4 i 7. Arystoteles2 courses
Etyka Nikomachejska2 courses
ks. 2-3. M. Aureliusz2 courses
Rozmyślania2 courses
ks. 2-5 św. Augustyn2 courses
Wyznania ks. 72 courses
Tomasz Z Akwinu2 courses
Summa2 courses
kw. 802 courses
83 i 90. D. Hume2 courses
Badania dotyczące zasad moralności2 courses
cz. 1-5. T. Hobbes2 courses
Lewiatan2 courses
rozdz. 10-212 courses
J. Rawls2 courses
Teoria sprawiedliwości2 courses
par. 1-42 courses
11-172 courses
62-63. I. Kant2 courses
Uzasadnienie metafizyki moralności2 courses
rozdz. 1-2. J. S. Mill2 courses
Utylitaryzm. F. Nietzsche2 courses
Z genealogii moralności2 courses
cz. I. H. Elzenberg2 courses
Wartość i powinność2 courses
w: O wartościach2 courses
Normach I Problemach Moralnych2 courses
M. Środa2 courses
Warszawa 1994. T. Czeżowski2 courses
Aksjologiczne I Deontyczne Normy Moralne2 courses
Warszawa 1994. A. Pap2 courses
Teorie Metaetyczne2 courses
w: Metaetyka2 courses
I. Lazari-Pawłowska2 courses
Warszawa 1975. <h3>Literatura dodatkowa: A. MacIntyre2 courses
Krótka historia etyki2 courses
Warszawa 2013. P. Vardy2 courses
P Grosch2 courses
Etyka2 courses
Poglądy i problemy2 courses
Poznań 2010.2 courses
polski Rodzaj przedmiotu : kurs narzędzi informatycznych2 courses
20132 courses
cz. II2 courses
Kopiowanie2 courses
Zfs2 courses
Wydanie Ii2 courses
które zostały skasowane lub uszkodzone. Techniki odzyskiwania danych z urządzeń pamięci masowych są częścią tzw. informatyki śledczej. Mimo iż nazwa brzmi intrygująco2 courses
pamięci flash2 courses
Sata2 courses
Nvme2 courses
USB. Partycje: MBR2 courses
Rock Ridge I Joliet2 courses
ext42 courses
Reiserfs2 courses
Png2 courses
File System Forensic Analysis2 courses
Addison Wesley 2005.2 courses
umiejętność czytania anglojęzycznej dokumentacji. Literatura: <h4>Literatura podstawowa: B.Stroustrup: Język C++. Kompendium wiedzy. Wydanie 4. Wydawnictwo Helion2 courses
22 courses
3. Wydawnictwo Helion2 courses
Przechowywanie Danych2 courses
Procesy2 courses
roadmap.sh2 courses
A2 courses
Założenia: Algebra 1 28-MT-S-oAl1 Analiza matematyczna 2 28-MT-S-oAnMat2 Wstęp do matematyki 28-MT-S-oWDM2 courses
polski Rodzaj przedmiotu : ćwiczenie2 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd12 courses
Docs2 courses
on-line and batch learning2 courses
hyperparameter choice. Image processing using neural networks: convolutional networks for classification2 courses
Normal Distribution2 courses
maximum likelihood estimation). Literatura: Goodfellow2 courses
Y. and Courville2 courses
d2l.ai2 courses
Polityka Gospodarcza2 courses
Wolters Kluwer2 courses
Warszawa 20092 courses
Kawecka-Wyrzykowska E.2 courses
20012 courses
System partyjny i wybory parlamentarne w Egipcie [w:] Wybrane idee2 courses
Partie I Organizacje Polityczne Bliskiego Wschodu2 courses
pod red. F. Ilkowski2 courses
S. Sulowski2 courses
Warszawa 20142 courses
s. 56-692 courses
Represje wobec Bractwa Muzułmańskiego a wybory prezydenckie w Egipcie2 courses
Biuletyn PISM Nr 652 courses
Państwo Islamskie2 courses
Religia na drodze do pokoju między Izraelczykami i Palestyńczykami - mur czy pomost?2 courses
[w:] Z problematyki pokoju w stosunkach międzynarodowych2 courses
red. nauk. Wiesław Lizak2 courses
Anna M. Solarz2 courses
Strategia bezpieczeństwa Islamskiej Republiki Iranu – wybrane aspekty2 courses
[w:] Problemy bezpieczeństwa Bliskiego Wschodu i Północnej Afryki2 courses
pod red. R. Bani2 courses
R. Czuldy2 courses
K. Zdulskiego2 courses
Łódź 20162 courses
Turecki Boom2 courses
Przyczyny i znaczenie rosnącej pozycji Turcji2 courses
[w:] Bliski Wschód w XXI wieku. Polityka - Społczeństwo - Zmiana2 courses
pod red. J. Marszałek-Kawy i J. Piechowiak-Lamparskiej2 courses
Toruń 20142 courses
Syria w regionalnym ukladzie stosunków międzynarodowych2 courses
Powstanie tzw. Państwa Islamskiego w Iraku [w:] Problemy bezpieczeństwa Bliskiego Wschodu i Północnej Afryki2 courses
Springborg R.2 courses
Globalization And The Politics Of Development In The Middle East2 courses
New York 2011. 2. King S. J.2 courses
The New Authoritarianism In The Middle East And North Africa2 courses
Bloomington 2009. 3. Long D. E.2 courses
Reich B.2 courses
Gasiorowski M.2 courses
The Government And The Politics Of The Middle East And North Africa2 courses
Boulder 2011. 4. Milton-Edwards B.2 courses
Contemporary Politics In The Middle East2 courses
Cambridge 2008. 5. Owen R.2 courses
London 2008. LITERATURA UZUPEŁNIAJĄCA 1. After Oslo. New Realities2 courses
Old Problems2 courses
Giacman G.2 courses
Lonning D. J.2 courses
New York 1998. 2. Burr J. M.2 courses
Warszawa 2003. 4. Democracy2 courses
Peace and the Israeli-Palestinian Conflict2 courses
E. Kaufmann2 courses
S. B. Abed2 courses
R. L. Rothstein2 courses
London 1993. 5. Keddie N.2 courses
Kraków 2007. 6. Lewis B.2 courses
London 2004. 7. Selvik K.2 courses
London 2011.2 courses
Warszawa 20102 courses
cz. I2 courses
Portugalski2 courses
26" Okres: 2025-10-01 - 2026-02-04 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Wykład2 courses
Rodzinne2 courses
gospodarcze)2 courses
b) Instytucje prawne prawa cywilnego (sądowe stwierdzenie zgonu2 courses
uznanie za zmarłego2 courses
uznanie za zaginionego). c) Obowiązki organów państwowych (Czynności poszukiwawcze2 courses
podstawa prawna i organy wykonawcze)2 courses
d) Identyfikacja zwłok (stosowane metody i ich wydolność2 courses
również w zależności od materiału porównawczego). 3. Śmierć człowieka jako zagadnienie prawa administracyjnego2 courses
podstawa faktyczna podejmowanych decyzji (stwierdzenie zgonu2 courses
akt zgonu): znaczenie ustalenia przyczyny zgonu2 courses
rola medyków i kryminalistyki. Identyfikacja rzeczy: Działania administracyjne w celu ochrony prawa własności rzeczy ruchomych na przykładzie rejestru pojazdów jako przedmiotów wartościowych2 courses
Broni Palnej2 courses
zwierząt. Dokument rejestracyjny pojazdu: - podstawy jego wydania (badania techniczne2 courses
ustalenie numerów przerobienie oznaczeń identyfikacyjnych pojazdu i weryfikacja tych oznaczeń– kto ponosi odpowiedzialność2 courses
gdy zarejestrowano pojazd z przerobionymi numerami?) - zabezpieczenie dokumentu: centralizacja wydawania2 courses
Zabezpieczenia Techniczne2 courses
identyfikacja dokumentu - kto ponosi odpowiedzialność2 courses
gdy obywatel kupił pojazd z przerobionym numerem identyfikacyjnym2 courses
ale oryginalnym dowodem rejestracyjnym i potwierdzeniem przeglądu technicznego?) Niektóre postępowania administracyjne2 courses
podczas których wykorzystywane są badania kryminalistyczne: a) pozwolenie na posiadanie broni2 courses
- cechy użytkowe broni i sposoby jej badania2 courses
- broń palna jako przedmiot wyjęty z obrotu2 courses
objęty szczególną regulacją prawną (wydawanie pozwoleń2 courses
sprzedaż broni2 courses
różne rozwiązania problemu dostępności do broni – USA)2 courses
- reglamentacja prawna odnośnie przechowywania broni2 courses
- reglamentacja prawna odnośnie broni zabytkowej. b) obrót towarowy: - znaki akcyzy2 courses
- fałszowanie towarów (badania fizykochemiczne np. alkohol2 courses
Paliwa2 courses
mechanoskopijne)2 courses
Inspekcja Handlowa2 courses
- nielegalne wprowadzanie towarów do obrotu (dowodzenie faktu2 courses
posiadania i własności towaru2 courses
uiszczenie akcyzy) Inspekcja Celna2 courses
- wyłudzanie podatku VAT i funduszy UE . c) dowody i ich przeprowadzanie w postępowaniu podatkowym2 courses
d) wykrywanie i dowodzenie nadużyć w zakresie przyznawania uprawnień rentowych i emerytalnych. Dokument urzędowy2 courses
obowiązki organów państwowych i samorządowych oraz skutki ich niewypełnienia . Znaczenie pieczęci2 courses
M. Goc2 courses
J. Moszczyński2 courses
Kryminalistyka2 courses
czyli rzecz o metodach śledczych2 courses
Warszawa 2008. 2. G. Kędzierska2 courses
W. Kędzierski2 courses
Kryminalistyka- wybrane zagadnienia techniki2 courses
Szczytno 2011. 3. A. Gałęska – Śliwka2 courses
Śmierć jako problem medyczno – kryminalistyczny2 courses
Warszawa 2009. Wykaz literatury uzupełniającej 1. Anna Kegel2 courses
Zdzisław Kegel2 courses
Przepisy o biegłych sądowych2 courses
tłumaczach i specjalistach2 courses
Komentarz2 courses
Zakamycze 2004. 2. Zbigniew Czeczot2 courses
Tadeusz Tomaszewski2 courses
Toruń 1996. 3. Mariusz Kulicki2 courses
Violetta Kwiatkowska-Darul2 courses
Leszek Stępka2 courses
Kryminalistyka. Wybrane zagadnienia teorii i praktyki sądowej2 courses
Wyd. Uniwersytetu Mikołaja Kopernika2 courses
Toruń 2005. 4. Jerzy Kasprzak2 courses
Bronisław Młodziejowski2 courses
Wacław Brzęk2 courses
Jarosław Moszczyński2 courses
Warszawa 2006. 5. Mieczysław Goc2 courses
Ślady kryminalistyczne. Ujawnianie2 courses
Zabezpieczanie2 courses
Wykorzystanie2 courses
Warszawa 2007. 6. Jan Widacki2 courses
Wyd. 22 courses
C. H. Beck2 courses
Warszawa 2007. 7. S. Pikulski2 courses
M. Kaliszczak2 courses
Nowe metody kryminalistycznej identyfikacji zwłok ludzkich2 courses
Szczytno 1998.2 courses
umożliwiających szczegółową analizę zjawisk gramatycznych w aspekcie deskryptywnym2 courses
Hong Kyung-Pyo2 courses
Chang Suk-In2 courses
Korean Grammar for International Learners. Wyd. Yonsei University Press. 2001. Lee2 courses
Iksop. Ramsey2 courses
S. Robert. The Korean Language. Wyd. State University of New York Press. 2000. Lee2 courses
Ki-moon2 courses
Ramsey2 courses
S. Robert. A History of Korean Language. Wyd. Cambridge University Press. 2011. Sohn2 courses
Ho-min. The Korean Language. Wyd. Cambridge University Press. 1999.2 courses
katolicka nauka społeczna) . Literatura: 8.Literatura przedmiotu: Leksykon myslicieli politycznych i prawnych2 courses
Zmierczak M.2 courses
Poznań 2002 Baszkiewicz J.2 courses
Pełny opis: 4. Cele przedmiotu: Celem zajęć jest przekazanie podstawowej wiedzy z zakresu historii doktryn politycznych i prawnych oraz ukazanie związków pomiędzy rozważaniami teoretycznymi o istocie prawa2 courses
30 godzin więcej informacji Koordynatorzy: Agnieszka Wojciechowska Prowadzący grup: Agnieszka Wojciechowska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : konwersatorium Rodzaj przedmiotu : konwersatorium1 courses
Zajęcia w cyklu "Semestr letni 20191 courses
20" Okres: 2020-02-26 - 2020-06-19 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Warsztat1 courses
15 godzin więcej informacji Koordynatorzy: Karolina Skórska Prowadzący grup: Karolina Skórska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Warsztat - Zaliczenie na ocenę Zajęcia w cyklu "Semestr letni 20201 courses
21" Okres: 2021-02-24 - 2021-06-18 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Warsztat1 courses
15 godzin więcej informacji Koordynatorzy: Aleksandra Sałańska-Labisz Prowadzący grup: Aleksandra Sałańska-Labisz Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Warsztat - Zaliczenie na ocenę1 courses
19" Okres: 2018-10-01 - 2019-01-31 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Konwersatorium1 courses
30 godzin więcej informacji Koordynatorzy: Monika Kozłowska1 courses
Ewa Piwowarczyk Prowadzący grup: Monika Kozłowska1 courses
Ewa Piwowarczyk Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Konwersatorium - Zaliczenie na ocenę Zajęcia w cyklu "Semestr zimowy 20191 courses
20" Okres: 2019-10-01 - 2020-02-04 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Konwersatorium1 courses
30 godzin więcej informacji Koordynatorzy: Ewa Piwowarczyk1 courses
Karolina Skórska Prowadzący grup: Ewa Piwowarczyk1 courses
Karolina Skórska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Konwersatorium - Zaliczenie na ocenę Rodzaj przedmiotu : konwersatorium Rodzaj przedmiotu : konwersatorium1 courses
50 miejsc więcej informacji Koordynatorzy: Justyna Ciuraszkiewicz Prowadzący grup: Justyna Ciuraszkiewicz1 courses
Marta Podgórska1 courses
Bożena Szulc Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr zimowy 20191 courses
Bożena Szulc Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr zimowy 20201 courses
30 miejsc więcej informacji Koordynatorzy: Justyna Ciuraszkiewicz Prowadzący grup: Justyna Ciuraszkiewicz1 courses
Bożena Szulc Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr zimowy 20211 courses
30 miejsc więcej informacji Koordynatorzy: Justyna Ciuraszkiewicz1 courses
Bożena Szulc Prowadzący grup: Justyna Ciuraszkiewicz1 courses
Bożena Szulc1 courses
Justyna Wądzyńska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr zimowy 20221 courses
23" Okres: 2022-10-01 - 2023-02-07 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT CW CW CW CW ŚR CZ PT Typ zajęć: Ćwiczenia1 courses
30 miejsc więcej informacji Koordynatorzy: Bożena Szulc Prowadzący grup: Justyna Ciuraszkiewicz1 courses
Bożena Szulc Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr zimowy 20231 courses
24" Okres: 2023-10-01 - 2024-01-29 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT CW CW ŚR CZ PT Typ zajęć: Ćwiczenia1 courses
25 godzin1 courses
Magdalena Zaremba-Czogalla Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę1 courses
angielski Pełny opis: 1. Getting started in research: planning a career in science1 courses
Applying For Research Funding1 courses
writing up a résumé or CV1 courses
preparing for an interview. 2. The scientific community: communi-cating with scientific communities1 courses
writ-ing a critical review1 courses
completing a ma-terial transfer agreement. 3. Finding a direction for your research: doing a literature review1 courses
Using Evidence In Arguing A Point1 courses
talking part in a meeting. 4. Designing an experiment: describing approaches to data collection1 courses
designing an experimental set-up1 courses
describing ma-terial phenomena and forces1 courses
making predictions of experimental results. 5. Describing an experiment: describing a process1 courses
Evaluating The Results Of An Experiment1 courses
Describing Problems With An Experiment1 courses
keeping a lab notebook. 6. Writing up research 1 - materials and methods: describing states and pro-cesses1 courses
describing data: num-bers1 courses
Numerical Values1 courses
writing up from lab notes. 7. Writing up research 2 - presenting data: analysing data1 courses
Summarizing Data In Visual Form1 courses
Writing Captions For Figures1 courses
describing visual data. 8. Writing up research 3 - results and dis-cussion: organising the results and dis-cussion section1 courses
Preparing And Writing The Results Section1 courses
preparing and writ-ing the discussion section. 9. Writing up research 4 – introduction and abstract: writing the introduction1 courses
Writing The Abstract1 courses
Giving A Title To Your Paper1 courses
contacting journals. 10. Presenting research at a conference: giving a paper at a conference1 courses
socialis-ing at a conference1 courses
presenting a post-er. Literatura: 1. T. Armer1 courses
Cambridge University Press 2011. 2. M. McCarthy1 courses
"Academic Vo-cabulary in Use"1 courses
Cambridge Univer-sity Press 2008 3. M. Charmas1 courses
Lu-blin 20081 courses
angielski Pełny opis: Tematy w języku angielskim: 1. Rozpoczęcie pracy naukowej: planowanie kariery naukowej1 courses
ubieganie się o finansowanie badań1 courses
pisanie CV lub życiorysu1 courses
przygotowanie do rozmowy kwalifikacyjnej. 2. Społeczność naukowa: komunikacja ze środowiskami naukowymi1 courses
Pisanie Recenzji Krytycznej1 courses
zawarcie umowy o przekazanie materiału. 3. Znajdowanie kierunku swoich badań: przegląd literatury1 courses
Argumentowanie W Dyskusji Naukowej1 courses
udział w spotkaniu. 4. Projektowanie eksperymentu: opis podejścia do zbierania danych1 courses
projektowanie układu eksperymentalnego1 courses
Opisywanie Zjawisk1 courses
przewidywanie wyników eksperymentu. 5. Opisywanie eksperymentu: opisywanie procesu1 courses
ocena wyników eksperymentu1 courses
opisywanie problemów z eksperymentem1 courses
prowadzenie zeszytu laboratoryjnego. 6. Opis prowadzonych badań 1 - materiały i metody: opisywanie stanów i procesów1 courses
opisywanie danych: liczby1 courses
wartości liczbowe1 courses
zapisywanie z notatek laboratoryjnych. 7. Opis prowadzonych badań 2 – prezentacja danych: analiza danych1 courses
Podsumowanie Danych W Formie Wizualnej1 courses
Podpisy Pod Rycinami1 courses
opisywanie danych wizualnych. 8. Opis prowadzonych badan 3 - wyniki i dyskusja: organizowanie sekcji wyników i dyskusji1 courses
przygotowanie i pisanie sekcji wyników1 courses
przygotowanie i pisanie sekcji dyskusji. 9. Opis prowadzonych badań 4 – wstęp i streszczenie: napisanie wstępu1 courses
Napisanie Streszczenia1 courses
nadanie tytułu pracy1 courses
kontakt z czasopismami. 10. Prezentacja badań na konferencji: wygłoszenie referatu na konferencji1 courses
Spotkania Towarzyskie Na Konferencji1 courses
prezentacja plakatu. Literatura: 1. T. Armer1 courses
Cambridge University Press 2011. 2. . M. Robinson1 courses
F. Stoller1 courses
M. Constanza-Robinson1 courses
J. K. Jones1 courses
"Write Like a Chemist"1 courses
Oxford University Press 2008. 3. M. McCarthy1 courses
"Academic Vocabulary in Use"1 courses
Cambridge Univer-sity Press 2008. 4. M. Charmas1 courses
Lublin 2008.1 courses
25" Okres: 2025-02-22 - 2025-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT WYK Typ zajęć: Wykład1 courses
15 godzin więcej informacji Koordynatorzy: Grażyna Bator Prowadzący grup: Grażyna Bator Lista studentów: Zaliczenie: Przedmiot - Egzamin Wykład - Egzamin1 courses
Zajęcia w cyklu "Semestr letni 20211 courses
30 godzin więcej informacji Koordynatorzy: Siegfried Huigen Prowadzący grup: Siegfried Huigen Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę1 courses
Zajęcia w cyklu "Semestr letni 20221 courses
23" Okres: 2023-02-22 - 2023-06-20 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Konwersatorium1 courses
20 miejsc więcej informacji Koordynatorzy: Natalia Żarska Prowadzący grup: Natalia Żarska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Konwersatorium - Zaliczenie na ocenę1 courses
19" Okres: 2018-10-01 - 2019-01-31 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Wykład1 courses
15 godzin więcej informacji Koordynatorzy: Anna Dąbrowska Prowadzący grup: Anna Dąbrowska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Wykład - Zaliczenie na ocenę1 courses
polski Pełny opis: Zajęcia są wprowadzeniem w bogatą i wielowiekową teorię medycyny hinduskiej - w ajurwedę1 courses
i jej relację z jogą (a także w niewielkim stopniu z dźjotiszą1 courses
czyli astronomią wedyjską). Literatura: Literatura ogólna : Frawley D.1 courses
Joga i ajurweda. Samouzdrawianie i samourzeczywistnienie1 courses
Kraków 2017. Frawley D.1 courses
Ajurweda i umysł1 courses
Kraków 2018. Frawlay D.1 courses
Ranade S.1 courses
Ajurweda medycyną natury1 courses
Kraków 2018. Govindan S.V.1 courses
Ajurwedyjski masaż leczniczy1 courses
Kraków 2015. Iyengar B.K.S.1 courses
Joga światłem życia. Wewnętrzna podróż ku przemianie1 courses
Łódź 2006. Stiles M.1 courses
Ayurvedic Yoga Therapy1 courses
Twin Lakes 2007. Chauhan P.1 courses
Ajurweda. Jak dbać o siebie i być zdrowym1 courses
Warszawa 2015. Niedaszkowski B.1 courses
Joga I Ajurweda1 courses
Łódź 2015. Saha M.1 courses
History of Indian Medicine based on Vedic Literature: Śatapatha Brāhmaṇa1 courses
Kolkata 2015. Swami Rama1 courses
Path of Fire and Light. Advanced Practices in Yoga1 courses
Allahabad 2014. Svoboda R.1 courses
Prakriti. Odkryj swoją pierwotną naturę1 courses
Kraków 2013. Govindan S.V.1 courses
Kraków 2015. Literatura dot. gotowania ajurwedyjskiego : Frawley D.1 courses
Lad V.1 courses
Joga ziół. Ziołolecznictwo ajurwedyjskie1 courses
Kraków 2012. Lad U.1 courses
Gotuj z ajurwedą dla zdrowia1 courses
Kraków 2018. Szczypta smaku… Indie1 courses
Wega Delbana Polska1 courses
2004 . Szaciłło K. i M.1 courses
Przyprawy1 courses
które leczą1 courses
Warszawa 2018.1 courses
polski Pełny opis: Głównym celem zajęć będzie poznanie zasad projektowania i realizacji wieloaspektowych i wielopoziomowych analiz danych ilościowych i jakościowych1 courses
z wykorzystaniem narzędzi do analiz stricte statystycznych1 courses
jak również wizualnej analizy danych. Literatura: Zalecana literatura Earl Babbie . Badania społeczne w praktyce. Warszawa: Wydawnictwo Naukowe PWN. Gilbert A. Churchill . Badania marketingowe. Podstawy metodologiczne. Warszawa: Wydawnictwo Naukowe PWN. Uwe Flick . Projektowanie badania jakościowego. Warszawa: Wydawnictwo Naukowe PWN. David Nachmias1 courses
Chava Frankfort-Nachmias . Metody badawcze w naukach społecznych. Poznań: Wydawnictwo Zysk i S-ka. Graham Gibbs . Analizowanie danych jakościowych. Warszawa: Wydawnictwa Naukowe PWN. Marcus Banks . Materiały wizualne w badaniach jakościowych. Warszawa: Wydawnictwa Naukowe PWN. Gillian Rose . Interpretacja materiałów wizualnych. Krytyczna metodologia badań nad wizualnością. arszawa: Wydawnictwa Naukowe PWN. Vitoria Kamasa . Techniki językoznawstwa korpusowego wykorzystywane w krytycznej analizie dyskursu. Przegląd. Przegląd Socjologii Jakościowej1 courses
s. 100-117. Alexander Loth . Visual Analytics with Tableau. Wiley. Forma zaliczenia poszczególnych komponentów przedmiotu1 courses
modułu1 courses
sposób sprawdzenia osiągnięcia zamierzonych efektów kształcenia: Warunkiem zaliczenia jest aktywne uczestnictwo w zajęciach1 courses
czasowa realizacja zadań i ćwiczeń cząstkowych.1 courses
18 godzin więcej informacji Koordynatorzy: Marcin Pielużek Prowadzący grup: Marcin Pielużek Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę1 courses
18 godzin więcej informacji Koordynatorzy: Dawid Głownia Prowadzący grup: Dawid Głownia Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę1 courses
Hindi1 courses
polski Pełny opis: Treści programowe T1. Antropologia literatury jako dyscyplina badawcza – przedstawienie różnych definicji1 courses
Prezentacja Podstawowych Koncepcji1 courses
analiza historycznego rozwoju dyscypliny i jej relacji z teorią literatury oraz tradycyjnym kulturoznawstwem. T2. Omówienie pojęcia doświadczenia jako kategorii fundującej projekt antropologiczny. Koncepcje Ryszarda Nycza1 courses
Michała Pawła Markowskiego1 courses
Georgesa Bataille’a1 courses
Martina Jaya1 courses
Dominicka LaCapry. T3. Analiza społecznych uwarunkowań zjawisk literackich – ze szczególnym uwzględnieniem pojęć: tradycji1 courses
Utopii1 courses
Rewolucji1 courses
klasy społecznej1 courses
kapitału1 courses
wspólnoty. Analiza myśli: Karola Marksa1 courses
Maksa Webera1 courses
Maurice’a Godeliera1 courses
Quentina Meillasoux1 courses
Fredricka Jamesona. T4. Wprowadzenie do nurtu badań nad pamięcią oraz nad traumą . T5. Antropologia literatury a genologia – analiza przemian w postrzeganiu różnic formalnych między tekstami literackimi pod wpływem badań kulturowych (hierarchizacja gatunków1 courses
problem uniwersalności narzędzi antropologii literatury). T6. Omówienie nurtu badań nad życiem codziennym oraz samej kategorii codzienności jako otwierającej perspektywę interdyscyplinarną. Omówienie myśli Guy Deborda1 courses
Michela De Certeau1 courses
Henriego Lefebvre’a1 courses
Erika Santnera1 courses
Michaela Sheringhama1 courses
Bena Highmore’a. T7. Zapoznanie z różnymi koncepcjami cielesności w badaniach antropologicznych i literackich. Literatura: Literatura zalecana Kulturowa teoria literatury. Główne pojęcia i problemy1 courses
red. R. Nycz1 courses
M.P. Markowski1 courses
Wydawnictwo Universitas1 courses
Kraków 2006. Antropologia twórczości słownej. Zagadnienia i wybór tekstów1 courses
red. K. Hagmajer-Kwiatek1 courses
A. Karpowicz1 courses
J. Kowalska-Leder1 courses
Wydawnictwo Uniwersytetu Warszawskiego1 courses
Warszawa 2012. W. Iser1 courses
Zmienne funkcje literatury [w:] Odkrywanie modernizmu1 courses
Kraków 1998. „Teksty Drugie” 2007 nr 6 . „Teksty Drugie” 2006 nr 3 .1 courses
18 godzin więcej informacji Koordynatorzy: Michał Rydlewski Prowadzący grup: Michał Rydlewski Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie1 courses
polski Pełny opis: Kurs rozpoczyna się wprowadzeniem dotyczącym architektury antycznej1 courses
Po Czym1 courses
w oparciu o ilustracje oraz teksty przeprowadza uczestników przez kolejne epoki1 courses
zaczynając od antyku chrześcijańskiego a kończąc na czasach współczesnych. Każde zajęcia poświęcone są zaprezentowaniu głównych nurtów w sztuce danej epoki1 courses
prezentacji i analizie najważniejszych przykładów budowli1 courses
kompleksów architektonicznych. Celem zajęć jest przekazanie studentom podstawowych informacji dotyczących architektury starożytnej Grecji i Rzymu (terminologia1 courses
przykłady) oraz przekazanie im wiedzy o recepcji detali1 courses
motywów oraz stylów w późniejszej sztuce europejskiej. Literatura: Zalecana literatura M. L. Bernhard1 courses
Historia starożytnej sztuki greckiej1 courses
4 tomy: - Sztuka grecka archaiczna1 courses
Warszawa 1989 - Sztuka grecka V w. p.n.e.1 courses
Warszawa 1991 - Sztuka grecka IV w. p.n.e.1 courses
Warszawa 1992 - Sztuka hellenistyczna1 courses
Warszawa 1993 J. Boardman1 courses
Sztuka Grecka1 courses
tł. M. Burdajewicz1 courses
Toruń 1999 W. Koch1 courses
Style W Architekturze1 courses
Warszawa 2011. D. Watkin1 courses
Historia Architektury Zachodniej1 courses
Warszawa 2001. Słownik terminologiczny sztuk pięknych1 courses
pod red. K. Kubalskiej-Sulkiewicz1 courses
Warszawa 2013.1 courses
polski Zajęcia w cyklu "Semestr letni 20201 courses
21" Okres: 2021-02-24 - 2021-06-18 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Ćwiczenia1 courses
18 godzin więcej informacji Koordynatorzy: Kaja Wójcik Prowadzący grup: Kaja Wójcik Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie1 courses
30 godzin więcej informacji Koordynatorzy: Marcin Pielużek Prowadzący grup: Marcin Pielużek Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę1 courses
angielski Zajęcia w cyklu "Semestr letni 20191 courses
18 godzin więcej informacji Koordynatorzy: Patrycja Bilińska Prowadzący grup: Patrycja Bilińska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie Wymagania: Campain planning 21-DKS-CM-Z2-E2-CP1 courses
łaciński1 courses
30 godzin więcej informacji Koordynatorzy: Katarzyna Płoszaj Prowadzący grup: Katarzyna Płoszaj Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie1 courses
polski Zajęcia w cyklu "Semestr letni 20181 courses
19" Okres: 2019-02-21 - 2019-06-14 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Warsztat1 courses
18 godzin więcej informacji Koordynatorzy: Michał Rydlewski Prowadzący grup: Michał Rydlewski Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Warsztat - Zaliczenie na ocenę1 courses
30 godzin więcej informacji Koordynatorzy: Katarzyna Płoszaj Prowadzący grup: Katarzyna Płoszaj Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie1 courses
18 godzin więcej informacji Koordynatorzy: Katarzyna Płoszaj Prowadzący grup: Katarzyna Płoszaj Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie1 courses
niderlandzki Pełny opis: Na zajęciach studenci poznają trendy w badaniach nad recepcją literatury oraz metody pokrewne w badaniach nad ‘cultural transfer’ czy ‘world literature’. Studenci poznają pojęcia związane z recepcją i transferem i nauczą się dostosowywać metodę badawczą do konkretnych przykładów. Poznają także konsekwencje zastosowania takiej1 courses
a nie innej metody. Studenci poznają także obecny stan badań związany z cyrkulacją literatury niderlandzkiej oraz najważniejsze projekty międzynarodowe w tej dziedzinie. Na podstawie mini projektów realizowanych w ramach zajęć studenci w praktyce nauczą się jakie kroki niezbędne są do przeprowadzenia badania nad recepcją1 courses
jak je w praktyce realizować i z jakimi trudnościami mogą się spotkać. Będziemy zajmować się zarówno cyrkulacją dawnej literatury niderlandzkiej współcześnie (w Holandii1 courses
Belgii1 courses
ale i zagranicą) oraz cyrkulacją współcześniejszych tekstów niderlandzkich na świecie . Literatura: Brems1 courses
Réthelyi1 courses
O.1 courses
& Kalmthout1 courses
T. V. . Doing double Dutch: the international circulation of literature from the Low Countries. Leuven: Leuven University Press. Gelderblom1 courses
A. J.1 courses
& Musschoot1 courses
A. M. . Brandende kwesties. Enkele beschouwingen bij de nieuwe literatuurgeschiedenis. Vooys1 courses
181 courses
28-32. Koch1 courses
J. . Książka niderlandzka w przekładzie polskim: katalog wystawy w Bibliotece Zakładu Narodowego im. Ossolińskich1 courses
Wrocław 12-28 maja 1993 = Het Nederlandse boek in Poolse vertaling: catalogus van de tentoonstelling in de Bibliotheek van het Nationale Ossoliński-Instituut1 courses
Wrocław 12-28 mei 1993. Kłodzko: Witryna Artystów. Rigney1 courses
A. . De veelzijdigheid van literatuur. In: Kiene Brillenburg Wurth & Ann Rigney1 courses
Het leven van teksten. Een inleiding tot de literatuurwetenschap. Amsterdam: AUP1 courses
43-74. Rossini M. en Toggweiler M. . Cultural Transfer: An Introduction. Word and Text: A Journal of Literary Studies and Linguistics1 courses
Vol. IV1 courses
Nr. 21 courses
5-9. Swanborn1 courses
J. . Gij letterdames en gij letterheren: nieuwe mogelijkheden voor taalkundig en letterkundig onderzoek in Nederland. Amsterdam: Koninklijke Nederlandse Akademie van Wetenschappen. Werner1 courses
M. & Zimmermann1 courses
B. . Beyond Comparison. Histoire Croisée and the Challenge of Reflexivity. History and Theory. Vol. 451 courses
30–50. De reeks "De Geschiedenis van de Nederlandse literatuur" 2006-20161 courses
Pełny opis: W trakcie zajęć przedstawiony zostanie krótki rys historyczny i informacje geograficzne dotyczące starożytnej Mezopotamii. Kolejne jednostki poświęcone zostaną osiągnięciom ludów starożytnych z różnorodnych dziedzin1 courses
w tym: matematyki1 courses
Astronomii1 courses
Medycyny1 courses
Architektury1 courses
techniki czy prawa. Literatura: Oppenheim A.L.1 courses
Ancient Mesopotamia. Portrait of Dead Civilization1 courses
Chicago 1977. Oppenheim A.L.1 courses
Letters From Mesopotamia1 courses
Oxford 1967. A Companion to Assyria1 courses
red. E. Frahm1 courses
Chicester 2017. A Companion to the Ancient Near East1 courses
ed. D. Snell1 courses
Oxford 2005. The Oxford Handbook of Cuneiform Culture1 courses
ed. K. Radner1 courses
E. Robson1 courses
Oxford 2011.1 courses
angielski Zajęcia w cyklu "Semestr letni 20231 courses
24" Okres: 2024-02-20 - 2024-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ WYK KONW PT Typ zajęć: Konwersatorium1 courses
50 miejsc więcej informacji Koordynatorzy: Bert Tobias Fischer Prowadzący grup: Bert Tobias Fischer1 courses
Elizaveta Zherebtsova Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Konwersatorium - Zaliczenie na ocenę Wykład - PUSTE Zajęcia w cyklu "Semestr letni 20241 courses
25" Okres: 2025-02-22 - 2025-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ WYK KONW PT Typ zajęć: Konwersatorium1 courses
50 miejsc więcej informacji Koordynatorzy: Pok Man Lo Prowadzący grup: Pok Man Lo1 courses
Biplab Mahato Strona przedmiotu: https:1 courses
num101.netlify.app1 courses
Lecture1 courses
Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Konwersatorium - Zaliczenie na ocenę Wykład - PUSTE1 courses
19" Okres: 2019-02-21 - 2019-06-14 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT WYK-EGZ KONW Typ zajęć: Konwersatorium1 courses
50 miejsc więcej informacji Koordynatorzy: Arkadiusz Błaut Prowadzący grup: Arkadiusz Błaut1 courses
Lennart Brocki Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin Zajęcia w cyklu "Semestr letni 20191 courses
20" Okres: 2020-02-26 - 2020-06-19 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK-EGZ KONW CZ PT Typ zajęć: Konwersatorium1 courses
Noshad Khosravi Largani1 courses
Giacomo Rosati Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin Zajęcia w cyklu "Semestr letni 20201 courses
21" Okres: 2021-02-24 - 2021-06-18 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ KONW WYK-EGZ PT Typ zajęć: Konwersatorium1 courses
Arun Kumar Puthiavan1 courses
Giacomo Rosati Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin Zajęcia w cyklu "Semestr letni 20211 courses
22" Okres: 2022-02-28 - 2022-06-26 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK-EGZ KONW CZ PT Typ zajęć: Konwersatorium1 courses
Giacomo Rosati1 courses
Stefanos Tsiopelas Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin Zajęcia w cyklu "Semestr letni 20221 courses
23" Okres: 2023-02-22 - 2023-06-20 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN KONW WT ŚR WYK-EGZ CZ PT Typ zajęć: Konwersatorium1 courses
Stefanos Tsiopelas Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin Zajęcia w cyklu "Semestr letni 20231 courses
24" Okres: 2024-02-20 - 2024-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK-EGZ CZ KONW PT Typ zajęć: Konwersatorium1 courses
Stefanos Tsiopelas Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin Zajęcia w cyklu "Semestr letni 20241 courses
25" Okres: 2025-02-22 - 2025-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT WYK-EGZ KONW ŚR CZ PT Typ zajęć: Konwersatorium1 courses
50 miejsc więcej informacji Koordynatorzy: David Osten Prowadzący grup: Achilleas Gitsis1 courses
David Osten Strona przedmiotu: https:1 courses
sites.google.com1 courses
View1 courses
david-osten1 courses
teaching Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin1 courses
polski Pełny opis: Konwersatorium1 courses
prowadzą wykładowcy z Pracowni Kształcenia Psychologiczno-Pedagogicznego CEN UWr.1 courses
Przedmiot jest obowiązkowy dla uzyskania przygotowania do wykonywania zawodu nauczyciela. Wymagania wstępne: student posiada elementarną wiedzę z zakresu psychologii1 courses
uzyskiwaną podczas wykładu: Psychologia dla nauczycieli. Cele przedmiotu: - wyposażenie studenta w podstawową wiedzę i umiejętności1 courses
przygotowujące go do pracy z uczniami ze specjalnymi potrzebami edukacyjnymi w szkole - przygotowanie studenta do realizacji zadań na praktyce opiekuńczo-wychowawczej Treści programowe 1. Typy uczniów. Uczeń szczególnie uzdolniony. Inny i obcy. Uczeń ze specjalnymi potrzebami edukacyjnymi. Trudności i niepowodzenia szkolne. 2. Problemy zdrowotne ucznia i ich wpływ na jego sytuację szkolną. Niepełnosprawność fizyczna i intelektualna oraz jej konsekwencje psychologiczne. Zaburzenia w procesie rozwoju językowego. Całościowe zaburzenia w rozwoju. 3. Postępowanie pedagogiczne z uczniem ze specjalnymi potrzebami edukacyjnymi. Pomoc uczniowi z problemami zdrowotnymi – choremu przewlekle i niepełnosprawnemu. Współpraca z rodzicami ucznia ze specjalnymi potrzebami edukacyjnymi i specjalistami pracującymi z uczniem.1 courses
polski Pełny opis: Celem wykładu jest zapoznanie studentów z wielkościami fizycznymi1 courses
które pozwalają na opisywanie i analizę układów elektronicznych analogowych oraz cyfrowych. Wiedza zdobyta na wykładzie pozwoli zrozumieć ograniczenia wynikające z właściwości fizycznych układów1 courses
które maja wpływ na np.: czas dostępu do zasobów1 courses
czas propagacji sygnałów w układach cyfrowych. Ponadto zrozumienie zagadnień opisujących zjawiska fizyczne pozwoli studentom na świadome i bezpieczne użytkowanie urządzeń elektronicznych. Odnosi się to zarówno do bezpieczeństwa samych użytkowników (napięcie dotykowe1 courses
zabezpieczenia różnicowoprądowe czy nadprądowe)1 courses
jak i sprzętu elektronicznego (stany nieustalone1 courses
„przeładowanie” bramki). Umiejętności nabyte na pracowni pozwolą studentom na samodzielną realizację prostych układów elektroniczny i na świadome wykonanie pomiarów za pomocą multimetrów oraz oscyloskopów. Uczestnicy poznają budowę i zasadę działania podzespołów elektronicznych1 courses
w tym elementów półprzewodnikowych oraz scalonych wzmacniaczy operacyjnych. Na wykładzie studenci zapoznają się praktycznymi metodami analizy układów elektrycznych1 courses
które pozwalają na szybkie szacowanie wartości w oparciu o prawa: Ohma1 courses
Kirchhoffa oraz Thevenina. Studenci będą potrafili skorzystać z not aplikacyjnych układów o niewielkim stopniu skomplikowania1 courses
takich jak tranzystory i wzmacniacze operacyjne. Program podstawowe wielkości elektryczne i prawa opisujące relacje pomiędzy nimi1 courses
Obwody Elektryczne1 courses
obwody prądu przemiennego1 courses
urządzenia elektryczne1 courses
zabezpieczenia obwodów 1-fazowych1 courses
podstawowe przyrządy półprzewodnikowe (diody1 courses
tranzystory)1 courses
Filtry1 courses
Prostowniki1 courses
stabilizatory napięcia1 courses
przetwornice napięcia1 courses
wzmacniacze operacyjne i ich układy pracy1 courses
przyrządy do pomiaru wielkości elektrycznych. Wymagania <h2>Zrealizowane przedmioty: Analiza matematyczna Literatura: <h4>Obowiązkowa: Electronics Fundamentals: Circuits1 courses
Devices & Applications. Thomas L. Floyd1 courses
David M. Buchla1 courses
Pearson Education 2013 Elektrotechnika1 courses
S. Bolkowski WSiP Warszawa 2005 Electronic Devices1 courses
Thomas L. Floyd1 courses
Pearson Education <h4>Zalecana: Sztuka elektroniki1 courses
P. Horowitz1 courses
W. Hill1 courses
WKŁ1 courses
Warszawa 19921 courses
angielski Pełny opis: 1. Loss functions in deep learning1 courses
Mse1 courses
Cross-Entropy1 courses
regression and classification problems. 2. Shallow neural networks and activation functions. 3. Optimization algorithms. 4. Convolutional neural networks1 courses
Kernels1 courses
stride and padding. 5. Transfer learning. Literatura: • Ian Goodfellow1 courses
Yoshua Bengio And Aaron Courville1 courses
Deep Learning1 courses
MIT Press. • F. Chollet1 courses
Deep Learning With Python1 courses
Manning. • https:1 courses
keras.io1 courses
19" Okres: 2019-02-21 - 2019-06-14 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK-EGZ KONW CZ PT Typ zajęć: Konwersatorium1 courses
Josua Unger Lista studentów: Zaliczenie: Przedmiot - Zaliczenia i egzamin Konwersatorium - Zaliczenie na ocenę Wykład na egzamin - Egzamin1 courses
angielski Zajęcia w cyklu "Semestr letni 20201 courses
21" Okres: 2021-02-24 - 2021-06-18 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK KONW CZ PT Typ zajęć: Konwersatorium1 courses
50 miejsc więcej informacji Koordynatorzy: Zbigniew Haba Prowadzący grup: Zbigniew Haba1 courses
Josua Unger Lista studentów: Zaliczenie: Przedmiot - Egzamin Konwersatorium - Zaliczenie na ocenę Wykład - Egzamin Zajęcia w cyklu "Semestr letni 20211 courses
22" Okres: 2022-02-28 - 2022-06-26 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT WYK KONW ŚR CZ PT Typ zajęć: Konwersatorium1 courses
50 miejsc więcej informacji Koordynatorzy: Falk Hassler Prowadzący grup: Falk Hassler Strona przedmiotu: https:1 courses
www.fhassler.de1 courses
teaching#qft_2022 Lista studentów: Zaliczenie: Przedmiot - Egzamin Konwersatorium - Zaliczenie na ocenę Wykład - Egzamin1 courses
19" Okres: 2018-10-01 - 2019-01-31 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ WYK-EGZ KONW PT Typ zajęć: Konwersatorium1 courses
19" Okres: 2018-10-01 - 2019-01-31 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT WYK-EGZ KONW ŚR CZ PT Typ zajęć: Konwersatorium1 courses
50 miejsc więcej informacji Koordynatorzy: Jerzy Kowalski-Glikman1 courses
Chihiro Sasaki1 courses
Armen Sedrakjan Prowadzący grup: Jerzy Kowalski-Glikman1 courses
polski Pełny opis: Celem przedmiotu jest wprowadzenie specjalistycznych pojęć i zagadnień z obszaru sztuk wizualnych i komunikacji wizualnej oraz rozwijanie twórczych postaw w praktyce brandingowej.1 courses
polski Pełny opis:1 courses
angielski Pełny opis: This course has two main purposes. The goal of this course is to understand how the notions of automata and regular expressions1 courses
Already Met On Finite Words1 courses
Can Be Generalised To Some More Complex Structures1 courses
Such As Infinite Words1 courses
And Finite1 courses
infinite trees. The second goal is to get some intuition on how these same notions are equivalent to both logic and algebra. Program Here are the different chapters of the courses1 courses
and their contents: Chapter 1: Automata over finite words1 courses
and regular expressions --- regular expressions1 courses
Automata1 courses
Equivalence Between The Two1 courses
Determinisation1 courses
Minimisation1 courses
Pumping Lemma1 courses
Chapter 2: Logic over words --- MSO and FO1 courses
Equivalence Between Mso And Regular Languages1 courses
Ehrenfeucht-Fraïssé games1 courses
McNaughton-Pappert theorem1 courses
Chapter 3: Weighted automata --- definition1 courses
Decision Problems1 courses
Fliess' theorem1 courses
Chapter 4: Automata over infinite words --- Büchi automata1 courses
Equivalence With Mso1 courses
Büchi automata cannot be determinised1 courses
Müller automata1 courses
Chapter 5: Automata over finite trees --- bottom-up automata1 courses
top-down automata1 courses
top-down automata cannot be determinised1 courses
Chapter 6: Automata over the infinite binary tree --- Automata with different accepting conditions (parity1 courses
Müller1 courses
Büchi...) Rabin's theorem1 courses
Chapter 7: Algebra --- monoids recognising languages of words1 courses
Greene's relation1 courses
Schützenberger's theorem1 courses
Wilke Algebra1 courses
Bonus Chapter: Algebra over countable words --- linear orders1 courses
Finitary Orders And Words1 courses
o-monoids1 courses
o-algebrae1 courses
and Carton-Colcombet-Puppis theorem. Wymagania It is better to have validated the course "Języki formalne i złożoność obliczenia"1 courses
Although It Is Not Completely Necessary1 courses
since in the lecture we recall the key notions of regular expressions and automata for finite words.1 courses
polski Założenia: Logika dla informatyków 28-INF-S-DOLZ1 courses
angielski Pełny opis: Celem przedmiotu jest zapoznanie studentów z zaawansowanymi algorytmami eksploracji danych1 courses
dotyczącymi głównie systemów rekomendujących1 courses
redukcji wymiarowości1 courses
eksploracji danych temporalnych i systemów wspomagania decyzji. Program Wybrane algorytmy eksploracji danych dla: - systemów rekomendujących1 courses
zwłaszcza oparte na faktoryzacji macierzy1 courses
- redukcji wymiarowości1 courses
zwłaszcza oparte na zanurzeniach sąsiedztw punktów1 courses
- przetwarzania danych temporalnych1 courses
- systemów wspomagania decyzji. Wymagania <h2>Zrealizowane przedmioty: <h2>Niezbędne kompetencje: znajomość podstaw algebry liniowej znajomość podstaw rachunku prawdopodobieństwa i statystyki znajomość podstaw eksploracji danych lub determinacja do samodzielnego ich poznania w pierwszych tygodniach semestru Literatura: wybrane artykuły naukowe z czasopism i konferencji z dziedziny eksploracji danych1 courses
Inteligencji Obliczeniowej I Uczenia Maszynowego1 courses
polski Założenia: Wprowadzenie do teorii zbiorów 28-MT-S-tWDTZbior1 courses
polski Założenia: Algebra I 28-MT-S-oAl1-ISIM1 courses
Założenia: Algebra 2 R 28-MT-S-TAl2R1 courses
polski Założenia: Algebra liniowa 1 R 28-MT-S-oAlLin1R1 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra 1 A 28-MT-S-wAl1-A1 courses
polski Rodzaj przedmiotu : wykład Założenia: Analiza funkcjonalna 2 28-MT-S-TAnFunkcj21 courses
angielski Pełny opis: The goal of the course is to enable the students to acquire understanding of techniques such as: * sketching of data1 courses
* streaming algorithms1 courses
* dimensionality reduction1 courses
* compressed sensing1 courses
* signal processing and * low rank approximation. Program Streaming algorithms Approximate counting Distinct elements Turnstile model Heavy-hitters (count-min1 courses
Bloom Filters1 courses
count-sketch) Sampling Dimensionality reduction Johnson-Lindenstrauss lemma Approximate Matrix Multiplication Subspace embedding Regression Low-rank approximation Sparse linear algebra: Compressive sensing Fourier sampling Sparse recovery Sparse FFT Applications: Coresets Map-reduce Min-wise hashing Angular sketching Sliding window algorithms Wymagania <h2>Courses: Discrete Math Algorithms and Data Structures <h2>Useful skills: some knowledge of probability some knowledge of linear algebra Literatura: MIT course: Sketching1 courses
Streaming and Sub-linear Space Algorithms Harvard course: Sketching Algorithms for Big Data Agarwal1 courses
Har-Peled and Varadarajan: "Geometric Approximation via Coresets" Matoušek: "Lecture notes on metric embeddings" CMU course: Algorithms for Big Data1 courses
polski Założenia: Algebra liniowa 1 28-MT-S-oAlLin11 courses
angielski Pełny opis: The goal of this course is to present various aspects of algorithmic game theory as the research field at the intersection of computational complexity and theory of selfish agents' behaviour. Program Noncooperative games: - Equilibria and the complexity of finding them - Lemke-Howson algorithm Cooperative games : - Shapley value - Core - Nucleous Markets1 courses
Auctions1 courses
Mechanism design: * Exchange markets * Solutions resistant to strategic manipulations Wymagania Required prior knowledge: - algorithms and data structures Could be helpful1 courses
but is not formally required: - some familiarity with computational complexity - basic knoledge of linear programming Literatura: Nisan1 courses
Routhgardan1 courses
Tardos1 courses
Vazirani. Algorithmic game theory.1 courses
polski Pełny opis: Celem przedmiotu jest zaznajomienie studentów ze specyfiką organizacji zawodów algorytmicznych1 courses
w szczególności w zakresie wymyślania i opracowywania zadań. Studenci powinni zdawać sobie sprawę z technicznych aspektów i teoretycznych ograniczeń w zakresie oceny rozwiązań zawodników. Umiejętności te mogą pomóc w zaangażowaniu się w organizację zawodów - np. Olimpiady Informatycznej. Drugim celem przedmiotu jest wprowadzenie do działalności dydaktycznej ze szczególnym uwzględnieniem nauki algorytmiki dla uczniów szkół podstawowych i uczniów liceów. W ramach przedmiotu studenci otrzymają informację na temat przykładowych działań1 courses
w które mogą się zaangażować po uzyskaniu kompetencji nabytych podczas nauki przedmiotu. Program W zakresie przygotowywania zadań algorytmicznych: * potencjalne błędy w zadaniach algorytmicznych na konkursach algorytmicznych1 courses
analiza konkretnych przypadków archiwalnych1 courses
* redagowanie treści zadań algorytmicznych1 courses
* proces przygotowywania programów wzorcowych1 courses
częściowych i błędnych na potrzeby systemu online judge1 courses
* przygotowywanie zestawu testów do oceny rozwiązań zawodników1 courses
* przygotowywanie narzędzi pomocnicznych na potrzeby oceny rozwiązań (np. weryfikatory poprawności odpowiedzi1 courses
generatory testów1 courses
walidatory wejść)1 courses
* aspekty techniczne sprawdzania rozwiązań1 courses
zasada działania systemu online judge1 courses
ograniczenia teoretyczne takich systemów1 courses
* inspiracje dla tworzenia własnych problemów algorytmicznych. W zakresie dydaktyki informatyki: * przegląd sposobów rozpoczęcia pracy z uczniami bez umiejętności programowania1 courses
* zadania algorytmiczne bez komputera1 courses
elementy myślenia komputacyjnego1 courses
* podstawy maszyny RAM i sposoby nauczania uczniów programowania w maszynie RAM1 courses
* dydaktyka programowania1 courses
* zajęcia pozalekcyjne: obozy1 courses
Sparingi1 courses
Konkursy1 courses
Prelekcje1 courses
organizacja i sposoby angażowania uczniów w działania dodatkowe1 courses
* ocenianie uczniów1 courses
* przykładowe wzorcowe prezentacje zagadnień informatycznych1 courses
* przygotowanie notatek i materiałów dodatkowych dla uczniów. Wymagania Niezbędne zaliczone przedmioty: * Wstęp do informatyki Zalecane zaliczone przedmioty: * Algorytmy i struktury danych Niezbędne kompetencje: * elementarna znajomość języka C++ lub Python Zalecane kompetencje: * obycie w startach w zawodach algorytmicznych Literatura: Cormen Thomas H.1 courses
Clifford Stein: Wprowadzenie do algorytmów1 courses
polski Pełny opis: Zapoznanie studentów ze szczególnym działem teorii algorytmów i struktur danych: teorii algorytmów wykonywanych w środowisku1 courses
w którym większość struktur danych jest z definicji trwała. Wymaga to zupełnie innego podejścia niż w tradycyjnej teorii ulotnych struktur danych. Mechanizmy odraczania obliczeń dostępne w takich językach jak Standard ML czy OCaml pozwalają na budowanie algorytmów o zadanej złożoności zamortyzowanej działających na trwałych strukturach danych. Program Odpowiadają dokładnie zawartości podręcznika do wykładu. Wymagania <h6>Niezbędne kompetencje Umiejętność programowania w jakimkolwiek współczesnym języku funkcjonalym: Standard ML-u1 courses
Haskellu1 courses
Ocamlu1 courses
F#1 courses
Clojure1 courses
Scheme itp. Znajomość podstaw teorii algorytmów i struktur danych (podstawowe struktury danych1 courses
Takie Jak Drzewa1 courses
kopce itp.1 courses
postawy analizy złożoności zamortyzowanej). <h6>Zrealizowane przedmioty (zalecane1 courses
choć nie wymagane) Algorytmy i struktury danych Programowanie funkcyjne Literatura: <h6>Podręcznik obowiązkowy Chris Okasaki1 courses
Purely Functional Data Structures1 courses
CUP 1999. <h6>Literatura dodatkowa Artykuły z konferencji i czasopism opisujące wybrane algorytmy i struktury danych.1 courses
polski Pełny opis: Zapoznanie studentów z absolutnymi podstawami mechaniki kwantowej i konsekwencjami1 courses
jakie ma ona dla informatyki. Wytłumaczenie algorytmu Shora1 courses
który funkcjonuje w świadomości informatyków raczej jako hasło niż element wiedzy. Wprowadzenie elementów matematyki1 courses
które są w informatyce kwantowej niezbędne1 courses
pojawiają się również w niektórych fragmentach Złożoności Obliczeniowej1 courses
ale student informatyki się z nimi raczej nie spotyka. Program Polaryzacja liniowa światła. Stan kwantowy i systemy kubitów. Bramki logiczne. Algorytm Grovera. Analiza Fouriera funkcji logicznych1 courses
algorytm Simona. Analiza Fouriera nad Zn. Algorytm Shora. Algorytmy kwantowe i klasy złożoności. Wymagania <h2>Zrealizowane przedmioty: 11 courses
2 kursu Algebry <h2>Niezbędne kompetencje: Podstawy rachunku prawdopodobieństwa Podstawy algorytmiki Świadomość istnienia klas złożoności Literatura: Ryan O'Donnell Quantum Computation .1 courses
polski Założenia: Modele liniowe 28-MT-S-tModLin Statystyka 28-MT-S-TStatystyk1 courses
angielski Pełny opis: The goal of this course is to study the design and formal analysis of algorithms with predictions for a variety of problems1 courses
with an emphasis on online optimization. Program A list of topics that will be covered in the course1 courses
With An Emphasis On Online Optimization1 courses
is: ski rental1 courses
Online Set Cover1 courses
Caching1 courses
Paging1 courses
Online Bipartite Matching1 courses
Bloom Filter1 courses
and Hungarian algorithm. Wymagania The students are expected to understand formal mathematical analysis of algorithms and data structures. As the course will be inclined with online optimization1 courses
The Knowledge On Online Optimization Would Be Particularly Helpful1 courses
but is not formally required. Literatura: For a gentle introduction to this field1 courses
see: Mitzenmacher1 courses
& Vassilvitskii1 courses
S. . Algorithms with predictions. Communications of the ACM1 courses
651 courses
33-35. Related papers are listed in [link] maintained by Alexander Lindermayr and Nicole Megow . The following are particularly recommended for this course: Lykouris1 courses
T.1 courses
S. . Competitive caching with machine learned advice. Journal of the ACM1 courses
681 courses
1-25. Purohit1 courses
Svitkina1 courses
Z.1 courses
& Kumar1 courses
R. . Improving online algorithms via ML predictions. Advances in Neural Information Processing Systems1 courses
31. Bamas1 courses
Maggiori1 courses
& Svensson1 courses
O. . The primal-dual method for learning augmented algorithms. Advances in Neural Information Processing Systems1 courses
331 courses
20083-20094. Antoniadis1 courses
Coester1 courses
C.1 courses
Eliáš1 courses
Polak1 courses
& Simon1 courses
B. . Online metric algorithms with untrusted predictions. ACM transactions on algorithms1 courses
1-34. Im1 courses
S.1 courses
Kumar1 courses
R.1 courses
Petety1 courses
& Purohit1 courses
M. . Parsimonious learning-augmented caching. In International Conference on Machine Learning . PMLR. Mitzenmacher1 courses
M. . A model for learned bloom filters and optimizing by sandwiching. Advances in neural information processing systems1 courses
31. Dinitz1 courses
Im1 courses
Lavastida1 courses
Moseley1 courses
S. . Faster matchings via learned duals. Advances in neural information processing systems1 courses
341 courses
10393-10406.1 courses
Pełny opis: Uczestnik kursu pozna różnorodne algorytmy odpowiedzialne za ustalanie konsensusu w sposób zdecentralizowany. Będzie potrafił przedstawić cele stosowania technologii podczas rozwiązywania problemu zgody w zagadnieniach takich jak: waluty1 courses
Akta Medyczne1 courses
czy rejestry nieruchomości. Zaznajomi się z założeniami oraz wadami i zaletami znanych rozwiązań uwzględniając kontekst zastosowania algorytmu. Lista zagadnień omawianych podczas seminarium: 1. PoW Blockchain 2. Hashgraph 3. PoS Blockchain- Ouroboros 4. Proxy Staking1 courses
Sharding 5. Stable coins Literatura: 1 Reward sharing schemes for stake pools1 courses
L. Brünjes1 courses
A. Kiayias1 courses
E. Kotsuopias1 courses
A. -P. Stouka 20181 courses
07 2 Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol1 courses
A. Russell1 courses
B. David1 courses
R. Oliynykov. 20171 courses
081 courses
21 3 The Dai Stablecoin System1 courses
Maker Team 20171 courses
12 4 Basis: A Price-Stable Cryptocurrency with a Algorithmic Central Bank1 courses
Nader Al-Naji1 courses
Josh Chen1 courses
Lawrence Diao. 20171 courses
061 courses
20 5 The Swirlds Hashgraph Consensus Algorithm: Fair1 courses
Fast1 courses
Bizantine Fault Tolerance1 courses
Leemon Baird 20161 courses
051 courses
31 6 Bitcoin: A Peer-to-Peer Electronic Cash System1 courses
Satoshi Nakamoto 20081 courses
311 courses
angielski Pełny opis: Celem przedmiotu jest wprowadzenie studentów w wybrane tematy teorii modeli skończonych. Studenci zapoznają się z technikami używanymi do porównywania siły wyrazu oraz ustalania złożoności obliczeniowej problemów spełnialności wybranych fragmentów logiki pierwszego rzędu. Program Wprowadzenie do tematyki + przykłady. Twierdzenie o zwartości z jego dowodem przy pomocy twr. Goedela. Konsekwencje twierdzenia o zwartości i niewyrażalność w FO. Filtry i ultrafiltry . Ultraprodukty i twierdzenie Łosia. Dowód twierdzenia o zwartości przy pomocy twierdzenia Łosia. Ważne własności teorio-modelowe logik: interpolacja Craiga1 courses
polski Rodzaj przedmiotu : wykład Założenia: Analiza matematyczna 2 A 28-MT-S-WAnMat2-A1 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 2 28-MT-S-oAnMat2 Podstawy statystyki praktycznej 28-MT-S-LPodStatPr1 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 2 28-MT-S-oAnMat2 Wstęp do matematyki 28-MT-S-oWDM1 courses
polski Rodzaj przedmiotu : wykład Założenia: Analiza funkcjonalna 1 28-MT-S-tAnFunkcj1 Analiza i topologia 28-MT-S-oAnTop1 courses
polski Pełny opis: Podstawowym celem przedmiotu jest zapoznanie studentów z podstawowymi narzędziami analizy1 courses
pojęciem pochodnej i całki1 courses
oraz z podstawowymi metodami argumentowania i wnioskowania. Program Liczby rzeczywiste i zespolone. Ciągi i szeregi liczbowe rzeczywiste i zespolone1 courses
twierdzenie Bolzano-Weierstrassa1 courses
kryteria zbieżności szeregow1 courses
szeregi potęgowe. Funkcje jednej zmiennej1 courses
funkcje ciągłe1 courses
Pochodna1 courses
wzór Taylora1 courses
Podstawowe Zastosowania1 courses
ekstrema. Całkowanie1 courses
Funkcja Pierwotna1 courses
całka oznaczona1 courses
zastosowania całek1 courses
podstawowe algorytmy numeryczne. Ciągi i szeregi funkcyjne1 courses
zbieżność jednostajna1 courses
zamiana kolejności operacji analitycznych1 courses
funkcje analityczne. Wymagania Matematyka na poziomie szkoły średniej Literatura: Kuratowski1 courses
K.1 courses
Rachunek różniczkowy i całkowy Fichtenholz1 courses
G.1 courses
Rachunek różniczkowy i całkowy Rudin1 courses
W.1 courses
Podstawy Analizy Matematycznej1 courses
polski Pełny opis: Celem zajęć jest przedstawienie podstawowych metod i algorytmów rozwiązywania typowych zadań obliczeniowych. Omawiane zagadnienia mają wielorakie zastosowania m.in. w obliczeniach naukowych czy grafice komputerowej. Program 1. Analiza błędów: arytmetyka zmiennopozycyjna1 courses
Uwarunkowanie Zadania1 courses
algorytmy numerycznie poprawne. 2. Rozwiązywanie równania nieliniowych: ogólna teoria metod iteracyjnych1 courses
Metody Bisekcji1 courses
Newtona I Siecznych1 courses
rząd zbieżności metody iteracyjnej. 3. Interpolacja: wzór interpolacyjny Lagrange'a1 courses
ilorazy różnicowe i wzór interpolacyjny Newtona1 courses
reszta wzoru interpolacyjnego i znaczenie odpowiedniego doboru węzłów (węzły równoodległe i1 courses
Czebyszewa'')1 courses
interpolacja za pomocą funkcji sklejanych III stopnia1 courses
krzywe Béziera i ich zastosowania w grafice komputerowej. 4. Aproksymacja: metoda najmniejszych kwadratów1 courses
dyskretna aproksymacja średniokwadratowa za pomocą wielomianów - wielomiany ortogonalne1 courses
twierdzenie o n-tym wielomianie optymalnym1 courses
informacja o aproksymacji jednostajnej. 5. Kwadratury: kwadratura liniowa1 courses
reszta i rząd kwadratury1 courses
zbieżność ciągu kwadratur1 courses
Kwadratury Interpolacyjne1 courses
kwadratury Newtona-Cotesa1 courses
wzory złożone - trapezów i Simpsona1 courses
Metoda Romberga1 courses
kwadratury Gaussa-Legendre'a. 6. Algebra numeryczna: informacja o uwarunkowaniu zadania rozwiązywania układu równań liniowych1 courses
rozkład macierzy kwadratowej na iloczyn macierzy trójkątnych1 courses
obliczanie wyznaczników1 courses
Obliczanie Macierzy Odwrotnej1 courses
metoda eliminacji Gaussa i jej warianty. Wymagania 1. Analiza matematyczna (ciągi1 courses
całkowanie). 2. Algebra liniowa (algebra macierzy1 courses
jej wymiar i ortogonalizacja). 3. Umiejętność programowania w języku umożliwiającym obliczenia zmiennopozycyjne. Literatura: 1. Å. Björck1 courses
1987. 2. G. Dahlquist1 courses
Å. Björck1 courses
2008. 3. M. Dryja1 courses
J. i M. Jankowscy1 courses
1988. 4. D. Kincaid1 courses
2005. 5. J. Stoer1 courses
R. Bulirsch1 courses
Wstęp do analizy numerycznej1 courses
1987.1 courses
polski Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 2 28-MT-S-oAnMat2 Programowanie obiektowe 1 28-MT-S-wPrOb11 courses
polski Założenia: Analiza matematyczna 1 28-MT-S-oAnMat11 courses
polski Założenia: Analiza matematyczna I 28-MT-S-oAM1-ISIM1 courses
polski Pełny opis: Na przedmiocie przedstawione zostaną praktyczne aspekty rozwiązywania problemów algebry liniowej1 courses
mające zastosowania w rozwiązywaniu problemów optymalizacyjnych1 courses
Uczeniu Maszynowym1 courses
wizualizacji i analizie danych. Program Uwarunkowanie zadania wielu zmiennych. Klasyczne metody rozwiązywania układów równań. Eliminacja Gaussa1 courses
rozkład LU1 courses
wybór elementów głównych. Reprezentacja macierzy rzadkich. Rozkłady macierzy: QR1 courses
Cholesky'ego. Liniowe zadanie najmniejszych kwadratów. Metoda Householdera1 courses
układ równań normalnych. Zagadnienie własne. Metody wyznaczania wartości i wektorów własnych. Rozkład SVD. Algorytm PCA. Metody iteracyjne rozwiązywania układów równań. Wymagania <h2>Zrealizowane przedmioty: analiza numeryczna <h2>Niezbędne kompetencje: programowanie w języku pozwalającym na wygodne obliczenia zmiennopozycyjne Literatura: Å. Björck1 courses
1987. Å. Björck1 courses
Numerical Methods In Matrix Computarions1 courses
Springer1 courses
2015. M. Dryja1 courses
cz. 21 courses
1988. D. Kincaid1 courses
2005. W. Gautschi1 courses
1997. G. Hämmerlin1 courses
1991. A. Quarteroni1 courses
2000. P. Krzyżanowski1 courses
2024. A. Kiełbasiński1 courses
H. Schwetlick1 courses
Numeryczna Algebra Liniowa1 courses
1992.1 courses
polski Pełny opis: Celem zajęć jest przedstawienie podstawowych metod i algorytmów rozwiązywania typowych zadań obliczeniowych. Omawiane zagadnienia mają wielorakie zastosowania m.in. w obliczeniach naukowych czy grafice komputerowej. Program 1. Analiza błędów. Arytmetyka numeryczna. Uwarunkowanie zadania. Algorytmy numerycznie poprawne. 2. Rozwiązywanie równań nieliniowych. Ogólna teoria metod iteracyjnych. Metody: bisekcji1 courses
Newtona i siecznych. 3. Interpolacja. Wzór interpolacyjny Lagrange'a. Reszta wzoru interpolacyjnego. Wzór interpolacyjny Newtona. Interpolacja Hermite’a. Interpolacja za pomocą funkcji sklejanych III stopnia. Krzywe Beziera i ich zastosowanie w grafice komputerowej. 4. Aproksymacja. Aproksymacja średniokwadratowa za pomocą wielomianów - wielomiany ortogonalne1 courses
twierdzenie o n-tym wielomianie optymalnym. Aproksymacja jednostajna - twierdzenie o alternansie1 courses
Informacja O Algorytmie Remeza Konstrukcji Wielomianu Optymalnego1 courses
wielomiany prawieoptymalne. 5. Kwadratury. Kwadratura liniowa. Reszta i rząd kwadratury. Zbieżność ciągu kwadratur. Kwadratury interpolacyjne. Kwadratury Newtona- Cotesa. Wzory złożone: trapezów i Simpsona. Metoda Romberga. Kwadratury Gaussa. 6. Rozwiązywanie układów równań liniowych. Uwarunkowanie zadania. Rozkład macierzy kwadratowej na iloczyn macierzy trójkątnych. Metoda eliminacji Gaussa. Iteracyjne metody rozwiązywania układów równań liniowych. Wymagania Analiza matematyczna (ciągi1 courses
całkowanie). Algebra liniowa (algebra macierzy1 courses
jej wymiar i ortogonalizacja). Umiejętność programowania w języku umożliwiającym obliczenia zmiennopozycyjne. Literatura: Literatura - A. Björck1 courses
1987. - M. Dryja1 courses
1988. - D. Kincaid1 courses
2005. - G. Dahlquist1 courses
A. Björck1 courses
2008. - W. Gautschi1 courses
1997. - G. Hämmerlin1 courses
1991. - A. Quarteroni1 courses
Springer- Verlag1 courses
2000.1 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 3 28-MT-S-oAnMat3 Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd11 courses
Pełny opis: Warunkiem wstępnym jest zaliczeni Rachunku prawdopodobieństwa 1 i Statystyki. Wskazane1 courses
choć nieobowiązkowe jest wcześniejsze zaliczenie Wstępu do matematyki ubezpieczeniowej. Treści programowe: 1. Klasyczne prawa śmiertelności. 2. Trendy w z mianach długość trwania życia w wybranych krajach w ostatnim stuleciu. 3. Przegląd charakterystyk rozkładów długości trwania życia. 4. Dynamiczne modelowanie długości trwania życia - podstawowe modele. 5. Model Lee - Cartera. 6. Szeregi czasowe w modelowaniu śmiertelności. 7. Metody przewidywania długości trwania życia. 8. Uogólnienia modelu Lee - Cartera. 9. Modelowania zależności w modelach wieloosobowych - funkcje łączące1 courses
podejście Markowskie. 10. Estymacja parametrów zależności. Literatura: [1] Box G. E. P.1 courses
Jenkins G. M. . Time Series Analysis: forecasting and control1 courses
Holden-Day. [2] Brockwell P. J.1 courses
Davis R. A. . Time Series:Theory and Methods1 courses
Springer Series in Statistics. [3] Cairns A.J.G.1 courses
Blake D.1 courses
Dowd K.1 courses
Coughlan G.D.1 courses
Epstein D.1 courses
Ong A.1 courses
Balevich I. . A Quantitative Comparison of Stochastic Mortality Models Using Data from England and Wales and the United States. North American Actuarial Journal1 courses
131 courses
1–35. [4] Denuit1 courses
Dhaene1 courses
J.1 courses
Le Bailly De Tilleghem1 courses
C. and Teghem1 courses
S. . Measuring the impact of a dependence among insured lifelengths1 courses
Belgian Actuarial Bulletin 11 courses
18-39. [5] Heilpern. S. . Modelowanie struktury zależności w modelach aktuarialnych. Śląski Przegląd Statystyczny. 151 courses
115-146. [6] Lee R.1 courses
Carter L. . Modelling and Forecasting U. S. Mortality1 courses
Taylor & Francis. [7] Pitacco1 courses
Denuit1 courses
Haberman S.1 courses
and Olivieri A. . Modelling Longevity Dynamics for Pensions and Annuity Business Oxford University Press1 courses
UK. [8] Youn1 courses
H.1 courses
Shemyakin1 courses
. Statistical aspects of joint life insurance pricing. In: 1999 Proceedings of the Business and Statistics Section of the American Statistical Association1 courses
pp. 34–38.1 courses
allowing the students to check their skills in practice by implementing some of the newly-learned algorithms in multiple different game-based environments. Program Search-based Procedural Content Generation Rule-based Procedural Content Generation Simulation-based AI: Monte Carlo Tree Search1 courses
Evolutionary Algorithms Game rules generation for General Game Playing Human-AI collaborative PCG Wymagania Artificial Intelligence proficiency in some programming language Literatura: N. Shaker1 courses
Procedural Content Generation in Games Publications : AAAI1 courses
J. Togelius Artificial Intelligence and Games Various technical blogs and YouTube materials1 courses
polski Pełny opis: ... Program ... Wymagania <h2>Zrealizowane przedmioty: <h2>Niezbędne kompetencje: * Literatura: ...1 courses
behavioral trees Simulation-based AI: Monte Carlo Tree Search1 courses
and their enhancements General Game Playing Procedural Content Generation: search-based1 courses
and game rules generation Advanced pathfinding: A1 courses
crowds movement. Wymagania * Artificial Intelligence proficiency in some programming language Literatura: Publications : AAAI1 courses
behavioral trees ... Simulation-based AI: Monte Carlo Tree Search1 courses
and their enhancements Advanced min-maxing: optimizations1 courses
principal variation search General Game Playing Procedural Content Generation: search-based1 courses
and game rules generation Advanced pathfinding: A* (real-time1 courses
dynamic environment)1 courses
Jump Point Search1 courses
crowds movement. Problematic domains: continuous space1 courses
Imperfect Information1 courses
Random Environments1 courses
knowledge-free approaches Newest game AI achievements (AlphaZero1 courses
Alphastar1 courses
...) Additional topics: Tactic and Strategy1 courses
NPC behaviour modelling Neuroevolution in games Wymagania Artificial Intelligence proficiency in some programming language Literatura: Publications : AAAI1 courses
angielski Pełny opis: The goal of the course is to provide an introduction to techniques of automated verification by model checking. Program modeling computer systems with Kripke structures1 courses
state-explosion problem specifying properties of systems with temporal logics LTL and CTL explicit-state model checking symbolic model checking with ordered binary decision diagrams bounded model checking and reduction to SAT Wymagania <h2>Courses Logic for computer science Methods of programming Algorithms and data structures Discrete mathematics Literatura: [1] Edmund M. Clarke1 courses
Orna Grumberg1 courses
and Doron Peled. Model checking. MIT Press1 courses
2001. [2] Randal E. Bryant. Symbolic boolean manipulation with ordered binary-decision diagrams. ACM Comput. Surv.1 courses
24:293--3181 courses
1992 [3] Armin Biere1 courses
Alessandro Cimatti1 courses
Edmund M. Clarke1 courses
Ofer Strichman1 courses
and Yunshan Zhu. Bounded model checking. Advances in Computers1 courses
58:117--1481 courses
2003.1 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra liniowa 1 28-MT-S-oAlLin1 Analiza matematyczna 1 28-MT-S-oAnMat11 courses
allowing the students to check their skills in practice by implementing some of the newly-learned algorithms in multiple different game-based environments. Program Minimax and its common optimizations Unbounded Minimax B*1 courses
Conspiracy Number Search Proof Number Search1 courses
Product Propagation SSS*1 courses
Pvs1 courses
NegaScout bitboarding Wymagania Artificial Intelligence proficiency in some programming language Literatura: Course materials from "Intelligent Search & Games" by Prof. Mark Winands1 courses
Maastrich University Publications : AAAI1 courses
etc. https:1 courses
chessprogramming.org1 courses
Zajęcia w cyklu "Semestr zimowy 20201 courses
21" Okres: 2020-10-01 - 2021-02-03 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK CZ CW PT Typ zajęć: Ćwiczenia1 courses
30 godzin więcej informacji Wykład1 courses
30 godzin więcej informacji Koordynatorzy: Lech Januszkiewicz Prowadzący grup: Lech Januszkiewicz Lista studentów: Zaliczenie: Przedmiot - Egzamin Ćwiczenia - Zaliczenie na ocenę Wykład - Egzamin1 courses
angielski Pełny opis: The goal of this course is to get an overview of modern-day biomedical imaging techniques and understand the respective purpose of each technique ranging from X-ray imaging to superresolution light microscopy and electron microscopy. The students will learn the peculiarities of working with specific imaging data1 courses
as well as basic data manipulations. Furthermore1 courses
the students will be introduced to conventional and state-of-the-art machine learning and deep learning techniques used to analyse these data. Program Types of biomedical data and their purpose in healthcare and research Biomedical imaging and analysis Fundamentals of Computer Vision algorithms I Fundamentals of Computer Vision algorithms II Overview of light microscopy imaging modalities Light microscopy data types and typical tasks Overview of electron microscopy imaging modalities Electron microscopy data types and typical tasks Overview of medical imaging modalities I Overview of medical imaging modalities II Medical image data types and typical tasks Machine learning in biomedical image analysis Deep learning in biomedical image analysis 14-15. Project presentations Wymagania <h4>Prerequisites: basic understanding of algorithms and data structures1 courses
Basic Understanding Of Machine Learning1 courses
Advanced Understanding Of Statistics1 courses
and an advanced level of Python. Literatura: <h4>Books: Webb1 courses
Andrew. Introduction to biomedical imaging. John Wiley & Sons1 courses
2022. Goodhew1 courses
Peter J.1 courses
and John Humphreys. Electron microscopy and analysis. CRC press1 courses
2000. Merchant1 courses
Fatima1 courses
And Kenneth Castleman1 courses
eds. Microscope image processing. Academic press1 courses
2022. Cho1 courses
Z. H.1 courses
J. P. Jones1 courses
and M. Singh. "Image reconstruction from projections in two dimensions." Foundations of medical imaging. New York: John Wiley & Sons : 71-88. Suri1 courses
Jasjit S.1 courses
David L. Wilson1 courses
And Swamy Laxminarayan1 courses
eds. Handbook of biomedical image analysis: Volume I: Segmentation models Part A. Springer US1 courses
2005. Goodfellow1 courses
Ian1 courses
and Aaron Courville. Deep learning. MIT press1 courses
2016. <h4>Articles: Lichtman1 courses
Jeff W.1 courses
and José-Angel Conchello. "Fluorescence microscopy." Nature methods 2.12 : 910-919. Schindelin1 courses
Johannes1 courses
et al. "Fiji: an open-source platform for biological-image analysis." Nature methods 9.7 : 676-682. Eliceiri1 courses
Kevin W.1 courses
et al. "Biological imaging software tools." Nature methods 9.7 : 697-710.1 courses
polski Rodzaj przedmiotu : wykład Założenia: Programowanie 1 28-MT-S-oPr1C Programowanie 1 28-MT-S-oPr1Pyth1 courses
angielski Założenia: Modele liniowe 28-MT-S-tModLin1 courses
angielski Pełny opis: Podstawowym celem przedmiotu jest zapoznanie studentów z głównymi problemami optymalizacji kombinatorycznej dotyczącymi skojarzeń1 courses
matroidów oraz przepływów. W ramach przedmiotu omawiana jest zarówno matematyczna struktura tych problemów1 courses
jak i analizowane są algorytmy je rozwiązujące. Program Skojarzenia: zastosowania1 courses
własności1 courses
Algorytmy1 courses
twierdzenia dotyczące struktury. W szczególności algorytmy dla wersji ważonych i nieważonych w odpowiednio grafach dwudzielnych i niedwudzielnych. Twierdzenie Edmondsa-Gallai. Skojarzenia z preferencjami jednostronnymi i dwustronnymi (stabilne1 courses
rango-maksymalne). Matroidy: zastosowania1 courses
powiązania między różnymi wariantami1 courses
podstawowe pojęcia teoretyczne. Algorytm dla intersekcji dwóch matroidów. Przepływy i rozłączne ścieżki: własności i algorytmy. Wymagania <h2>Zaliczenie przedmiotów: Matematyka dyskretna Algorytmy i struktury danych Literatura: Schrijver "Combinatorial Optimization" Papadimitriou1 courses
Steiglitz "Combinatorial Optimization" Lawler "Combinatorial Optimization. Networks and matroids."1 courses
angielski Pełny opis: Celem przedmiotu jest teoretyczne1 courses
angielski Założenia: Modele liniowe 28-MT-S-tModLin Podstawy statystyki praktycznej 28-MT-S-LPodStatPr1 courses
angielski Pełny opis: The goal of this course is to introduce students to methods od deductive verification that build on the foundational principles of Hoare logic and their extensions such as modern applications of separation logic. Apart from theoretical exercises1 courses
we will spend some time working with Why3 - a tool for deductive program verification. Program Hoare logic: foundations1 courses
formulation for an ML-like language1 courses
application to practical verification of programs. Separation logic: motivation and foundations1 courses
Possible Approaches To Automatization1 courses
other applications (e.g.1 courses
in concurrency). Wymagania <h5>Required courses: Logika dla informatyków Metody programowania <h5>Recommended courses: Programowanie funkcyjne Języki programowania1 courses
Semantyka języków programowania Literatura: M. Gordon1 courses
"Background Reading on Hoare Logic"1 courses
www.cl.cam.ac.uk1 courses
Archive1 courses
Mjcg1 courses
Hl1 courses
Notes1 courses
Notes.pdf J.-Ch. Filliatre1 courses
"Deductive Program Verification with Why3 - A Tutorial"1 courses
why3.lri.fr1 courses
digicosme-spring-school-20131 courses
notes.pdf J. Reynolds1 courses
"An Introduction to Separation Logic"1 courses
www.cs.cmu.edu1 courses
~jcr1 courses
copenhagen08.pdf P. O'Hearn1 courses
"A Primer on Separation Logic"1 courses
www0.cs.ucl.ac.uk1 courses
Staff1 courses
p.ohearn1 courses
Marktoberdorf11LectureNotes.pdf1 courses
polski Rodzaj przedmiotu : wykład Założenia: Topologia 28-MT-S-tTop Wprowadzenie do teorii zbiorów 28-MT-S-tWDTZbior1 courses
angielski Pełny opis: The aim of the course is to teach students the methods used in today's image editors in order to better understand how they work as well as their limits. When we need to do something that exceeds the capacity of these tools we have to learn how to reimplement and modify classical methods to get required results. Knowledge of both classical image processing methods and a new field of Computational Photography should enable us to develop and implement better new algorithms. Program Color Science and High Dynamic Range Imaging Per pixel operations1 courses
Histograms1 courses
combining images Geometrical operations eg. distortion correction Linear filtering and Fourier transforms Edge detection Nonlinear filters eg. median1 courses
bilateral Morphological operators: dylation and erosion Multiresolution representations Keypoint detection and image registration Image segmentation1 courses
graphcuts and texture synthesis Gradient domain image processing Wymagania Realized subjects: Algebra Calculus Required competences: programming skills: preferred language C1 courses
C++ some knowledge of Computer Graphics Literatura: B.Jahne - "Digital Image Processing"1 courses
5th edition1 courses
Springer-Verlag 2002. Richard Szeliski1 courses
Computer Vision: Algorithms and Applications1 courses
2010 available online: http:1 courses
szeliski.org1 courses
polski Założenia: Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd11 courses
angielski Założenia: E-learning: Introduction to Bayesian Inference 28-MT-S-EInBayInf1 courses
polski Założenia: Ekonometria 1 28-MT-S-tEkonome11 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Podstawy statystyki praktycznej 28-MT-S-LPodStatPr1 courses
polski Pełny opis: Podstawowym celem przedmiotu jest zapoznanie studentów z technikami służącymi do wydobywania informacji z tekstów1 courses
zapewniającymi efektywny dostęp do tych informacji. Zajęcia koncentrują się na następujących pojęciach: obsługa zapytań pełnotekstowych1 courses
klasyfikacja i grupowanie tekstów1 courses
wektorowe reprezentacje słów i dokumentów . Program Wstępne informacje o tekstach (UTF81 courses
Tokenizacja1 courses
Zdaniowanie1 courses
słowa1 courses
Lematy1 courses
stemy). Odwrotny indeks1 courses
realizacja zapytań frazowych1 courses
proximity search. Rzadka przestrzeń wektorowa dokumentów1 courses
obliczanie rankingu dokumentów dla zapytania1 courses
tf-idf1 courses
metody przybliżania i uczenia rankingu. Algorytm PageRank i jego warianty w wyznaczaniu rankingu dokumentów oraz ekstrakcyjnym streszczaniu tekstów. Semantyka słów: tezaurusy (WordNet1 courses
gazetery)1 courses
Wyznaczanie Semantyki W Oparciu O Konteksty1 courses
w jakich występują słowa1 courses
wektorowe zanurzenia słów (word2vec1 courses
GloVe)1 courses
warianty zanurzeń słów (wykorzystanie WordNeta1 courses
node2vec1 courses
zanurzenia dla słów wieloznacznych). Semantyka dokumentów: Bag of Vectors1 courses
wykorzystanie hiperłączy na przykładzie Wikipedii1 courses
doc2vec. Elementy ekstrakcji informacji . Konstrukcja hybrydowej wyszukiwarki łączącej metody tradycyjne i bazujące na gęstych reprezentacjach wektorowych. Klasyfikacja dokumentów: Naive Bayes1 courses
Svm1 courses
proste sieci neuronowe działające na reprezentacji BoV1 courses
sieci splotowe z operacją maksimum dla każdego filtra. Grupowanie płaskie i hierarchiczne zastosowane do słów i dokumentów1 courses
wizualizacja słów i dokumentów na przykładzie t-SNE. Odpowiadanie na pytania: Watson1 courses
Drqa1 courses
wybrane proste architektury dla zadania czytania ze zrozumienem dla zbioru danych SQUAD. Wymagania Zrealizowane przedmioty: * Algebra * Algorytmy i struktury danych lub Wstęp do informatyki Inne wymagania: * umiejętność programowania w języku wysokiego poziomu * wstępna znajomość języka Python Literatura: Christopher D. Manning1 courses
Prabhakar Raghavan and Hinrich Schütze1 courses
Introduction to Information Retrieval Dan Jurafsky and James H. Martin1 courses
Speech and Language Processing (3rd. edition1 courses
rozdziały: 41 courses
61 courses
171 courses
23)1 courses
polski Rodzaj przedmiotu : kurs zawodowy1 courses
polski Pełny opis: Celem przedmiotu jest wprowadzenie studentów do systemu Coq1 courses
najpowszechniej obecnie używanego systemu wspomagającego dowodzenie twierdzeń1 courses
a także zapoznanie studentów z formalnymi podstawami niezawodnego oprogramowania i jego weryfikacji przy użyciu systemu Coq. Program Programowanie funkcyjne w systemie Coq Wnioskowanie w systemie Coq (definicje indukcyjne1 courses
Dedukcja Naturalna1 courses
język taktyk1 courses
automatyzacja wnioskowania) Dowody jako programy (izomorfizm Curry'ego-Howarda1 courses
typy zależne1 courses
ekstrakcja programów z dowodów) Semantyka operacyjna języków imperatywnych (strukturalna semantyka operacyjna małych i dużych kroków1 courses
Maszyny Abstrakcyjne1 courses
transformacje programów) Specyfikacja i weryfikacja programów imperatywnych Rachunek lambda z typami prostymi (semantyka operacyjna1 courses
Sprawdzanie Typu1 courses
normalizacja) Rozszerzenia systemu typów prostych (rekordy i podtypowanie1 courses
modyfikowalny stan) Losowe testowanie programów i specyfikacji Wymagania <h2>Zrealizowane przedmioty: Logika dla informatyków Metody programowania Programowanie funkcyjne <h2>Niezbędne kompetencje: Bierna znajomość języka angielskiego Umiejętność posługiwania się podstawowymi narzędziami logiki matematycznej Znajomość podstaw programowania funkcyjnego1 courses
w tym w języku ze statycznym typowaniem Literatura: Benjamin C. Pierce: Software Foundations . Benjamin C. Pierce: Programming Languages and Types . The MIT Press1 courses
20021 courses
polski Rodzaj przedmiotu : wykład Założenia: Analiza matematyczna 3 A 28-MT-S-wAnMat3-A1 courses
polski Pełny opis: Celem przedmiotu jest rozwinięcie umiejętności programowania funkcyjnego poprzez większy1 courses
całosemestralny projekt programistyczny. Nacisk kładziony będzie na budowę systemu w paradygmacie funkcyjnym przy użyciu narzędzi wielkoskalowej abstrakcji . Równoległym celem przedmiotu jest przygotowanie studentów do pisania większej pracy pisemnej poprzez wymóg dostarczenia raportu z wykonanego projektu. Program Specyfikacja problemu informatycznego Modelowanie systemów1 courses
modularność i abstrakcja w paradygmacie funkcyjnym Efektywna implementacja funkcyjna: prototyp i optymalizacja Modularność a efektywne testowanie większych projektów Literatura techniczna: dokumentacja i raport z wykonania projektu Wymagania <h2>Zrealizowane przedmioty: Metody programowania Programowanie funkcyjne <h2>Niezbędne kompetencje: Znajomość funkcyjnego paradygmatu programowania Literatura: Lawrence C. Paulson1 courses
Ml For The Working Programmer1 courses
1996 Yaron Minsky1 courses
Anil Madhavapeddy And Jason Hickey1 courses
Real World Ocaml1 courses
O'Reilly1 courses
polski Rodzaj przedmiotu : wykład Założenia: Analiza matematyczna 2 28-MT-S-oAnMat2 Wstęp do matematyki 28-MT-S-oWDM1 courses
angielski Założenia: Algebra 1 28-MT-S-oAl1 Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 1 28-MT-S-oAnMat11 courses
angielski Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd1 Równania różniczkowe 1 28-MT-S-oRR1 Wstęp do matematyki ubezpieczeniowej 28-MT-S-tWMatUbezp1 courses
polski Pełny opis: Celem przedmiotu jest zaznajomienie słuchaczy podstawowymi ideami określającymi nurt post-humanizmu1 courses
który pojawił się wraz programem naturalizacji humanistyki. W tym podstaw rozumienia kultury1 courses
relacji społecznych umysłu i świadomości w kontekście różnych nurtów nauk kognitywnych. Program Metafora komputera w badaniach nad umysłem i świadomością oraz jej konsekwencje dla rozumienia kultury i człowieka. Post-humanizm czy humanizm rozszerzony – komu lub czemu możemy przypisać cechę umysłu. Kultura jako rzeczywistość wirtualna: problem znaczenia1 courses
sensu i komunikacji w teorii informacji. Humanistyka jako artefakt kultury w świecie technologii informacyjnych. Mózg Boltzmanna i inne eksperymenty myślowe czyli rzeczywistość z punktu widzenia możliwego umysłu. Umysł świadomy czyli jaki? Stopniowalność świadomości i idea panpsychizmu. Czym jest świadomość – symulatorem czy symulacją: pomieszanie porządków logicznych i przyczynowo – skutkowych. Zakres pojęcia świadomości: perspektywa pierwszo-osobowa i perspektywa trzecio-osobowa. Świat prywatnych fenomenów a rzeczywistość obiektywna i społeczna. Świadomość refleksyjna i jej rola w procesach przetwarzania informacji o świecie. Problem podmiotu w naukach kognitywnych. Idea odwróconej inżynierii: jeśli potrafimy skonstruować świadomy umysł to wiemy1 courses
czym on jest. Świadomość i tożsamość: czy jesteśmy tym1 courses
kim myślimy1 courses
że jesteśmy? Wielorakość tożsamości graczy i aktorów: świat społeczny jako symulacja ról. Idea persony w klasycznej humanistyce i jako rola do odegrania. Umysł i świadomość poza ludzkim mózgiem: problem A.I. i G.A.I. Systemy przetwarzania informacji i problem kontroli nad zachowaniami społecznymi. Dystopia końca ludzkości. Wymagania brak Literatura: <h4>Literatura obowiązkowa: Bostrom N. . Superinteligencja. Scenariusze1 courses
Strategie1 courses
zagrożenia1 courses
Warszawa: Helion. Chalmers D. . Świadomy umysł1 courses
Warszawa: PWN. Clark A.1 courses
Chalmers D.J. . Umysł rozszerzony1 courses
w: Analityczna metafizyka umysłu. Najnowsze kontrowersje1 courses
M. Miłkowski1 courses
R. Poczobut1 courses
Warszawa: IFiS PAN. Dennett C.D. . Słodkie sny. Filozoficzne przeszkody na drodze do nauki o świadomości1 courses
Poznań: Prószyński i S-ka. Gazzaniga M.S. . Istota człowieczeństwa. Co sprawia że jesteśmy wyjątkowymi1 courses
Sopot: Smak słowa1 courses
W świecie społecznym. Gleick J.1 courses
Informacja. Bit1 courses
wszechświat1 courses
Rewolucja1 courses
Kraków 2012. Marcus G. Prowizorka w mózgu1 courses
rodz. 21 courses
41 courses
Pamięć1 courses
Dokonywanie wyborów1 courses
Język Searle J.R. . Umysł. Krótkie wprowadzenie1 courses
Poznań: Rebis1 courses
rozdz. 61 courses
91 courses
111 courses
Intencjonalność1 courses
Nieświadomość i wyjaśnianie zachowania1 courses
Ja. <h4>Literatura zalecana Damasio A.R. . Tajemnica i świadomość. Jak ciało i emocje współtworzą świadomość1 courses
Poznań: Rebis. Dennett D.C.1 courses
Od bakterii do Bacha. O ewolucji umysłów1 courses
tłum. K. Bielecka1 courses
Copernicus Center Press1 courses
Warszawa 2017. Dennett D.C.1 courses
Dźwignie wyobraźni i inne narzędzia do myślenia1 courses
tłum. Ł. Kurek1 courses
Warszawa 2015. Gamble Clive1 courses
J. Gowlett1 courses
R. Dunbar1 courses
Potęga mózgu. Jak ewolucja życia społecznego kształtowała ludzki umysł1 courses
tłum. R. Kosarzycki1 courses
Kraków 2017. Godfrey-Smith Peter1 courses
Inne umysły. Ośmiornice i prapoczątki świadomości1 courses
Kraków 2019 Majchrowicz B.1 courses
J. Doboszewski1 courses
T. Placek1 courses
Droga donikąd? Co pozostało z eksperymentów Libeta nad wolną wolą1 courses
w: „Filozofia nauki”1 courses
Rok Xxiv1 courses
20161 courses
nr 2.1 courses
polski Pełny opis: Rozwinięcie umiejętności do czytania i analizy publikacji naukowych1 courses
przedstawienia tematyki innym uczestnikom zajęć1 courses
Samodzielnego Zaprogramowania I Testowania Wybranej Zaawansowanej Struktury1 courses
a finalnie również prezentacji wyników. Program Zależnie od wyboru uczestników zajęć. Możliwa jest implementacja właściwie dowolnych szeroko pojętych algorytmów czy struktur danych1 courses
np. zwięzłych struktur danych1 courses
algorytmów strumieniowych1 courses
algorytmów dynamicznych1 courses
struktur danych modelu RAM itp. Wymagania Podstawowa znajomość algorytmów i struktur danych1 courses
a także rozsądne opanowanie wybranego języka programowania . Literatura: Zależnie od wybranych tematów1 courses
głównie oryginalne publikacje naukowe lub dostępne w Internecie kursy na wybrany temat.1 courses
angielski Pełny opis: C1 Nabycie wiedzy w zakresie analizy składowych niezależnych sygnału. C2 Nabycie wiedzy w zakresie matematycznego sformułowania problemu. C3 Zapoznanie się z algorytmem SVD i jego geometryczną interpretacją. C4 Zapoznanie się z aplikacjami algorytmów składowych niezależnych. C5 Nabycie wiedzy z zakresu formowania problemu dla systemów MIMO i algorytmów kształtowania wiązki. C6 Zapoznanie się z modelami kanału MIMO. C7 Zapoznanie się z matematycznym zapisem sygnałów. C8 Zapoznanie się z algorytmami modulacji i demodulacji oraz zrozumienie ich zastosowań. C9 Nabycie umiejętności estymacji i wygładzania kanałów komunikacyjnych Program Cocktail problem1 courses
Introduction Of Subject1 courses
mathematical formulation SVD and geometrical interpretation. Some application in telecom MIMO gains and beamforming algorithms MIMO channel models and AoA estimation algorithms Representation of band signals. Modulation and demodulation Correction codes Basic theory and mathematical engine behind channel estimation and channel equalization used in modern OFDM-based communication systems Wymagania <h2>Zrealizowane przedmioty: <h2>Niezbędne kompetencje: * Literatura: <h4>Literatura podstawowa: J. Nathan Kutz – Data-Driven Modeling & Scientific Computation: Methods for Complex Systems & Big Data 1st Edition Harry L. Van Trees – Optimum Array Processing: Part IV of Detection1 courses
Estimation1 courses
and Modulation Theory. Tuncer1 courses
Friedlander1 courses
Elsevier – Classical and Modern Direction-of-Arrival Estimation. <h4>Literatura uzupełniająca: P. Stoica1 courses
R. Moses – SPECTRAL ANALYSIS OF SIGNALS.1 courses
angielski Pełny opis: The primary goal of the course is to familiarize students with the cloud services currently offered on the market and to teach how to use them . Program Review of existing cloud technologies and services offered by their providers. Familiarization with selected cloud technologies and services offered in the cloud. Designing and implementation of a cloud-based technology solution project (e.g. application1 courses
Cd1 courses
Ci Solution1 courses
data science project) using selected cloud technologies and services offered in the cloud. Wymagania General technical culture to learn technology independently. Knowledge of the English language to allow. Work with documentation and teaching materials1 courses
Presentation Of Own Project1 courses
group discussion. Literatura: <h2>Teaching materials offered by cloud service providers Google Cloud Skills Boost https:1 courses
www.cloudskillsboost.google1 courses
AWS Academy: Academy Cloud Foundations1 courses
Academy Learners Lab inne materiały dostępne w internecie: aws.amazon.com1 courses
cloud.google.com1 courses
angielski Rodzaj przedmiotu : wykład Założenia: Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd11 courses
angielski Pełny opis: This course offers a thorough introduction to the theory of linear optimization1 courses
With A Particular Focus On Both The Mathematical Background Of The Area As Well As Empowering The Student To Be Able To Model Many Computer Science Problems As Linear Systems1 courses
and solve such systems on a computer with the use of a linear programming solver. Program Modeling with linear and integer programs. Convexity and its properties. Hyperplanes1 courses
polytopes and polyhedra. Farkas lemma. Duality in linear optimization. Ellipsoid method: an algorithm for solving linear programs. Solution methods for large LPs: separation oracles and column generation methods. Network flows and their algorithms. Duality between network flows and graph cuts. Integrality of selected combinatorial polytopes. Linear relaxations of integer programs. Wymagania <h2>Zrealizowane przedmioty: Algebra <h2>Niezbędne kompetencje: Basic programming skills Literatura: Jiří Matoušek1 courses
Bernd Gärtner. Understanding and Using Linear Programming. Springer 2007 (https:1 courses
link.springer.com1 courses
10.10071 courses
978-3-540-30717-4) Lecture notes of Alexander Shrijver (in particular1 courses
Section 2 of https:1 courses
homepages.cwi.nl1 courses
~lex1 courses
Files1 courses
dict.pdf)1 courses
polski Założenia: Inżynieria finansowa 1 28-MT-S-tInzFinan1 courses
polski Pełny opis: Celem przedmiotu jest wykonanie większego zadania programistycznego przez zespół studentów w ramach projektu zarządzanego przez osobę z odpowiednim doświadczeniem zawodowym. Studenci uczą się metod pracy zespołowej oraz technologii wykorzystywanych w typowej pracy programisty. Program Korzystanie ze standardowych narzędzi programistycznych: np. systemu kontroli wersji1 courses
CI . Typowy proces tworzenia oprogramowania — zadania1 courses
pomysły1 courses
Projektowanie1 courses
Kodowanie1 courses
weryfikowanie (code review1 courses
testy)1 courses
dołączanie. Aktualne technologie webowe. Wymagania umiejętność programowania w jednym z powszechnie używanych języków programowania podstawowa znajomość relacyjnych baz danych1 courses
polski Rodzaj przedmiotu : kurs narzędzi informatycznych Założenia: Teoria prawdopodobieństwa 1 28-MT-S-oTPrawd11 courses
polski Pełny opis: Przedmiot dotyczy jednego z głównych obszarów teorii informatyki. Oczekuje się1 courses
że osoba1 courses
która go zaliczy1 courses
będzie miała świadomość wszechobecności1 courses
w sytuacjach związanych z praktyką informatyczną1 courses
algorytmiczną1 courses
podstawowych omawianych pojęć i zagadnień (takich jak automat skończony1 courses
problem rozstrzygalności1 courses
problem złożoności obliczeniowej1 courses
złożoność wielomianowa i złożoność NP1 courses
redukcja)1 courses
a także będzie się umiała w praktyce sprawnie tymi pojęciami posługiwać. Ta zdolność do praktycznego posługiwania się stanowi priorytet1 courses
dlatego program przedmiotu nie obejmuje wielu zaawansowanych i specjalistycznych zagadnień1 courses
skupiając się na możliwie głębokim rozumieniu zagadnień elementarnych. Ponadto forma1 courses
w jakiej prowadzi się ćwiczenia tablicowe1 courses
przyczynia się do rozwoju kompetencji komunikacyjnych. Program A1. Deterministyczny automat skończony. Języki regularne. Lemat o pompowaniu. Twierdzenie o indeksie. A2. Niedeterminizm. Niedeterministyczny automat skończony. Determinizacja automatu. A3. Wyrażenia regularne. Rownoważność automatow skończonych i wyrażeń regularnych. Aspekty algorytmiczne: rozstrzyganie rownoważności wyrażeń regularnych jest możliwe ale zagadkowo czasochłonne. A4. Uwagi o automatach na obiektach innych niż słowa skończone: automaty na drzewach skończonych i na słowach nieskończonych. A5. Gramatyki bezkontekstowe. Przykłady. A6. Postać Chomsky'ego1 courses
lemat o pompowaniu i jego konsekwencje. A7. Automaty ze stosem. Postać Greibach gramatyk bezkontekstowych. Rownoważnośc gramatyk i automatow ze stosem. A8. Własności zamkniętości klasy językow bezkontekstowych. Niemożliwość determinizacji. R1. Zbiory rekurencyjne i rekurencyjnie przeliczalne. Funkcje rekurencyjne - częściowe i całkowite. Numeracja funkcji rekurencyjnych. Nierozstrzygalność problemu stopu. R2. Pojęcie redukcji. Twierdzenie Rice'a. Uwagi o implikacjach tw. Rice'a dla możliwości automatycznej weryfikacji programow. R3. Maszyna Turinga. Teza Churcha. R4. Nierozstrzygalność problemu słow dla semiprocesow Thuego. R5. Nierozstrzygalność problemu słow dla procesow Thuego . R6. Nierozstrzygalność problemu odpowiedniości Posta1 courses
i przykłady nierozstrzygalnych problemow dotyczących gramatyk. R7. Nierozstrzygalność teorii pierwszego rzędu liczb naturalnych z dodawaniem i mnożeniem (ewentualnie: z dodawaniem1 courses
mnożeniem i potęgowaniem). Uwagi o niemożliwości zaksjomatyzowania arytmetyki. Uwagi o dziesiątym problemie Hilberta. R8. Nierozstrzygalność rachunku predykatow pierwszego rzędu. C1. Klasa PTIME i PSPACE. Redukcje wielomianowe. Wielomianowa rownoważność 3SAT i 3COL. C2. Niedeterminizm i klasa NP. Przykłady. Przykłady językow z klasy co-NP1 courses
oraz z przecięcia NP i co-NP. Charakteryzacja NP jako klasy językow bedących projekcjami językow z P. C3. NP zupełność. Twierdzenie Cook'a. Więcej przykładow problemow NP- zupełnych. Uwagi o SAT-solverach. C4. PSPACE. Tw. Savitcha. C5. Problemy PSPACE-zupełne: QBF i totalność wyrażeń regularnych. Wyjaśnienie zagadki z wykładu A3. C6. Funkcje jednostronne. Uwagi o teoriozłożonościowych założeniach kryptografii z kluczem publicznym. C7. Słaba wersja twierdzenia o hierarchii czasowej: rożność EXPTIME i PTIME. Uwagi o sposobach uogolnienia tej słabej wersji. C8. Problemy wymagające dowodliwie czasu wykładniczego. Pebble games. Totalność wyrażeń regularnych. C9. Inne niż PTIME formalizacje intuicji ''łatwej obliczalności''. Uwagi o klasie FPT. Zrandomizowane algorytmy testowania pierwszości. Uwagi o komputerach kwantowych. C10. Przykład problemu rozstrzygalnego ale nieelementarnego: totalność wyrażeń regularnych z dopełnieniem. Wymagania Zrealizowane przedmioty: Logika dla informatyków Analiza matematyczna Algebra Matematyka dyskretna Literatura: [1] Michael Sipser1 courses
Wprowadzenie Do Teorii Obliczen1 courses
WNT Warszawa 2009. Literatura dodatkowa [2] Sanjeev Arora1 courses
Boaz Barak1 courses
Computational Complexity: A Modern Approach1 courses
2009.1 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra 1 28-MT-S-oAl1 Algebra liniowa 2 28-MT-S-oAlLin21 courses
polski Pełny opis: Podstawowym celem przedmiotu jest zapoznanie studentów z fundamentalnymi zagadnieniami związanymi z projektowaniem1 courses
semantyką i implementacją języków programowania1 courses
jak również wyposażenie ich w narzędzia wspierające wnioskowanie o konstrukcjach programistycznych i ich poprawną implementację. Program Definicje indukcyjne Semantyka statyczna i dynamiczna Funkcje i rekursja Indukcyjne i koindukcyjne typy danych Typowanie dynamiczne Polimorfizm i abstrakcja danych Podtypowanie Klasy i metody Wyjątki i kontynuacje Logika a systemy typów Modyfikowalny stan Leniwa ewaluacja Równoległość Obliczenia współbieżne i rozproszone Moduły i klasy typów Wnioskowanie równościowe Wymagania <h2>Zrealizowane przedmioty: Logika dla informatyków Metody programowania <h2>Niezbędne kompetencje: umiejętność programowania w języku funkcyjnym podstawy wnioskowania logicznego bierna znajomość języka angielskiego Literatura: Robert Harper1 courses
Practical Foundations For Programming Languages1 courses
2016 Matthias Felleisen1 courses
Robert Bruce Findler1 courses
And Matthew Flatt1 courses
Semantics Engineering With Plt Redex1 courses
2009 Benjamin C. Pierce1 courses
Types And Programming Languages1 courses
2002 Daniel P. Friedman and Mitchell Wand1 courses
Essentials Of Programming Languages1 courses
20081 courses
polski Pełny opis: Głównym celem przedmiotu jest zapoznanie studentów z teorią i praktyką kodowania liniowego. W szczególności mają oni poznać podstawy teoretyczne dotyczące kodowania oraz wydajnych metod dekodowania i korekcji błędów. Słuchacze mają też poznać przykłady zastosowań kodów liniowych1 courses
zarówno w praktyce jak i w innych dziedzinach informatyki. The main goal of the course is to familiarise students with the theory and practice of linear coding. In particular1 courses
they are to learn the theoretical foundations of coding and efficient decoding and error correction methods. Students are also to learn examples of applications of linear coding1 courses
both in practice and in other areas of computer science. Program Kodowanie i korekcja błędów: teoria. Kody liniowe. Granice dolne i górne kodowania. Kody Reeda-Solomona i ich dekodowanie. Kody Reeda-Mullera i ich dekodowanie. Kody BCH. Kody cykliczne. Kody skonkatenowane. Dekodowanie do list: ograniczenia i algorytmy. Lokalne kody korekcyjne. Kody korekcyjne z utratą bitów. Model Shannona i kody polarne. Wymagania <h2>Zrealizowane przedmioty: Algebra Algorytmy i struktury danych <h2>Niezbędne kompetencje: Znajomość pojęć algebry liniowej i umiejętność posługiwania się nimi. Znajomość pojęcia ciała skończonego i pierścienia wielomianów i umiejętność posługiwania się nimi. Znajomość pojęcia i własności interpolacji wielomianów. . Literatura: San Ling1 courses
Chaoping Xing Coding Theory: A First Course J. H. van Lint Introduction to Coding Theory V. Guruswami1 courses
A. Rudra1 courses
M. Sudan Essential Coding Theory1 courses
polski Pełny opis: Celem przedmiotu jest zaprezentowanie podstawowych metod bezstratnej i stratnej kompresji danych. Prezentacji poszczególnych metod towarzyszyć będzie omówienie i porównanie ich efektywności1 courses
zastosowań1 courses
wykorzystujących je standardów. Przy analizie metod bezstratnych zaprezentowane zostaną niezbędne podstawy teorii informacji i ich konsekwencje dla oceny jakości poszczególnych metod. Omówione zostaną zagadnienia stratnej kompresji danych "multimedialnych". Poruszane też będą kwestie efektywnej implementacji prezentowanych algorytmów. Program Modelowanie danych1 courses
podstawowe pojęcia teorii informacji i kodowania1 courses
kody Shannona-Fano. Kody Huffmana1 courses
dynamiczne kody Huffmana. Kodowanie arytmetyczne1 courses
standard JBIG. Metody słownikowe (LZ771 courses
LZ78) i ich niektóre zastosowania (GIF1 courses
Tiff1 courses
dane przesylane faksem). Kompresja gramatykowa (Sequitur1 courses
Sequential1 courses
aproksymacja gramatyki optymalnej). Kodowanie predykcyjne (ppm1 courses
kodowanie Burrowsa-Wheelera1 courses
JPEG-LS) Kwantyzacja skalarna i wektorowa. Stratne metody kompresji i ich zastosowanie w kompresji obrazów i dźwięku: kodowanie różnicowe1 courses
kodowanie transformujące1 courses
Kodowanie Podpasmowe1 courses
kompresja falkowa . Kompresja wideo. Wymagania Zrealizowane przedmioty: * Algorytmy i struktury danych Niezbędne kompetencje: * Umiejętność programowania w języku wyższego poziomu * Znajomość podstawowych pojęć algebry liniowej * Podstawy rachunku prawdopodobieństwa Literatura: K. Sayood1 courses
Kompresja Danych1 courses
Read Me. A. Drozdek1 courses
Wprowadzenie Do Kompresji Danych1 courses
WNT. W. Skarbek1 courses
Algorytmy I Standardy Kompresji1 courses
Akademicka Oficyna Wydawnicza PLJ. D. Salomon1 courses
Data Compression. 3rd edition. Springer.1 courses
polski Pełny opis: Podstawowym celem przedmiotu jest zapoznanie studentów z budową współczesnych kompilatoróworaz z technikami stosowanymi w ich konstruowaniu. Program Wstęp: struktura kompilatora Leksowanie Parsowanie Analiza semantyczna Generowanie kodu pośredniego Analiza statyczna i optymalizacja kodu Generowanie kodu wynikowego Wsparcie dla języków wysokopoziomowych Literatura: Modern Compiler Implementation in ML1 courses
Appel Compilers: Principles1 courses
Techniques1 courses
And Tools1 courses
Aho & Ullman Engineering: A Compiler1 courses
Cooper & Torczon Advanced Compiler Design and Implementation1 courses
Muchnick The Garbage Collection Handbook1 courses
Jones1 courses
Niemiecki1 courses
polski Pełny opis: Podstawowym celem przedmiotu jest zapoznanie studentów z podstawami korporacyjnego stylu wytwarzania oprogramowania: czyli przede wszystkim zespołowej pracy nad kodem1 courses
umiejętności adaptacji kodu do zmieniających się wymagań biznesowych. Program Narzędzia wspomagające zespołową pracę nad kodem: publiczne repozytorium1 courses
mechanizmy pull-request. Założenia metodologii zwinnego wytwarzania oprogramowania: Scrum i Kanban. Rozwój od podstaw większego projektu: o dużej złożoności "wszerz"1 courses
a bez dużej złożoności "wzwyż". Wymagania <h2>Zrealizowane przedmioty: Podstawowy warsztat informatyka Kurs Java <h2>Niezbędne kompetencje: Podstawowa znajomość języka Java lub średnio zaawansowana innego języka obiektowego1 courses
polski Pełny opis: Krzywe i powierzchnie to podstawowe obiekty grafiki komputerowej. To właśnie przy ich pomocy można modelować skomplikowane kształty i sceny1 courses
którym nadaje się później cechy realistyczne i wykorzystuje na przykład w tak modnej ostatnio animacji komputerowej. Głównym celem wykładu jest przedstawienie podstawowych wiadomości na temat narzędzi pozwalających efektywnie reprezentować i modelować krzywe oraz powierzchnie różnego typu i wygładzać przy ich pomocy dane. Szczególny nacisk położony będzie na omówienie odpowiednich technik i algorytmów z tym związanych1 courses
które pozwolą uczestnikom zajęć przygotować własny edytor krzywych lub powierzchni. Program 1. Podstawowe pojęcia (działania na punktach i wektorach1 courses
kombinacja barycentryczna punktów1 courses
otoczka wypukła1 courses
długość łuku krzywej1 courses
krzywizna). 2. Reprezentacja krzywych. Krzywe interpolacyjne. Krzywe Béziera. Krzywe sklejane. Krzywe wygładzające. 3. Reprezentacja powierzchni. Powierzchnie interpolacyjne Lagrange'a. Prostokątne i trójkątne płaty Béziera i ich gładkie łączenie. Powierzchnie sklejane. Powierzchnie wygładzające. Powierzchnie Coonsa i Gordona. Wymagania 1. Podstawowe fakty dotyczące interpolacji i aproksymacji wielomianowej. 2. Umiejętność programowania w języku umożliwiającym obsługę grafiki. Literatura: 1. P. Dierckx1 courses
Curve And Surface Fitting With Splines1 courses
Clarendon Press1 courses
Oxford 1993. 2. G. Farin1 courses
Curves and Surfaces for CAGD. A Practical Guide1 courses
Morgan-Kaufmann1 courses
2002. 3. J. Hoschek1 courses
D. Lasser1 courses
Fundamentals Of Computer Aided Geometric Design1 courses
Ak Peters1 courses
Wellesley 1993. 4. J. F. Hughes1 courses
A. van Dam1 courses
M. McGuire1 courses
D. F. Sklar1 courses
J. D. Foley1 courses
S. K. Feiner1 courses
K. Akeley1 courses
Computer Graphics. Principles and Practice1 courses
Addison-Wesley1 courses
2013. 5. P. Kiciak1 courses
Podstawy Modelowania Krzywych I Powierzchni1 courses
Warszawa 2019.1 courses
polski Pełny opis: Celem kursu jest rozwinięcie u uczestników praktycznych umiejętności zarządzania systemem Linux na komputerze osobistym lub serwerze. Zostaną przedstawione podstawowe informacje na temat budowy i sposobu działania systemów uniksopodobnych1 courses
a szczególnie różnych dystrybucji Linuksa. Zajęcia są adresowane do wszystkich studentów1 courses
którzy chcieliby sprawnie korzystać na co dzień z systemów linuksowych. Program <h6>I. WSTĘP: ŻYCIE Z LINUKSEM Hardware i software. Budowa komputera i struktura oprogramowania podstawowego. Jądro i przestrzeń użytkownika. Proces rozruchu komputera. Instalacja systemu i rozpoczęcie pracy z Linuksem. Terminal tekstowy. Powłoka systemowa. Podstawowe polecenia. Uruchamianie programów1 courses
standardowe strumienie wejściowe i wyjściowe1 courses
potoki. Uruchamianie i zatrzymywanie procesów. Zarządzanie plikami1 courses
prawa dostępu1 courses
archiwizowanie. Edytory tekstu. Przetwarzanie plików tekstowych. Użytkownik root. Hasła. Su i sudo. <h6>II. ZAGADNIENIA SZCZEGÓŁOWE Hardware i jego diagnostyka1 courses
Lshw1 courses
Lsusb1 courses
Lspci1 courses
Dmidecode1 courses
i2c-tools i in. Urządzenia. Sysfs i udev. Udevd i udevadm. Dyski. Protokoły SCSI i ATA. USB Storage. Hdparm i smartmontools. Partycje. MBR i GPT. Narzędzia do partycjonowania dysków1 courses
Fdisk1 courses
parted. Urządzenia blokowe1 courses
Device Mapper1 courses
Losetup1 courses
dm-crypt1 courses
LVM. Systemy plików. Budowa systemu plików1 courses
inode. Księgowanie. Systemy ext21 courses
ext3 i ext4. Tworzenie i zarządzanie systemami plików. Diagnostyka systemów plików1 courses
fsck. Montowanie1 courses
Mount1 courses
Etc1 courses
fstab itp. Dowiązania1 courses
pliki specjalne. FAT i NTFS. Filesystem in userspace. Systemy plików btrfs1 courses
Ufs1 courses
ffs i in. Szczególne wymagania dysków SSD1 courses
discard i fstrim. Linux Directory Structure1 courses
Katalogi1 courses
Usr1 courses
Var1 courses
Tmp1 courses
boot i ich przeznaczenie. Przestrzeń wymiany w osobnej partycji i w pliku. Przestrzeń wymiany w pamięci RAM1 courses
Zram1 courses
zswap. Rozruch komputera. Firmware1 courses
Legacy BIOS i UEFI. Konfiguracja1 courses
efibootmgr. Inne (Coreboot1 courses
Libreboot1 courses
U-Boot). Bootloadery drugiego poziomu. GNU Grub 2 i jego konfiguracja. Informacja o Legacy GRUB. Inne popularne bootloadery1 courses
Syslinux1 courses
Lilo1 courses
systemd-boot . Konfiguracja wielosystemowa z BIOS i UEFI1 courses
współżycie z systemem MS Windows1 courses
rEFInd. PXE i rozruch poprzez sieć komputerową. BOOTP i TFTP. Plymuth i estetyka rozruchu. Start jądra. Tworzenie i konfigurowanie initramfs. Uruchamianie awaryjne i tryb pojedynczego użytkownika. Moduły jądra1 courses
Modprobe1 courses
Lsmod1 courses
Rmmod1 courses
modules. Konfiguracja systemu. Katalog1 courses
etc i jego struktura. Uruchamianie przestrzeni użytkownika. System V Init. Proces init1 courses
Inittab1 courses
init.d i rc?.d1 courses
Runlevels1 courses
Telinit1 courses
update-rc.d1 courses
Insserv1 courses
run-parts. Informacja o Upstart. Systemd i jego konfiguracja. Filozofia działania systemd. Organizacja i składnia plików konfiguracyjnych. Demony systemd. Jednostki systemd. Cele i metody ich osiągania. Serwisy i inne jednostki. Zarządzanie użytkownikami. Logowanie do systemu1 courses
getty i login. Konsola zdalna i minicom. Hasła1 courses
passwd i shadow. PAM. Własność procesów1 courses
suid. Dziennik systemowy1 courses
Rsyslog1 courses
Logger1 courses
Log1 courses
journalctl i dmesg. Zdalny zapis dziennika. Protokół SMTP i narzędzia do korzystania z niego. Synchronizacja czasu1 courses
Ntp1 courses
Ntpd1 courses
Ntpdate1 courses
open-ntp1 courses
Chrony1 courses
systemd-timesyncd. Planowanie wykonania procesów1 courses
procesy wsadowe. Cron1 courses
Crontab1 courses
Anacron1 courses
systemd-timer. Polecenie at. Zarządzanie procesami i ich diagnostyka1 courses
Ps1 courses
Lsof1 courses
Strace1 courses
ltrace. Wysyłanie sygnałów do procesów1 courses
Kill1 courses
Killall1 courses
nohup. Wątki. Pomiar czasu procesora1 courses
obciążenia1 courses
zużycia pamięci i operacji wejścia1 courses
wyjścia (top1 courses
Times1 courses
Vmstat1 courses
Iostat1 courses
Iotop1 courses
pidstat itp). Priorytety procesów1 courses
nice. Komunikacja międzyprocesowa. Gniazda. Dbus. Komunikacja między użytkownikami1 courses
wall. Biblioteki współdzielone1 courses
Lib1 courses
Ldd1 courses
Ldconfig1 courses
ld.so.conf1 courses
LD_LIBRARY_PATH. Repozytoria pakietów i dystrybucje Linuksa. Debian1 courses
Ubuntu i pakiety deb. Konfigurowanie apt i aptitude. RHEL1 courses
Fedora1 courses
Centos i rpm. Arch Linux i pacman. Dystrybucje specjalizowane1 courses
Kali Linux1 courses
Tails i in. Krzyżowanie dystrybucji. Linux from scratch. Efektywna praca w trybie tekstowym. Powłoki bash (sh1 courses
Dash1 courses
ash)1 courses
c-shell (csh1 courses
tcsh)1 courses
zsh. Biblioteka readline. Terminal1 courses
Terminfo1 courses
termcap. Screen i tmux. Konfiguracja iterpretera powłoki. Tekst zachęty1 courses
Powershell. Lokalizacja i internacjonalizacja1 courses
Locale1 courses
Tzdata1 courses
kodowanie znaków. Skrypty powłoki. Narzędzia sed1 courses
awk. Polecenia użytkowe wc1 courses
Turkish1 courses
Sort1 courses
Head1 courses
Tail1 courses
Tee1 courses
Xargs1 courses
Grep1 courses
Find1 courses
locate i wiele innych. Separacja procesów1 courses
Namespaces1 courses
cgroups. Piaskownice1 courses
firejail i in. Apparmor. Selinux. Wirtualizacja. LXC i docker. Qemu i KVM. Xen. Informacja o programie Virtualbox. Sieci komputerowe i podstawowa konfiguracja sieci w Linuksie. Podstawowe polecenia konfiguracyjne. Konfiguracja statyczna i dynamiczna. DHCP. Gniazda. Bezpieczeństwo i iptables. Usługi sieciowe1 courses
Sshd1 courses
inetd i xinetd. Gniazda systemd. RPC. Usługi nazw1 courses
bind9. Usługi drukowania1 courses
lpr i Cups. Informacja o trybie graficznym . Serwer wyświetlania X Windows1 courses
Xinit1 courses
startx. Graficzny zarządca logowania (xdm1 courses
Gdm1 courses
Sddm1 courses
lightdm i in). Zarządca okien (kwin1 courses
Metacity1 courses
Xfwm1 courses
Openbox i wiele in). Typy zarządców okien (tiling1 courses
Stacking1 courses
Compositing1 courses
dynamic). Środowisko graficzne (KDE1 courses
Gnome1 courses
XFCE i wiele innych). XTerminale (xterm1 courses
Urxvt1 courses
Konsole1 courses
terminal i in). Niedoskonałości serwera X Windows. Weyland. Zdalny terminal graficzny (xpra1 courses
Xephyr1 courses
Xnest1 courses
Rdp1 courses
Winswitch1 courses
Vnc1 courses
x2go1 courses
NX tech i in.) Oprogramowanie Open Source. FSF. Typy licencji. GNU i BSD. Zakres materiału obejmuje większość zagadnień wymaganych na egzaminach certyfikacyjnych CompTIA Linux+ oraz LPIC-1 . Wymagania Brak Literatura: Brian Ward1 courses
Jak działa Linux. Podręcznik administratora1 courses
Helion 2015. Evi Nemeth1 courses
Garth Snyder1 courses
Trent R. Hein1 courses
Ben Whaley1 courses
Dan Mackin1 courses
Unix i Linux. Przewodnik administratora systemów1 courses
Wydanie V1 courses
Helion 2018.1 courses
polski Pełny opis: Celem przedmiotu jest zaznajomienie studentów z językiem Rust1 courses
w tym cech które sprawiają1 courses
że wyróżnia się na tle innych języków programowania. Chodzi głównie o mechanizmy zapobiegające naruszeniom pamięci1 courses
oraz pozwalające na bezpieczne operowanie wątkami. Program Podstawowe typy danych literały i operatory1 courses
Krotki1 courses
tablice i tablice dynamiczne Typy własne struktury1 courses
Typy Wyliczeniowe1 courses
stałe Typowe pojęcia z zakresu programowania zmienne i mutowalność1 courses
typy skalarne i złożone1 courses
Komentarze1 courses
sterowanie przepływem Pojęcie posiadania reguły posiadania1 courses
Zakres Zamiennej1 courses
odwołania i pożyczki1 courses
odwołania mutowalne1 courses
wiszące odwołania1 courses
reguły odwołań1 courses
typ wycinek Używanie struktur definiowanie struktur i tworzenie ich instancji składnia metody Typ wyliczeniowy i dopasowanie wzorca definiowanie wyliczenia operator sterowania przepływem match sterowanie przepływem za pomocą if let Wykorzystanie modułów do porządkowania kodu i jego ponownego wykorzystania mod i Filesystem sterowanie widocznością za pomocą pub odwoływanie się do nazw w różnych modułach Typowe kolekcje przechowywanie list wartości za pomocą wektorów przechowywanie w łańcuchach tekstu zakodowanego za pomocą UTF-8 przechowywanie kluczy z powiązanymi wartościami w mapach skrótów Obsługa błędów błędy nienaprawialne z makrem panic! błędy do naprawienia za pomocą Result panikować czy nie panikować Typy generyczne1 courses
cechy i czasy życia usuwanie duplikacji przez wyodrębnienie funkcji generyczne typy danych cechy – definiowanie wspólnego zachowania sprawdzanie odwołań za pomocą czasów życia parametry generycznego typu1 courses
granice cech i czas życia w połączeniu Pisanie automatycznych testów jak pisać testy sterowanie sposobem uruchamiania testów organizacja testów Projekt we1 courses
wy – budowa programu wiersza poleceń akceptowanie argumentów wiersza poleceń czytanie pliku refaktoryzacja w celu poprawienia modułowości i obsługi błędów * tworzenie funkcjonalności biblioteki przy użyciu TDD praca ze zmiennymi środowiskowymi pisanie komunikatów o błędach do standardowego błędu zamiast standardowego wyjścia Funkcje języka funkcyjnego: iteratory i domknięcia domknięcia – anonimowe funkcje1 courses
które mogą przechwycić swoje środowisko przetwarzanie ciągów elementów za pomocą iteratorów ulepszanie projektu we1 courses
wy porównywanie wydajności – pętle a iteratory Więcej informacji o cargo i crates.io wersje niestandardowe z profilami wydania publikacja skrzynki w Crates.io przestrzenie robocze Cargo instalowanie wersji binarnych z Crates.io za pomocą cargo install Rozszerzanie Cargo za pomocą niestandardowych poleceń Inteligentne wskaźniki używanie Box do wskazywania danych na kopcu traktowanie inteligentnych wskaźników jak zwykłych odwołań z cechą Deref uruchamianie kodu czyszczącego z cechą Drop rc – inteligentny wskaźnik ze zliczaniem odwołań RefCell oraz wzorzec wewnętrznej mutowalności odwołania cykliczne mogą prowadzić do wycieku pamięci Współbieżność bez obaw użycie wątków do równoległego uruchamiania kodu używanie przekazywania komunikatów do transferu danych między wątkami współbieżność ze współdzieleniem zasobów elastyczna współbieżność z cechami Sync i Send Własności programowania obiektowego w języku Rust charakterystyka języków obiektowych wykorzystywanie obiektów cech1 courses
które dopuszczają wartości różnych typów implementowanie wzorca projektu obiektowego Wzorce i dopasowanie wszystkie miejsca1 courses
w których można korzystać ze wzorców składnia wzorca Funkcje zaawansowane niebezpieczny Rust1 courses
zaawansowane czasy życia1 courses
Zaawansowane Cechy1 courses
Typy Zaawansowane1 courses
zaawansowane funkcje i domknięcia Wymagania <h2>Niezbędne kompetencje: biegła umiejętność programowania umiejętność programowania w języku imperatywnym umiejętność programowania w języku funkcyjnym Literatura: Steve Klabnik1 courses
Carol Nichols: Programowanie w języku Rust (Wydanie: 11 courses
20191 courses
Wydawnictwo Naukowe PWN) Steve Klabnik and Carol Nichols1 courses
with contributions from the Rust Community: The Rust Programming Language1 courses
polski Pełny opis: Kurs omawia metody przechowywania danych na nośnikach elektronicznych1 courses
protokoły warstwy fizycznej (dyski mechaniczne i SSD1 courses
zapis optyczny)1 courses
urządzeń blokowych i systemów plików (szczególnie strukturę statyczną1 courses
tj. on-disk format ) oraz ich implementację w Linuksie. Aspekty praktyczne kursu skupiają się na sposobach i narzędziach do odzyskiwania danych z nośników1 courses
to ten dział informatyki jest wyjątkowo nudny i wymaga dużej pracowitości i cierpliwości. Nie tylko trzeba znać i umieć efektywnie wykorzystać dostępne narzędzia1 courses
ale potrzeba też bardzo szczegółowej wiedzy na temat analizowanych formatów danych i systemów plików. Program Warstwa fizyczna i warstwa urządzeń blokowych. Urządzenia pamięci masowej: dyski magnetyczne1 courses
Ssd1 courses
płyty CD i DVD. Firmware urządzeń blokowych. Protokół S.M.A.R.T. Magistrale i ich protokoły: SCSI1 courses
GPT. Obsługa urządzeń pamięci masowej w systemie operacyjnym. Warstwa systemu plików. System plików Microsoft FAT. Systemy plików uniksowych: UFS1 courses
ext2. Systemy plików na nośnikach optycznych: ISO 96601 courses
UDF. Spójność systemu plików. Fsck. Transakcje atomowe. Systemy plików z księgowaniem: ext31 courses
NTFS. Systemy plików COW: ZFS i Btrfs. Inne systemy plików. Warstwa aplikacji. Typowe formaty plików: JPEG1 courses
MP3 i in. Techniki odzyskiwania danych z urządzeń pamięci masowych. Wymagania <h6>Niezbędne kompetencje Podstawowa wiedza na temat systemów operacyjnych Umiejętność administrowania systemem Linux Umiejętność pisania prostych programów przetwarzających dane zapisane w formatach binarnych Literatura: Brian Carrier1 courses
polski Pełny opis: Celem tego kursu jest nauczenie programowania obiektowego w bardzo popularnym współcześnie języku programowania C++. Na kursie jest prezentowany najnowszy standard tego języka oraz obszerne fragmenty biblioteki standardowej STL. Wykład jest ilustrowany programami napisanymi zgodnie z najlepszymi wzorcami1 courses
natomiast towarzyszące zajęcia laboratoryjne mają nauczyć dobrych praktyk w programowaniu i projektowaniu obiektowym. Program Podstawowe konstrukcje językowe w C++. Abstrakcja i hermetyzacja. Inicjalizacja1 courses
przenoszenie. Składowe statyczne. Przeciążanie operatorów. Dziedziczenie1 courses
wielodziedziczenie. Polimorfizm1 courses
klasy abstrakcyjne. Przestrzenie nazw. Wyjątki1 courses
asercje. Szablony funkcji i szablony klas. Konwersje. Strumienie1 courses
operacje na plikach. Podstawowe kolekcje standardowe. Podstawowe algorytmy. Operacje na łańcuchach znakowych. Wymagania <h4>Zrealizowane przedmioty: kurs języka ANSI C z elementami C++ <h4>Niezbędne kompetencje: umiejętność programowania strukturalnego i proceduralnego w języku ANSI C1 courses
znajomość podstawowych struktur danych1 courses
Gliwice 2014. J.Grębosz: Opus magnum C++11. Programowanie w języku C++. Tom 11 courses
Gliwice 2018. <h4>Literatura uzupełniająca: S.Rao: C++. Dla każdego. Wydanie 7. Wydawnictwo Helion1 courses
Gliwice 2014. S.Prata: Język C++. Szkoła programowania. Wydanie 6. Wydawnictwo Helion1 courses
Gliwice 2012.1 courses
polski Pełny opis: Podstawowym celem przedmiotu jest zaznajomienie studentów z jednym z najpopularniejszych obecnie programów do modelowania 3D1 courses
a także wtyczką wizualizacyjną brighter3d umożliwiającą generowanie fotorealistycznych obrazów. Ponadto studenci nabędą umiejętność pisania własnych wtyczek do programu SketchUp w języku Ruby. Program Modelowanie 3D. Grupy1 courses
Komponenty1 courses
materiały1 courses
Widoki1 courses
warstwy. Modelowanie "low poly" oraz organiczne. Wizualizacja i animacja scen 3d. Podstawy języka Ruby. Photo matching. Wymagania Podstawy programowania w jakimkolwiek imperatywnym języku programowania . Literatura: Automatic SketchUp Creating 3-D Models in Ruby by Matthew Scarpino http:1 courses
rhin.crai.archi.fr1 courses
Rld1 courses
Automatic_SketchUp.pdf1 courses
programowania i testowania gier w silniku Unreal 5. Program Projektowanie gier Podstawy języka C# Pętla gry Rendering pipeline Post processing Podstawy grafiki komputerowej (ścieżki renderingu1 courses
macierze) Wymagania <h2>Zrealizowane przedmioty: <h2>Niezbędne kompetencje: Podstawy programowania w C++ Literatura: https:1 courses
www.unrealengine.com1 courses
en-US1 courses
Learn1 courses
polski Pełny opis: Celem przedmiotu jest zapoznanie słuchaczy z technologią ASP.NET i ASP.NET Core w kontekście wytwarzania aplikacji internetowych i intranetowych. Program Infrastruktura ASP.NET HTTP HTML5 Architektura aplikacji internetowej1 courses
intranetowej ASP.NET MVC ASP.NET WebForms Autentykacja i autoryzacja1 courses
uwierzytelnianie federacyjne SOAP vs REST WCF ASP.NET WebApi AJAX i pochodne (AJAJ1 courses
AHAH) klasycznie ASP.NET vs ASP.NET Core Wymagania <h2>Zrealizowane przedmioty Kurs progarmowania pod Windows w technologii .NET Literatura: Rader1 courses
Hanselman1 courses
Evjen - Professional ASP.NET 4 A. Freeman - Pro ASP.NET MVC 5 D. Esposito - Programming ASP.NET Core1 courses
polski Pełny opis: Celem kursu jest opanowanie przez studentów technik i narzędzi programowania współbieżnego w języku C++1 courses
zarówno obecnych w bibliotece standardowej tego języka1 courses
jak i implementowalnych samodzielnie. Program Współdzielenie danych przez wątki Synchronizacja współbieżnych operacji Model pamięci języka C++ i operacje na typach atomowych Współbieżne struktury danych z blokadami Współbieżne struktury danych bez blokad Optymalizacja współbieżnego kodu Zaawansowane zarządzanie wątkami Wzorce współbieżności Testowanie i debugowanie aplikacji wielowątkowych Wymagania <h4>Zrealizowane przedmioty: Programowanie współbieżne kurs języka C++ <h4>Niezbędne kompetencje: znajomość podstawowych problemów i zagadnień współbieżności1 courses
na poziomie wykładu z Programowania współbieżnego umiejętność programowania obiektowego w języku C++ znajomość klasycznych struktur danych1 courses
na poziomie wykładu ze Wstępu do informatyki Literatura: <h4>Literatura podstawowa: A.Williams: Język C++ i przetwarzanie współbieżne w akcji. Wydanie 2. Wydawnictwo Helion1 courses
Gliwice 2020. <h4>Literatura uzupełniająca: Artykuły naukowe dotyczące współbieżnych struktur danych. M. Herlihy1 courses
N. Shavit: The Art of Multiprocessor Programming. Wydanie 2. Wydawnictwo Esevier1 courses
2020. B.Stroustrup: Język C++. Kompendium wiedzy. Wydanie 4. Wydawnictwo Helion1 courses
Gliwice 2014.1 courses
polski Pełny opis: Celem zajęć jest * rozwijanie wiedzy i umiejętności korzystania z zaawansowanych cech języka1 courses
* poznanie popularnych bibliotek pomocnych w tworzeniu aplikacji (przetwarzanie tekstu1 courses
wielozadaniowość1 courses
usługi sieciowe)1 courses
* poznanie narzędzi wspierających rozwój projektów (testowanie1 courses
środowiska wirtualne1 courses
Profilowanie1 courses
metryki)1 courses
* przegląd popularnych zastosowań Pythona wraz ze stosowanymi narzędziami: aplikacje webowe1 courses
przetwarzanie danych. Program listy składane1 courses
Generatory1 courses
Konteksty1 courses
Dekoratory Klasy I Obiekty1 courses
metaklasy wątki1 courses
programowanie asynchroniczne programowanie sieciowe przetwarzanie danych za pomocą matplotlib1 courses
pandas czy numpy przechowywanie danych: trwałe słowniki1 courses
wykorzystanie relacyjnych baz danych poprzez DB API czy SQLAlchemy narzędzia do dbałości o jakość oprogramowania (testowanie1 courses
analiza statyczna kodu źródłowego1 courses
Generowanie Dokumentacji1 courses
standard PEP 8) tworzenie własnych plików dystrybucyjnych1 courses
łączenie Pythona z programami w C i Rust. Wymagania Podstawowa umiejętność programowania w Pythonie1 courses
zaliczenie przedmiotu Wstęp do programowania w języku Python jest wystarczające. Literatura: Literatura podstawowa * Luciano Ramalho1 courses
Fluent Python * Tarek Ziade1 courses
Expert Python Programming * Dusty Phillips1 courses
Python 3 Object Oriented Programming * Rick Copeland1 courses
Essential SQLAlchemy * Antoine Lefebvre1 courses
An Introduction To Python Programming With Numpy1 courses
Scipy And Matplotlib1 courses
Pylab Literatura dodatkowa * Kenneth Reitz1 courses
Tanya Schlusser1 courses
The Hitchhiker Guide to Python * Bruce Eckel1 courses
Python3 Patterns & Idioms Book * Ch. Durr & Jill-Jenn Vie1 courses
Competitive Programming in Python * Kristian Rother1 courses
Pro Python Best Practices1 courses
polski Pełny opis: Kurs dotyczy sposobów odzyskiwania danych z nośników1 courses
to ten dział informatyki jest wyjątkowo nudny i wymaga wręcz benedyktyńskiej pracowitości. Nie tylko trzeba znać i umieć efektywnie wykorzystać dostępne narzędzia1 courses
ale potrzeba też bardzo szczegółowej wiedzy na temat analizowanych formatów danych i systemów plików1 courses
a często również wielkiej cierpliwości. Na zajęcia powinny się zapisać tylko osoby1 courses
które poważnie interesują się teorią i praktyką przechowywania danych w urządzeniach pamięci masowej i chciałyby rozwinąć umiejętności ich badania. Osobom1 courses
które straciły swoje dane i pragną je odzyskać polecamy zamiast tego kurs „Metody tworzenia kopii zapasowych i archiwizacji danych”. Orientacyjny program wykładu: 1. Warstwa fizyczna i warstwa urządzeń blokowych. Urządzenia pamięci masowej: dyski magnetyczne1 courses
SSD. Firmware urządzeń blokowych. Protokół S.M.A.R.T. Magistrale i ich protokoły: SCSI1 courses
GPT. Obsługa urządzeń pamięci masowej w systemie operacyjnym. 2. Warstwa systemu plików. System plików Microsoft FAT. 3. Systemy plików uniksowych: UFS1 courses
ext2. 4. Systemy plików na nośnikach optycznych: ISO 96601 courses
UDF. 5. Spójność systemu plików. Fsck. Transakcje atomowe. Systemy plików z księgowaniem: ext31 courses
NTFS. 6. Systemy plików COW: ZFS i Btrfs. Inne systemy plików. 7. Warstwa aplikacji. Typowe formaty plików: JPEG1 courses
MP3 i in. 8. Techniki odzyskiwania danych z urządzeń pamięci masowych. Literatura: 1. Brian Carrier1 courses
polski Pełny opis: . Program . Wymagania <h2>Zrealizowane przedmioty: <h2>Niezbędne kompetencje: * Literatura: .1 courses
polski Pełny opis: Celem przedmiotu jest przybliżenie studentom pierwszego roku podstawowych narzędzi do współtworzenia1 courses
Kompilowania1 courses
Uruchamiania1 courses
publikowania oraz dokumentowania swoich oraz cudzych programów. Program Praca w systemie Linux: pliki1 courses
użytkownicy1 courses
Potoki I Strumienie1 courses
kompilowanie i uruchamianie programów1 courses
bash. Polecenie ssh oraz podstawy kryptografii Systemy kontroli wersji na przykładzie systemu git. Podstawy pracy grupowej. LaTeX (poprawne składanie tekstów takich jak rozwiązanie zadania1 courses
Cv I List Motywacyjny1 courses
wyrażenia matematyczne). Wymagania Umiejętność obsługi komputera Literatura: W związku z deklarowanym celem przedmiotu - nauczenie studentów umiejętności samodzielnego znajdowania odpowiednich źródeł informacji1 courses
a także krytycznego podejścia do tych źródeł - nie jest podana literatura obowiązkowa. Zalecane źródła: dokumentacja narzędzi informatycznych1 courses
podręczniki użytkownika1 courses
specjalistyczne fora dyskusyjne itp. * Official Ubuntu Documentation https:1 courses
help.ubuntu.com1 courses
* GNU Bash Manual https:1 courses
www.gnu.org1 courses
Software1 courses
Bash1 courses
Manual1 courses
* git User Manual https:1 courses
git-scm.com1 courses
doc * OpenSSH Manual https:1 courses
www.openssh.com1 courses
manual.html * LaTeX Documentation https:1 courses
www.latex-project.org1 courses
Help1 courses
Documentation1 courses
* The beamer class User Guide https:1 courses
github.com1 courses
Josephwright1 courses
Beamer1 courses
polski Pełny opis: Głównym celem kursu jest nabycie umiejętności programowania równoległego w technologii CUDA zagadnień nie tylko związanych z grafiką komputerową1 courses
a także poznanie architektury współczesnych kart graficznych i ograniczeń1 courses
które wpływają na wybór algorytmu i sposób implementacji na karcie graficznej. Dodatkowo poznanie architektury kart graficznych i CUDA API powinno umożliwić zrozumienie i szybszą naukę innych API takich jak np. OpenCL1 courses
czy compute shaders z OpenGL. Program Wstęp do architektury CUDA. Różne rodzaje dostępnej pamięci na GPU i ich szybkość. Architektura CUDA i efektywność: if1 courses
Atomic1 courses
synchr.1 courses
shared-banks. Warp shuffle1 courses
Reduction1 courses
Scan. CUDA+OpenGL1 courses
przegląd bibliotek1 courses
asynchroniczność1 courses
strumienie. Cooperative Groups. Wymagania umiejętność biegłego programowania w języku C1 courses
C++ znajomość podstaw grafiki komputerowej znajomość podstaw architektury systemów komputerowych Literatura: CUDA Toolkit Documentation: https:1 courses
docs.nvidia.com1 courses
Cuda1 courses
index.html ("CUDA C Programming Guide"1 courses
"CUDA C Programming Guide") David Kirk Wen-mei Hwu - ”Programming Massively Parallel Processors”1 courses
Elsevier (1ed.: 20101 courses
2ed 20121 courses
3ed 2016).1 courses
polski Pełny opis: Wykład ma na celu przybliżyć słuchaczom bibliotekę React i przekazać wiedzę pozwalającą na budowanie przy jej pomocy pierwszych aplikacji Frontendowych. Program Podstawy React i środowisko React TypeScript i React React Router i alternatywy Zarządzanie stanem Nowoczense stylowanie (CSS-in-JS1 courses
Scss1 courses
biblioteki) Konsumowanie zewnętrznych API1 courses
React Query Formularze1 courses
biblioteki Testowanie aplikacji w React Zaawansowane koncepcje (Suspense1 courses
Render Props1 courses
Hoc1 courses
Hooks) Techniki optymalizacji Wymagania <h2>Zrealizowane przedmioty: Kurs WWW lub Kurs: Tworzenie Aplikacji Frontendowych <h2>Niezbędne kompetencje: Podstawowa umiejętność programowania Podstawowa znajomość HTML1 courses
JavaScript oraz CSS Podstawowa wiedza na temat działania przeglądarek i sieci komputerowych Literatura: https:1 courses
react https:1 courses
react.dev1 courses
polski Pełny opis: Nabycie wiedzy w zakresie rozwoju oprogramowania przy użyciu języka C++. Program Jak realizować innowacyjne projekty na czas [Wykład] Metodyki zwinne w zmiennym środowisku projektowym [Warsztat] Środowisko programisty C++ [Pracownia] Zarządzanie pamięcią w C++ [Pracownia] Biblioteka STL w C++ [Pracownia] Nowoczesne C++ (C++111 courses
17) [Pracownia] Test Driven Development na przykładzie C++ [Pracownia] Tworzenie SOLIDnego kodu obiektowego w C++ [Pracownia] Wzorce projektowe na przykładzie C++ [Pracownia] Programowanie współbieżne w C++ [Pracownia] Optymalizacje w C++ [Pracownia] Coding Dojo w języku C++ [Pracownia] Warsztat zwinnego programisty [Warsztat] Kolokwium [Kolokwium] Budowanie złożonych systemów informatycznych [Wykład] Wymagania <h2>Niezbędne kompetencje Podstawowa znajomość C++ Literatura: <h4>Literatura podstawowa Stephen Prata – Język C++. Szkoła programowania. Scott Meyers – Skuteczny1 courses
nowoczesny C++. 42 sposoby lepszego posługiwania się językami C++11 i C++14. Kent Beck – TDD. Sztuka tworzenia dobrego kodu. Robert C. Martin – Czysty kod. Podręcznik dobrego programisty. Zasoby sieci Internet w odniesieniu do przedstawianych tematów.1 courses
polski Pełny opis: Celem przedmiotu jest przekazanie uczestnikom praktycznej wiedzy związanej z budowaniem1 courses
implementacją1 courses
debugowaniem i testowaniem sterowników dla systemu Linux. Studenci zapoznają się z symulatorami sprzętu oraz interfejsami programistycznymi jądra Linux. Zdobędą metody diagnozowania i naprawiania usterek kodu sterowników. Program Budowanie1 courses
Uruchamianie1 courses
debugowanie jądra i modułów. Rozruch jądra i środowisko startowe: DeviceTree i Bootargs. Praca z symulatorem Renode. Struktura modułu jądra i sterownika. Interfejs urządzeń znakowych. Interakcja ze sterownikiem: ioctl1 courses
Kopiowanie Danych Do1 courses
z jądra. Zasoby urządzenia: rejestry1 courses
Dma1 courses
przerwania. Mapowanie zasobów urządzenia w przestrzeń adresową jądra. Obsługa przerwań: górna i dolna połówka1 courses
procedury obsługi. Wybrane podsystemy w jądrze Linux (zarządzanie pamięcią1 courses
wątki1 courses
Synchronizacja1 courses
User I1 courses
O API ) Szyna I²C i struktura sterownika urządzeń I²C. Wystawianie właściwości urządzenia przez sysfs. Omówienie podsystemu Industrial I1 courses
O. Wymagania <h5>Zaliczone przedmioty Architektury systemów komputerowych Systemy operacyjne Struktura jądra Unix Systemy wbudowane <h5>Niezbędne kompetencje Bardzo dobra znajomość języka C Płynność w obsłudze systemów uniksopodobnych z linii poleceń Literatura: Linux Kernel Development1 courses
3rd Edition The Linux Kernel documentation Renode documentation1 courses
polski Pełny opis: Celem kursu jest uzupełnienie wiedzy zdobytej na przedmiocie Sieci Komputerowe i1 courses
lub CCNA o wiedzę praktyczną z zastosowań wybranych technologii sieciowych z dużym naciskiem na bezpieczeństwo omawianych technologii. Większość omawianych zagadnień będzie do zaimplementowania na specjalnie do tego celu przygotowanych maszynach wirtualnych oraz zajęciowych urządzeniach1 courses
żeby jak najlepiej pokazać ich praktyczne zastosowania w firmach i instytucjach. Podczas kursu omawiane będą zagadnienia budowania i administracji sieciami i systemami. Program Bezpieczeństwo sieci -- zagadnienia takie jak: SIEM1 courses
IEEE 802.1x1 courses
Radius1 courses
Vlany1 courses
port-security1 courses
Macsec1 courses
xyz-snooping1 courses
Ids1 courses
Ips1 courses
itp.) Sieci bezprzewodowe -- WiFi 61 courses
WPA31 courses
Pmf1 courses
punkty dostępu1 courses
zarządzanie1 courses
Zabezpieczenia1 courses
Problemy1 courses
Standardy1 courses
bezpieczeństwo Wirtualne sieci prywatne -- VPN (IPsec1 courses
Pptp1 courses
Openvpn1 courses
Wireguard1 courses
IKEv21 courses
...) Sieci pamięci masowej -- DAS1 courses
Nas1 courses
San1 courses
Iscsi1 courses
Fibrechannel1 courses
Infiniband1 courses
Vsan1 courses
Ceph1 courses
wirtualizacja pamięci masowych1 courses
bezpieczeństwo w sieciach pamięci masowych Routing i stos TCP1 courses
Ip W Linuksie1 courses
Cisco1 courses
Juniper1 courses
Ubnt1 courses
Mikrotik1 courses
itp. Protokoły i problemy współczesnych sieci (IPv4 -> IPv61 courses
Bgp1 courses
Mpls1 courses
Tcp Bbr1 courses
SD-LAN1 courses
SD-WAN itp.) IPv6 oraz zagadnienia związanie z wdrażaniem i integracją z istniejącymi sieciami oraz związane z tym zagadnienia dotyczące bezpieczeństwa sieci Firewall1 courses
ACL (iptables1 courses
Pf1 courses
Policy Routing1 courses
ZBF) Zagadnienia związane z wysoką wydajnością oraz rozkładaniem obciążeń -- proxy1 courses
Reverse Proxy1 courses
Loadbalancing1 courses
Link Aggregation1 courses
Ha1 courses
clustering Wirtualizacja oraz tzw. Cloud Computing -- np. VMware1 courses
Kvm1 courses
Qemu1 courses
Xen1 courses
Openstack1 courses
Proxmox Konteneryzacja oraz sieci dla kontenerów -- na przykładzie Docker1 courses
Lxc1 courses
Kubernetes Bezpieczeństwo wirtualizacji1 courses
Cloud Computingu1 courses
kontenerów Problemy maszyn wirtualnych i kontenerów (i1 courses
O1 courses
Rtc1 courses
thin-provisioning1 courses
Starvation1 courses
Overbooking1 courses
sieci wewnętrzne1 courses
...) Wirtualizacja sieci -- wirtualne switche1 courses
Routery1 courses
Karty Sieciowe1 courses
adresy... Wymagania Ukończenie przedmiotu "Sieci Komputerowe"1 courses
Szkolenia Cisco Ccna Lub Podobnego W Zakresie Szkolenia Z Zakresu Sieci1 courses
I1 courses
lub deklaracja znajomości zagadnień z zakresu materiału w1 courses
w kursów. Literatura: James F. Kurose1 courses
Keith W. Ross1 courses
Sieci komputerowe. Ujęcie całościowe1 courses
Helion1 courses
2018. Andrew S. Tanenbaum1 courses
Sieci Komputerowe1 courses
2012. Dokumentacja konkretnych narzędzi.1 courses
polski Pełny opis: Wykład ma na celu przybliżyć słuchaczom rolę frontend developera i związane z nią odpowiedzialności1 courses
a także przekazać wiedzę umożliwiającą wytworzenie pierwszych frontendowych aplikacji. Program Podstawy działania Internetu HTML Podstawy HTML Dobre praktyki i konwencje Formularze i walidacja CSS Podstawy CSS Tworzenie Layoutu: Float1 courses
Grid1 courses
Flexbox1 courses
Positioning1 courses
Box Model Responsywny design Preprocesory CSS BEM JavaScript Podstawy JavaScriptu Manipulacja DOM ES6+ Zaawansowane pojęcia: Hoisting1 courses
Event Bubbling1 courses
Scope1 courses
Prototype1 courses
Shadow Dom Event Loop Typescript Komunikacja Z Backendem Rest1 courses
SOAP?1 courses
GraphQL? Menadżer Pakietów Narzędzia Bundlery: Webpack1 courses
Esbuild Npm Lintery I Formatery Frameworki1 courses
Biblioteki Przegląd dostępnych opcji Podstawy React'a Nowoczesny CSS Styled Components CSS Modules Frameworki CSS: Material1 courses
Bootstrap1 courses
inne? Testowanie Aplikacji Optymalizacja Wymagania <h2>Zrealizowane przedmioty: Wstęp do programowania w języku C lub Python <h2>Niezbędne kompetencje: podstawowa umiejętność programowania podstawowa znajomość dowolnego systemu kontroli wersji Literatura: https:1 courses
Frontend1 courses
polski Rodzaj przedmiotu : laboratorium komputerowe1 courses
polski Rodzaj przedmiotu : laboratorium komputerowe Założenia: Podstawy statystyki praktycznej 28-MT-S-LPodStatPr Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd11 courses
polski Pełny opis: Celem kursu jest opanowanie przez studentów zaawansowanych technik programowania w nowoczesnej wersji języka C++ oraz maksymalnego wykorzystania możliwości zmodernizowanej biblioteki standardowej STL. Wykład jest ilustrowany programami napisanymi zgodnie z najlepszymi wzorcami1 courses
natomiast towarzyszące zajęcia laboratoryjne mają nauczyć dobrych praktyk w programowaniu i projektowaniu obiektowym z wykorzystaniem szablonów. Program obsługa błędów i wyjątków łańcuchy i konwersje liczbowe wyrażenia regularne inteligentne wskaźniki zegary i czasomierze obiekty funkcyjne i lambdy kontenery i adaptatory kontenerów iteratory i adaptatory iteratorów iteratory strumieniowe i plikowe algorytmy niemodyfikujące i modyfikujące liczby zespolone i algorytmy numeryczne liczby i rozkłady pseudolosowe współbieżność i synchronizacja wątków metaprogramowanie lokalizacja Wymagania <h4>Zrealizowane przedmioty: kurs języka C++ wstęp do informatyki1 courses
algorytmy i struktury danych <h4>Niezbędne kompetencje: umiejętność programowania obiektowego w języku C++1 courses
znajomość klasycznych struktur danych wykorzystywanych w algorytmice1 courses
Gliwice 2014. N.M.Josuttis: C++. Biblioteka standardowa. Podręcznik programisty. Wydanie 2. Wydawnictwo Helion1 courses
Gliwice 2014. <h4>Literatura uzupełniająca: J.Grębosz: Opus magnum C++11. Programowanie w języku C++. Tom 11 courses
Gliwice 2018. J.Galowicz: C++17 STL. Receptury. Wydawnictwo Helion1 courses
Gliwice 2018.1 courses
polski Założenia: Wstęp do matematyki 28-MT-S-oWDM1 courses
polski Pełny opis: Celem przedmiotu jest wprowadzenie studentów w wybrane tematy teorii modeli skończonych. Studenci zapoznają się z technikami używanymi do porównywania siły wyrazu oraz ustalania złożoności obliczeniowej problemów spełnialności wybranych fragmentów logiki pierwszego rzędu. Program Wprowadzenie do tematyki + przykłady. Twierdzenie o zwartości z jego dowodem przy pomocy twr. Goedela. Konsekwencje twierdzenia o zwartości i niewyrażalność w FO. Filtry i ultrafiltry . Ultraprodukty i twierdzenie Łosia. Dowód twierdzenia o zwartości przy pomocy twierdzenia Łosia. Ważne własności teorio-modelowe logik: interpolacja Craiga1 courses
polski Założenia: Analiza matematyczna 3 28-MT-S-oAnMat3 Kombinatoryka 28-MT-S-oKomb Wstęp do matematyki 28-MT-S-oWDM1 courses
polski Rodzaj przedmiotu : wykład Założenia: Wstęp do matematyki 28-MT-S-oWDM1 courses
polski Pełny opis: Celem przedmiotu jest nauczenie zasad rządzących funkcjonowaniem elektroniki cyfrowej oraz typowych rozwiązań stosowanych przy projektowaniu układów. Zajęcia koncentrują się na następujących pojęciach: logika kombinacyjna i sekwencyjna1 courses
algebra Boole'a1 courses
automaty skończone. Przedmiot ma charakter praktyczny1 courses
jego ważnym elementem jest nauczenie posługiwania się językiem opisu sprzętu. Program Wprowadzenie do układów cyfrowych Technologie implementacji układów cyfrowych Elementy SystemVeriloga jako języka opisu sprzętu Optymalizacja funkcji logicznych Układy arytmetyczne Podstawowe układy kombinacyjne Zatrzaski i przerzutniki Liczniki Układy pamięci ROM i RAM Układy programowalne PAL1 courses
Pla1 courses
podstawy CPLD i FPGA Automaty Moore'a i Mealy'ego Układy sekwencyjne Podstawy architektury RISC V Budowa prostego procesora Wymagania <h2>Zrealizowane przedmioty: Logika dla informatyków Wstęp do informatyki <h2>Niezbędne kompetencje: Umiejętność programowania w dowolnym języku programowania Znajomość podstaw rachunku zdań Literatura: Literatura obowiązkowa: Fundamentals of Digital Logic with Verilog Design1 courses
Brown1 courses
Vranesic1 courses
McGraw-Hill [rozdziały 1-71 courses
B] Digital Design: With an Introduction to the Verilog HDL1 courses
Vhdl1 courses
And Systemverilog1 courses
Mano1 courses
Ciletti1 courses
Pearson Computer Organization And Design1 courses
The Hardware1 courses
Software Interface1 courses
RISC-V Edition [rozdział 4] Literatura zalecana: Verilog HDL1 courses
Palnitkar A Verilog Hdl Primer1 courses
Third Edition1 courses
Bhasker Standard IEEE 1364-2005 Standard IEEE 1800-2012 Lessons in Electric Circuits1 courses
Kuphaldt [tom IV]1 courses
angielski Pełny opis: Wprowadzenie do zagadnień językoznawstwa diachronicznego1 courses
Metody Badawcze1 courses
podstawowe pojęcia.Wprowadzenie do zmian diachronicznych w języku. Struktury języka podlegające zmianie. Przyczyny zmian. Podstawy teoretyczne zmian diachronicznych. Początki językoznawstwa historycznego. Początkowe postulaty badawcze i odkrycia językoznawstwa historycznego. Rozwój językoznawstwa historycznego. Historia zewnętrzna i jej wpływ na historię wewnętrzna języka. Periodyzacja okresu rozwoju języka. Zmiany językowe w omawianych etapach rozwoju języka: fonetyczne1 courses
Fonologiczne1 courses
składniowe i semantyczne. Rozróżnienie dialektologiczne.Struktura języka w omawianym okresie: fonetyka i fonologia1 courses
rozpad systemu fleksyjnego i jego znaczenie dla typologii języka. Zmiany językowe: fonologia1 courses
Morfologia1 courses
składnia1 courses
zmiany leksykalne. Zróżnicowanie dialektologiczne1 courses
rozwój języka standardowego.Niestabilność wewnętrzna i rozwój kolonialny. Historia zewnętrzna. Rozwój i zróżnicowanie jęz. angielskiego w Ameryce. Literatura: Baugh1 courses
A. C. 1957. A History of the English Language. 2nd ed. New York: Appleton-Century-Crofts1 courses
Inc. Cygan1 courses
J. 1991. Język angielski na tle porównawczym. Wrocław: Wydawnictwo Uniwersytetu Wrocławskiego. Fennell1 courses
B. A. 2001. A History of English: A Sociolinguistic Approach. Oxford1 courses
Uk1 courses
Malden1 courses
Mass: Blackwell Publishers. Fisiak1 courses
J. 1993. An Outline History of English. Volume One: External History. Poznań: Kantor Wydawniczy SAWW . Fromkin1 courses
Victoria1 courses
Robert Rodman1 courses
19721 courses
An Introduction to Language.(Part II1 courses
Morphology: The Words of Language) New York: Holt1 courses
Rinehart & Winston.1 courses
polski Pełny opis: Zapoznanie studenta z różnymi formami i postaciami szeroko rozumianych nadużyć i manipulacji na rynku finansowym w Polsce. Wyposażenie studenta w wiedzę na temat przestępstw na rynku finansowym. Zapoznanie studenta z różnego rodzaju nadużyciami instytucji finansowych w relacjach umownych z klientami (z niebezpiecznymi1 courses
strukturyzowanymi i skomplikowanymi produktami finansowymi o dużym ryzyku oraz nieuczciwymi praktykami rynkowymi wprowadzającymi w błąd1 courses
praktykami naruszających zbiorowe interesy konsumentów1 courses
missellingiem). Wyposażenie studenta w wiedzę na temat zagrożeń wynikających z zastosowania nowych technologii oraz umiejętność ich diagnozowania i unikania ich negatywnych skutków. Program Formy i przejawy szeroko rozumianych nadużyć i manipulacji na rynku finansowym w Polsce Stosowanie niedozwolonych klauzul umownych w konsumenckich umowach o usługi finansowe jako zakazana praktyka konsumencka Praktyki naruszające zbiorowe interesy konsumentów na rynku usług finansowych Nieuczciwe praktyki rynkowe na rynku usług finansowych. Manipulowanie informacją o odpłatności za usługi finansowe Czyny nieucziwej konkurencji na rynku finansowym Nadużycia w relacjach umownych instytucji finansowych z konsumentami (problem niebezpiecznych1 courses
Hybrydowych1 courses
strukturyzowanych produktów finansowych zagrożonych dużym ryzkiem1 courses
Polisolokaty1 courses
“kredyty frankowe”1 courses
rabatowanie kosztów kredytu dla konsumentów) Misselling na rynku usług finansowych Nadużycia związane w przeprowadzaniem transakcji płatniczych (omyłkowy przelew na złe konto- procedura zwrotu pieniędzy1 courses
ataki phishingowe na klientów banku1 courses
Wykonanie Transakcji Nieautoryzowanej1 courses
nienależyte wykonanie transakcji Nowe technologie na rynku finansowym i problem cyberbezpieczeństwa. Kradzież tożsamości i i inne fraudy. Zjawisko prania brudnych pieniędzy i mechanizmy jego przeciwdziałanie Nadużycia na rynku kapitałowym1 courses
naduzycia na rynku obligacji Prowadzenie działalności na rynku finansowym bez zezwolenia lub wpisu do rejestru. Piramidy finansowe Przestępstwa na rynku finansowym w ujęciu ogólnym wynikające z przepisów karnych ustaw sektorowych Przeciwdziałanie nadużyciom na rynku finansowym i mechanizmy usuwania ich skutków (mechanizmy karne1 courses
Cywilnoprawne1 courses
administracyjnoprawne). Mechanizmy rozpatrywania reklamacji i sporów Ochrona konsumentów przed nadużyciami na rynku finansowym i rola organów ochrony. Wymagania brak Literatura: <h4>Literatura Podstawowa: Raport Doradczego Komitetu Naukowego przy Rzeczniku Finansowym: NIEPRAWIDŁOWOŚCI NA RYNKU FINANSOWYM A OCHRONA KONSUMENTA1 courses
Warszawa1 courses
wrzesień 2019 r.1 courses
Doradczy Komitet Naukowy Rzecznika Finansowego1 courses
rf.gov.pl1 courses
DKN_Raport_nieprawidlowosci_wrzesien2019.pdf. 2019 Manipulacje i oszustwa na rynku finansowym. Perspektywa konsumenta. Wykrywanie1 courses
przeciwdziałanie1 courses
Zapobieganie1 courses
Monkiewicz J.1 courses
Jurkowska-Zeidler A.1 courses
Rutkowska- Tomaszewska E.1 courses
Wiktorow A.1 courses
Wydawnictwo Naukowe PWN . Warszawa 2020 Rynek finansowy. Zapobieganie przyczynom przestępczości1 courses
Blicharz G.1 courses
Oręziak B.1 courses
Wielec M.1 courses
WYDAWNICTWO INSTYTUTU WYMIARU SPRAWIEDLIWOŚCI. Warszawa 2021 <h4>Literatura Uzupełniająca: 1 Wybrane przestępstwa na rynku finansowym1 courses
Jaroszewicz P.1 courses
Wojciechowska-Mytych K.1 courses
Komisja Nadzoru Finansowego. Warszawa 2015 2 Manipulacja instrumentami finansowymi i insider trading. Analiza prawo-ekonomiczna1 courses
Martysz Cz.1 courses
Wolters Kluwer Polska . Warszawa 2015 3 Obowiązki banków wObec klientów przewidziane w ustawie o obrocie instrumentami finansowymi1 courses
Majewski K.1 courses
KNF. Warszawa 2019 4 OTWARTA BANKOWOŚĆ W ŚWIETLE WYMOGÓW DYREKTYWY PSD2 – wyzwania i perspektywy rozwoju dla polskiego sektora FinTech1 courses
Leżoń K.1 courses
KNF . Warszawa 2019 5 POŚREDNICY KREDYTOWI W ZAKRESIE KREDYTU KONSUMENCKIEGO ORAZ INSTYTUCJE POŻYCZKOWE – FORMALNE I PRAKTYCZNE ASPEKTY REJESTRACJI .Poradnik dla przedsiębiorcy i konsumenta1 courses
Brand. A.1 courses
Przybysz M.1 courses
Sakowska A.1 courses
Świderska J.1 courses
KNF . Warszawa 2020 6 Whistleblowing w bankach1 courses
Cichy Ł.1 courses
KNF . Warszawa 2017 7 Bezpieczeństwo konsumentów : na rynkach usług finansowych i społecznych1 courses
Kasprzak R.1 courses
Lubowiecki-Vikuk A.1 courses
Oficyna Wydawnicza SGH. Warszawa 2020 8 Manipulacja i wykorzystanie przewagi informacyjnej na rynku finansowym1 courses
Więckowska M.1 courses
Borowski K.1 courses
Oficyna Wydawnicza SGH - Szkoła Główna Handlowa. Warszawa 2020 9 Misselling usług finansowych : problemy i uwarunkowania prawno-ekonomiczne1 courses
Nizioł K.1 courses
Wydawnictwo Naukowe Uniwersytetu Szczecińskiego. Szczecin 2019 10 Piramidy finansowe : teoria1 courses
Regulacje1 courses
Praktyka1 courses
Masiukiewicz M.1 courses
Wydawnictwo Naukowe PWN SA.. Warszawa 20151 courses
francuski Tryb prowadzenia: Lektura monograficzna1 courses
polski Pełny opis: Wykształcenie umiejętności ścisłego formułowania myśli i poprawnego rozumowania. Zaznajomienie studentów z podstawowymi pojęciami i metodami logiki i teorii mnogości1 courses
przydatnymi w pracy informatyka. Program Zasada indukcji. Składnia i semantyka rachunku zdań i rachunku predykatów. Pojęcie spełniania i prawdziwości formuł. Niesprzeczność zbioru formuł. Podstawowe pojęcia teoriomnogościowe i operacje na zbiorach: suma1 courses
Iloczyn1 courses
iloczyn kartezjański1 courses
zbiór potęgowy1 courses
Relacje1 courses
relacje równoważności1 courses
Klasy Abstrakcji1 courses
zbiór ilorazowy. Moce zbiorów. Zbiory skończone i nieskończone. Zbiory przeliczalne i zbiory mocy continuum. Twierdzenia Cantora i Cantora-Bernsteina. Porządki częściowe i liniowe. Dobre porządki. Indukcja noetherowska. Unifikacja termów. Informacja o metodzie rezolucji. Dowodzenie twierdzeń. Informacja o systemie naturalnej dedukcji. Wymagania -- Literatura: Wojciech Guzicki1 courses
Piotr Zakrzewski1 courses
Wykłady ze wstępu do matematyki. Wprowadzenie do teorii mnogości1 courses
Warszawa 2005. Wojciech Guzicki1 courses
Wstęp do matematyki. Zbiór zadań1 courses
Warszawa 2005. Kazimierz Kuratowski1 courses
Wstęp do teorii mnogości i topologii1 courses
Warszawa 2004. Wiktor Marek1 courses
Janusz Onyszkiewicz1 courses
Elementy logiki i teorii mnogości w zadaniach1 courses
Warszawa 2005. Helena Rasiowa1 courses
Wstęp do matematyki współczesnej1 courses
Warszawa 2007. Jerzy Tiuryn1 courses
Wstęp do teorii mnogości i logiki1 courses
Skrypt Uniw. Warszawskiego1 courses
1994.1 courses
polski Pełny opis: Cel przedmiotu jest trojaki. Po pierwsze jest to kurs1 courses
wstępu do matematyki''. Oznacza to1 courses
że przedmiot ma przygotować słuchaczy1 courses
pod względem wiedzy i umiejętności1 courses
do kontynuowania studiów na kierunku ISIM1 courses
w szczególności do1 courses
następującego w kolejnych dwóch semestrach1 courses
Przedmiotu1 courses
Algebra''. Po drugie jest to kurs logiki . To znaczy ma uświadomić słuchaczom relację między językiem a semantyką. Po trzecie przedmiot ma na celu przygotować słuchaczy do czytania tekstu matematycznego w tym sensie1 courses
że mają oni się nauczyć1 courses
że staranne przeczytanie tekstu1 courses
i nawet zrozumienie każdego zdania z osobna1 courses
nie jest dostatecznym warunkiem rozumienia konstrukcji matematycznej. Program Wszystkie treści przedmiotu1 courses
Logika dla Informatyków"1 courses
a ponadto: Z zakresu1 courses
wstępu do matematyki'': pojęcia izomorfizmu i homomorfizmu1 courses
z licznymi przyładami1 courses
Konstrukcja Ilorazowa1 courses
z licznymi przykładami (w tym konstrukcja liczb całkowitych1 courses
wymiernych i rzeczywistych). Liczby porządkowe i arytmetyka porządkowa1 courses
wraz z normalnie omawianymi w tym kontekście twierdzeniami (lemat Zorna1 courses
twierdzenie o dobrym uporządkowaniu). Przykłady dowodów terminacji procesów używające argumentów odwołujących się do liczb porządkowych. Z zakresu1 courses
logiki dla informatyków'': logika I rzędu1 courses
logika z operatorem punktu stałego1 courses
uwaga o logice drugiego rzędu. Pojęcie semantyki. Pojęcie dowodu. Pojęcie poprawności i zupełności systemu dowodowego. Uwagi o systemach aksjomatycznych. Przykłady: arytmetyka Peano1 courses
teoria mnogości. Uwaga o niezupełności. Moc wyrażania logik. Gry Ehrenfeuchta–Fraïsségo. W ramach ćwiczeń uczestnicy zajęć przeczytają fragment zaawansowanego tekstu matematycznego w języku angielskim . Wymagania Przedmiot adresowany jest głównie do studentów I roku kierunku ISIM. O takich studentach zakłada się1 courses
że mają kulturę matematyczną wykraczającą ponad wymagania typowej szkoły średniej. Literatura: [coś trzeba tu wpisać]1 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra 1 R 28-MT-S-oAl1-R Wstęp do matematyki R 28-MT-S-oWDMR1 courses
angielski Pełny opis: Presentation of fundamentals of machine learning. Presentation of main machine learning techniques: naive Bayes classification1 courses
Decision Trees1 courses
and linear regression. Demonstration of practical application of machine learning to real-world problems. Program Fundamentals of statistical reasoning. Naive Bayes classifier. Logistic regression. Decision trees. Basics of neural networks. Bias-variance tradeoff1 courses
model regularization and ensembling. Boost classifiers1 courses
gradient boosting. PAC learning theory. Matrix factorization1 courses
recommender systems. Wymagania <h2>Completed courses: "Wstęp do informatyki" lub "Algorytmy i struktury danych" Soft requirement of "Sztuczna Inteligencja" and "Rachunek Prawdopodobieństwa i Statystyka" <h2>Required Competences: Python programming1 courses
good to know numpy and scipy numerical libraries Literatura: Kevin Murphy1 courses
Machine Learning: A Probabilistic Perspective Christopher Bishop1 courses
Pattern Analysis and Machine Learning Supplementary reading: - Trevor Hastie1 courses
Robert Tibshirani1 courses
Jerome Friedman: The Elements of Statistical Learning - Leo Breiman: Classification and Regression Trees - online materials for Stanford course CS229 .1 courses
polski Pełny opis: Celem przedmiotu jest przedstawienie elementów matematyki1 courses
które są szczególnie użyteczne dla informatyków i nie są częścią standardowego wykładu algebry1 courses
analizy czy rachunku prawdopodobieństwa. W szczególności są to przydatne informatykowi elementy teorii liczb1 courses
kombinatoryki i teorii grafów. Wiedza w tym zakresie jest przydatna w konstruowaniu i analizie algorytmów1 courses
w tym weryfikacji poprawności i szacowaniu złożoności obliczeniowej. Program A. Elementy Algebry i Teorii Liczb Funkcje całkowitoliczbowe1 courses
Arytmetyka Modularna1 courses
operacje sufit i podłoga zaokrąglania liczb rzeczywistych1 courses
algorytm mergesort. Asymptotyka funkcji liczbowych z uwzględnieniem zastosowań w szacowaniu złożoności czasowej algorytmów. Podzielność liczb1 courses
algorytm Euklidesa. Liczby Fibonacciego. Liczby pierwsze i względnie pierwsze. Rozkład na czynniki. Funkcja Eulera. Chińskie twierdzenie o resztach. Twierdzenie Eulera B. Kombinatoryka Rozmieszczenia1 courses
Permutacje1 courses
Kombinacje1 courses
podziały (zbioru1 courses
liczby)1 courses
Lemat Burnside'a. Metody generowania prostych obiektów kombinatorycznych. Przykłady prostych problemów definiowanych rekurencyjnie. Rozwiązywanie równań rekurencyjnych1 courses
funkcje tworzące. Liczby Catalana. Zasada włączania i wyłączania. C. Teoria grafów Definicja i przykłady grafów1 courses
grafy pełne1 courses
Dwudzielne Skierowane1 courses
stopień wierzchołka. Drogi i cykle w grafach: grafy spójne i dwudzielne. Drzewa - równoważność różnych definicji. Komputerowa reprezentacja grafów. Metody BFS i DFS przeszukiwania grafów. Minimalne drzewa rozpinające - algorytmy Kruskala i Prima-Dijkstry. Przechodnie domkniecie: algorytmy Dijkstry i Warshalla. Złożoność problemu. Cykle i drogi Eulera. Cykle i drogi Hamiltona tw. Ore i wielomianowa redukcja problemu drogi do cyklu i odwrotnie. Grafy planarne. Tw. Kuratowskiego i wzór Eulera. Przepływy w sieciach. Kolorowanie grafów. Algorytm sekwencyjny1 courses
twierdzenie o 5-kolorowaniu grafów planarnych. i twierdzenie Brooksa Skojarzenia. Kolorowanie krawędzi. Twierdzenia Koniga i Vizinga. Wymagania Ogólna kultura matematyczna lub - Logika dla informatyków - Analiza - Algebra Literatura: Charles R.B. Wright1 courses
Kenneth A. Ross: Matematyka dyskretna Ronald L. Graham1 courses
Donald E. Knuth1 courses
Oren Patashnik: Matematyka Konkretna Witold Lipski: Kombinatoryka dla programistów Victor Bryant: Aspekty kombinatoryki Robin J. Wilson: Wprowadzenie do teorii grafów1 courses
polski Rodzaj przedmiotu : wykład Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 2 28-MT-S-oAnMat21 courses
angielski Rodzaj przedmiotu : wykład Założenia: Miara i całka 28-MT-S-tMiarCalk1 courses
polski Rodzaj przedmiotu : wykład Założenia: Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd1 Wstęp do matematyki ubezpieczeniowej 28-MT-S-tWMatUbezp1 courses
angielski Założenia: Algebra liniowa 1 28-MT-S-oAlLin1 Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd11 courses
angielski Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 3 28-MT-S-oAnMat3 Wstęp do matematyki 28-MT-S-oWDM1 courses
polski Założenia: Algebra liniowa 1 28-MT-S-oAlLin1 Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd11 courses
polski Rodzaj przedmiotu : wykład Założenia: Metody numeryczne 1 28-MT-S-wMetNumer1 Równania różniczkowe 1 28-MT-S-oRR11 courses
polski Pełny opis: Celem przedmiotu są między innymi: * nauczenie studentów zarówno podstawowych1 courses
jak i bardziej zaawansowanych algorytmów1 courses
* przećwiczenie efektywnej implementacji algorytmów1 courses
* poznanie struktur danych przydatnych w pisaniu programów1 courses
* nauczenie prezentacji własnych rozwiązań1 courses
* zdobycie umiejętności analizowania problemów algorytmicznych1 courses
* zdobycie umiejętności wykorzystania znanych algorytmów przy rozwiązywaniu różnorodnych problemów1 courses
* przygotowanie do startu w zawodach algorytmicznych1 courses
tj. AMPPZ1 courses
CERC itd. Program Rozwiązywanie problemów z zakresu algorytmów: * zachłannych1 courses
* wymagających złożonej implementacji1 courses
* wyszukiwania binarnego1 courses
* dynamicznych1 courses
* struktury zbiorów rozłącznych1 courses
* struktury drzew przedziałowych1 courses
* kombinatorycznych1 courses
* teorii liczb1 courses
* gier1 courses
* grafowych1 courses
* skojarzeń1 courses
* maksymalnego przepływu1 courses
* tekstowych1 courses
* geometrycznych. Wymagania <h2>Zalecana znajomość przedmiotów Wstęp do informatyki Algorytmy i struktury danych <h2>Niezbędne kompetencje Znajomość podstawowych algorytmów Znajomość dowolnego wysokopoziomowego języka programowania Literatura: Cormen Thomas H.1 courses
Clifford Stein1 courses
Wprowadzenie do algorytmów blog na stronie https:1 courses
codeforces.com1 courses
cp-algorithms.com1 courses
solve.edu.pl1 courses
~sparingi1 courses
Resources1 courses
polski Pełny opis: Celem przedmiotu jest przygotowanie studentów do używania języków programowania jako formalnych narzędzi komunikacji między ludźmi1 courses
w szczególności jako technik1 courses
które mogą i powinny być stosowane do zapanowania nad złożonością intelektualną dużych systemów. W tym celu zajmiemy się zarówno konkretnymi narzędziami1 courses
których projektanci języków programowania dostarczają programistom1 courses
jak i ogólnymi zasadami konstrukcji języków programowania. Program Abstrakcja funkcyjna Rekursja i iteracja Drzewiaste struktury danych Abstrakcja danych i modularność Rola systemów typów w programowaniu Struktura programów i indukcja Składnia konkretna i abstrakcyjna Gramatyki bezkontekstowe i parsowanie Interpretacja i kompilacja Środowiskowy model obliczeń Interpeter metacykliczny Niedeterminizm i programowanie z nawrotami Programowanie imperatywne Interpretacja funkcji rekurencyjnych Sprawdzanie i inferencja typów Kompilator i maszyna wirtualna Wymagania <h3>Zrealizowane przedmioty Logika dla informatyków Wstęp do informatyki <h3>Wymagane kompetencje Podstawowa umiejętność wnioskowania logicznego Wskazana bierna znajomość języka angielskiego Literatura: H. Abelson1 courses
G.J. Sussman1 courses
J. Sussman1 courses
Struktura i interpretacja programów komputerowych1 courses
Warszawa 20021 courses
mitpress.mit.edu1 courses
Sicp1 courses
D.P. Friedman1 courses
M. Felleisen1 courses
The Little Schemer1 courses
19951 courses
Books1 courses
little-schemer M. Felleisen1 courses
R. Findler1 courses
M. Flatt1 courses
S. Krishnamurthi1 courses
How To Design Programs1 courses
20181 courses
www.htdp.org1 courses
F. Bice1 courses
R. DeMaio1 courses
S. Florence1 courses
M. Lin1 courses
S. Lindeman1 courses
N. Nussbaum1 courses
E. Peterson1 courses
R. Plessner1 courses
D. Van Horn1 courses
C. Barski1 courses
Realm Of Racket1 courses
No Starch Press1 courses
realmofracket.com1 courses
polski Rodzaj przedmiotu : ćwiczenie Wymagania: Psychologia dla nauczycieli 28-MT-S-uxPsychDNau Założenia: Dydaktyka 28-MT-S-uDyd Praktyka obserwacyjna - dydaktyka 28-MT-S-uObDyd1 courses
polski Rodzaj przedmiotu : ćwiczenie Wymagania: Metodyka nauczania matematyki 1 28-MT-S-uMetNauM1 Założenia: Praktyka obserwacyjna - nauczanie matematyki 1 28-MT-S-uObNaMat11 courses
polski Rodzaj przedmiotu : wykład Założenia: Miara i całka 28-MT-S-tMiarCalk1 courses
polski Pełny opis: Celem tego kursu jest nauczenie i rozwinięcie podstawowych umiejętności programowania w jednym z najbardziej rozpowszechnionych języków imperatywnych1 courses
tzn. w języku C. Kurs jest przeznaczony dla studentów1 courses
którzy posiadają już umiejętność programowania w języku wysokiego poziomu. Zajęcia w pracowniach uczą praktyki dobrego programowania. Program Podstawowe konstrukcje języka: instrukcje i deklaracje. Standardowe typy danych1 courses
wyrażenia. Standardowe wejście1 courses
wyjście1 courses
filtry. Funkcje1 courses
moduły i struktura programu. Metody agregacji danych: tablice1 courses
struktury i unie. Wskaźniki. Wymagania Kurs: Wstęp do programowania w języku Python Literatura: Kernighan B.W.1 courses
Ritchie D.M.: Język ANSI C. Seria "Klasyka Informatyki". Warszawa1 courses
Wydawnictwa Naukowo-Techniczne 2003. Podręcznik podstawowy. King K.N.: Język C1 courses
Nowoczesne Programowanie1 courses
Helion 2011 . Banahan M.1 courses
Brady D.1 courses
Doran M.1 courses
The C Book1 courses
publications.gbdirect.co.uk1 courses
c_book1 courses
. Schildt B.1 courses
C: The Complete Reference: covers C++ and ANSI C1 courses
Osborne McGraw-Hill1 courses
Iso1 courses
IEC 2011 - Programming languages - C1 courses
www.open-std.org1 courses
JTC11 courses
SC221 courses
wg141 courses
Www1 courses
n1570.pdf .1 courses
polski Rodzaj przedmiotu : seminarium przeglądowe1 courses
polski Rodzaj przedmiotu : wykład Założenia: Analiza matematyczna 2 28-MT-S-oAnMat21 courses
polski Rodzaj przedmiotu : wykład Założenia: Podstawy statystyki praktycznej 28-MT-S-LPodStatPr Rachunek prawdopodobieństwa 1 28-MT-S-oRPrawd11 courses
polski Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 3 28-MT-S-oAnMat3 Podstawy statystyki praktycznej 28-MT-S-LPodStatPr1 courses
polski Rodzaj przedmiotu : wykład Założenia: Teoria statystyki 28-MT-S-wTStat Wnioskowanie statystyczne 28-MT-S-tWnStat1 courses
angielski Pełny opis: Presentation of state-of-the-art deep learning techniques and their areas of applicability (convolutional networks for images1 courses
Recurrent Networks For Sequential Data Modeling1 courses
attention-based networks for translation and language processing). Demonstration of advanced topics on generative networks and deep reinforcement learning. Guiding the students through solving a problem of their choosing using neural networks. Program A recap on neural network operation and implementation in PyTorch and optionally Tensorflow. Practical aspects of neural network application: regularization1 courses
detection and segmentation of images. Style transfer and saliency map creation. Language processing networks: word embeddings1 courses
Recurrent Networks1 courses
attention mechanism. Applications to language modeling and translation. Speech processing using neural networks: speech recognition1 courses
Ctc Loss Function1 courses
speech synthesis. Generative networks: adversarial networks and variational autoencoders. Basics of deep reinforcement learning1 courses
Deep Q Networks1 courses
policy gradients using reinforce. Wymagania <h2>Realized courses: Machine Learning or Sztuczna Inteligencja Soft requirement on "Rachunek Prawdopodobieństwa i Statystyka" <h2>Required Competencies: Knowledge of Python1 courses
Optionally Knowledge Of Matlab1 courses
R1 courses
or Julia. Basics of probability and statistics (random variables1 courses
2016. Deep learning. MIT Press. Murphy1 courses
K.P.1 courses
2012. Machine learning: a probabilistic perspective. MIT press. Bishop1 courses
C.M.1 courses
2006. Pattern Recognition and Machine Learning. Pattern Recognition and Machine Learning. Springer.1 courses
angielski Pełny opis: Presentation of state-of-the-art deep learning techniques and their areas of applicability with the strong emphassis on natural language processing. Program A recap on neural network operation and implementation in PyTorch. Practical aspects of neural network application: regularization1 courses
detection and segmentation of images. Neural Networks for language modelling: feed forward networks1 courses
Convolutional Models1 courses
Recurent Neural Networks (incl. LSTM1 courses
Gru1 courses
and QRNN)1 courses
Transformers Sequence tagging (Part-of-Speech tagging1 courses
and Named Entity Recognition) using Conditional Random Fields Encoder-decoder Models for sequences BERT and its variants and different pretraining strategies Neural parsing and unsupervised parsing as a way of discovering the structure of language Wymagania <h2>Realized courses: Machine Learning or Sztuczna Inteligencja Soft requirement on „Rachunek Prawdopodobieństwa i Statystyka” <h2>Required Competencies: Knowledge of Python Basics of probability and statistics (random variables1 courses
2016. Deep learning. MIT Press. Dan Jurafsky and James H. Martin1 courses
Speech And Language Processing1 courses
angielski Pełny opis: <h1>Goals: introduce students to the fundamentals of neural networks1 courses
including their theoretical foundations and practical applications. provide hands-on experience with implementing neural networks using the <code>numpy and <code>PyTorch libraries1 courses
as well as the <code>Lightning framework. cover a variety of neural network architectures1 courses
Including Perceptron1 courses
Multilayer Perceptron1 courses
Convolutional Neural Networks1 courses
Recurrent Neural Networks1 courses
and some generative models. emphasize the importance of good engineering practices1 courses
Such As Testing1 courses
Debugging1 courses
and optimization. introduce students to a range of neural network applications1 courses
Including Image And Video Processing1 courses
Natural Language Processing1 courses
and generative art. encourage students to think critically about the strengths and limitations of neural networks1 courses
and to explore potential ethical considerations related to their use. provide students with opportunities to work on assignments1 courses
Homework1 courses
And A Final Project In Groups1 courses
helping them develop teamwork and collaboration skills while applying their knowledge to real-world problems. Program <h1>Program Content Introduction to Neural Networks Overview of machine learning and neural networks Linear algebra calculus standing behind rtificial neural networks1 courses
i.e. multivariate real functions. Perceptron and multilayer perceptron architectures. Convolutional Neural Networks Motivation for CNNs Basics of convolutional operations and pooling Common CNN architectures (e.g.1 courses
Lenet1 courses
Alexnet1 courses
Vgg1 courses
ResNet) Application of CNNs to image and video processing Recurrent Neural Networks Motivation for RNNs Basics of recurrent operations and backpropagation through time Training Neural Networks Cost functions and backpropagation Initialization and regularization techniques Numerical optimization with stochastic gradient descent Hyperparameter tuning and cross-validation Advanced Neural Network Topics Transfer learning and fine-tuning Object detection and image segmentation tasks Generative models Some model interpretability techniques Best Engineering Practices Data preprocessing and augmentation Batch normalization and other optimization techniques Machine Learning Operations and some good practices for ML workflows with Github + ML tracking frameworks Wymagania <h2>Completed Courses: Introduction to Computer Science Linear Algebra Fundamentals of Programming in Python <h2>Prerequisites: Students should have basic programming skills in Python Understanding of basic concepts in discrete mathematics1 courses
Including Combinatorics1 courses
Graph Theory1 courses
And Mathematical Logic Familiarity With Fundamental Concepts In Linear Algebra And Analytical Geometry1 courses
including operations on matrices and linear equations. Literatura: <h2>Literature The course will be based on the following textbook: Goodfellow1 courses
Y.1 courses
& Courville1 courses
A. . Deep Learning. MIT Press. In addition1 courses
the following resources may be useful for further reading: Bishop1 courses
C. M. . Pattern recognition and machine learning. Springer. Zhang1 courses
Lipton1 courses
Z. C.1 courses
Li1 courses
& Smola1 courses
A. J. . Dive into Deep Learning. https:1 courses
Neural Networks And Deep Learning By Michael Nielsen Deep Learning With Pytorch By Eli Stevens1 courses
Luca Antiga1 courses
Thomas Viehmann We Will Also Provide Additional Materials1 courses
Including Research Papers And Tutorials1 courses
as needed throughout the course.1 courses
polski Rodzaj przedmiotu : wykład Założenia: Równania różniczkowe 1 28-MT-S-oRR11 courses
polski Rodzaj przedmiotu : wykład Założenia: Równania różniczkowe 2 R 28-MT-S-TRR2R1 courses
polski Pełny opis: The course presents theoretical foundation for machine learning methods. The goal of the lecture is to present the theory1 courses
Which Explains Why Fundamental Machine Learning Algorithms Work1 courses
And Hardness Results1 courses
which explain why efficient learning in certain scenarios is impossible. Program Introduction to PAC. Learnability of particular classes of concepts (DNF formulas1 courses
automata). VC-dimension. Rademacher complexity. Weak and strong learning. Boosting. Occam's razor in the PAC context. Hardness results in learning theory. PAC-reducibility. Automata learning. Wymagania <h2>Prerequisite courses: Logic for Computer Science Introduction to Computer Science or Algorithms and Data Structures Calculus Formal languages and computational complexity Discrete Mathematics or Probability theory <h2>Prerequisite skills: Mathematical fluency necessary to follow proofs and solve assignments Literatura: Mehryar Mohri1 courses
Foundations Of Machine Learning1 courses
2018. Michael Kearns and Umesh Vazirani. An Introduction to Computational Learning Theory1 courses
polski Pełny opis: Opis zjawisk gospodarczych w kontekście procesów globalizacyjnych i zagrożenia kryzysem ekonomicznym w skali świata. Przedstawienie innego1 courses
nieortodoksyjnego spojrzenia na ekonomię i zjawiska gospodarcze. Program Ekonomia: nauka ścisła1 courses
społeczna1 courses
czy historyczna? Dyskryminacja kobiet na rynku pracy: czy faktycznie występuje? Sztuczna inteligencja a przyszłość gospodarki: co uda się zastąpić1 courses
a czego nie? Hiperinflacja i katastrofy monetarne: dlaczego nieraz taniej było palić banknotami w piecu. Inflacja i deflacja: dlaczego mimo szczelnego zaryglowania portfela ktoś ciągle wyciąga mi z niego pieniądze? Wielkie Kryzys: czyli jak ekonomia wyjaśni dyktatury i drugą wojnę światową? Pandemia i ekonomiczne skutki: niepozorne konsekwencje siedzenia w domu Prohibicja narkotykowa i jej efekty: czy tę wojnę da się wygrać? Reklama - marnotrawstwo czy nieunikniony aspekt konkurencji? Ekonomia Thanosa - czy śmierć połowy ludzi może cokolwiek poprawić? Niewolnictwo i agresywny imperializm: czy to naprawdę taki świetny interes wsadzić innych do klatek? Rewolucja przemysłowa1 courses
dlaczego jesteśmy tak bogaci? Sektor publiczny - czyli co robi państwo i skąd się biorą uzasadnienia tego1 courses
co ma robić państwo? Wolny handel - czy zboże z Ukrainy nas zniszczy? Patenty1 courses
prawa autorskie i własność intelektualna - czy można posiadać idee? Kryzys w strefie euro. Czy niemieckie oszczędności zniszczyły Grecję? Jak mogłaby funkcjonować gospodarka oparta na kryptowalutach? Spory o nieruchomości. Czy ekolodzy powinni popierać gęsta zabudowę i dlaczego mieszkania są drogie? Migracje1 courses
czyli jak podwoić dochód światowy w kilka lat. Literatura: Robert P. Murphy: Niepoprawny politycznie przewodnik po kapitalizmie John Tamny: Ekonomia zdrowego rozsądku1 courses
angielski Pełny opis: The aim of this course is to present a detailed survey of optimization methods from both a computational and theoretical perspective. These methods have applications in data sciences1 courses
Such As Machine Learning1 courses
Model Fitting1 courses
and image processing. Program Introduction to optimization Linear programming Convex sets and functions Unconstrained optimization1 courses
quadratic optimization Conjugate direction methods Quasi-Newton methods Acceleration1 courses
Momentum And Nesterov Acceleration Constrained Optimization1 courses
canonical forms and duality Barrier methods Proximal methods Alternating direction method of multipliers Subgradient methods Stochastic methods Wymagania <h2>Prerequisites: Linear algebra Multivariate calculus <h2>Competences: Programming skills1 courses
Python or Julia is recommended Literatura: David G. Luenberger1 courses
Yinyu Ye1 courses
Linear And Nonlinear Programming1 courses
Springer 2008. Stephen Boyd1 courses
Lieven Vandenberghe1 courses
Convex Optimization1 courses
Cambridge University Press 2004. Yurii Nesterov1 courses
Introductory Lectures On Convex Optimization1 courses
Springer 2004. Jorge Nocedal1 courses
Stephen J. Wright1 courses
Numerical Optimization1 courses
Springer 1999.1 courses
polski Pełny opis: Celem przedmiotu jest przedstawienie procesu optymalizacji sieci neuronowych pod urządzenia o ograniczonych zasobach obliczeniowych i pamięciowych1 courses
jak urządzenia wbudowane. Program Algorytmy optymalizujące sieci neuronowe pod względem pamięciowym i obliczeniowym1 courses
Jak Kwantyzacja1 courses
Pruning1 courses
klasteryzacja wag czy destylacja wiedzy. Narzędzia do optymalizacji sieci neuronowych i procesu ich wykonywania pod konkretne urządzenia wbudowane - biblioteki oraz kompilatory . Popularne niskopoziomowe techniki optymalizacji najpopularniejszych operacji w sieciach neuronowych. Urządzenia wbudowane z dedykowanymi akceleratorami sieci neuronowych i procesem ich obliczeń. Przykłady głębokich sieci neuronowych projektowanych pod kątem urządzeń wbudowanych. Wymagania <h3>Zrealizowane przedmioty: zaliczenie przedmiotu Machine Learning (pierwszych zajęciach przewidziany jest wykład wyrównawczy dla osób1 courses
które nie uczęszczały na ML). <h3>Niezbędne kompetencje: znajomość systemu Linux znajomość języka Python znajomość języka C++ Literatura: <h3>Literatura dostępna online Aston Zhang1 courses
Zachary C. Lipton1 courses
Mu Li1 courses
Alexander J. Smola. Dive into Deep Learning1 courses
Ian Goodfellow1 courses
Aaron Courville. Deep Learning Book https:1 courses
www.deeplearningbook.org1 courses
<h3>Literatura Aurelien Geron1 courses
Hands-On Machine Learning with Scikit-Learn1 courses
Keras and TensorFlow: Concepts1 courses
Tools1 courses
And Techniques To Build Intelligent Systems Aurelien Geron1 courses
Uczenie maszynowe z użyciem Scikit-Learn i TensorFlow: Pojęcia1 courses
techniki i narzędzia służące do tworzenia inteligentnych systemów <h3>Dokumentacje TensorFlow documentation1 courses
www.tensorflow.org1 courses
api_docs1 courses
Python1 courses
Tf Pytorch Documentation1 courses
pytorch.org1 courses
Stable1 courses
index.html1 courses
polski Pełny opis: Celem wykładu jest przystępne przedstawienie pewnych algorytmów symbolicznych stosowanych w takich systemach algebry komputerowej jak Maple czy Mathematica. Swoją uwagę skupimy głównie na metodach związanych z tzw. sumowaniem symbolicznym i symbolicznym dowodzeniem tożsamości. Przekazana wiedza może być szczególnie przydatna osobom interesującym się m.in. algorytmiką1 courses
matematyką dyskretną czy kombinatoryką. Wszystko zacznie się od krótkiego kursu Maple'a1 courses
który będzie podstawowym narzędziem tego wykładu. Program 1. Krótki kurs Maple'a. 2. Funkcja Gamma i jej własności. 3. Podstawowe wiadomości o związkach rekurencyjnych. 4. Tożsamości hipergeometryczne. 5. Metoda Siostry Celine. 6. Algorytm Gospera. 7. Algorytm Zeilbergera. 8. Metoda WZ. 9. Algorytm Petkovšeka. 10. Pewne uogólnienia omówionych metod. Wymagania 1. Analiza matematyczna. 2. Algebra 3. Umiejętność programowania w dowolnym języku. Literatura: 1. W. Koepf1 courses
Hypergeometric summation. An algorithmic approach to summation and special function identities1 courses
Vieweg Verlag1 courses
1998. 2. M. Petkovšek1 courses
H. S. Wilf1 courses
D. Zeilberger1 courses
A=B1 courses
A. K. Peters1 courses
Wellesley1 courses
1996 (książka dostępna pod adresem https:1 courses
www.math.upenn.edu1 courses
~wilf1 courses
AeqB.html ).1 courses
angielski Pełny opis: The aim of the course is to teach students the methods which are used nowadays in photorealistic image synthesis. The implementation and tuning of ray tracer acceleration structures should improve low level programming skills and also give deeper understanding of limitations. Learning solid physical foundations of light transport and Monte Carlo methods should enable proper simulation of light1 courses
which is more and more used even in computer games instead of simpile empirical approximations. So the goals are to have both good knowledge on theory of photorealistic rendering methods and as well the skills to implement them efficiently. Program Ray Tracing methods Acceleration structures Physical foundations of light transport Foundations of Monte Carlo methods Monte Carlo rendering methods: path tracing1 courses
Photon Maps1 courses
Bidirectional Patr Tracing1 courses
Metropolis method Radiosity method High Dynamic Range Imaging and Tone Mapping Wymagania Realized courses: * Computer Graphics * Calculus * Probability Required competences: * knowledge of Computer Graphics and Probability * good programming skills: C1 courses
C++ Literatura: M.Pharr1 courses
G.Humphreys - Physically Based Rendering1 courses
Morgan Kaufmann 2004 (2nd and 3rd edition1 courses
Source Code1 courses
PBRT.ORG) P.Dutre1 courses
P.Bekaert1 courses
K.Bala - Advanced Global Illumination1 courses
A.K. Peters 2003 *P.Shirley - Realistic Ray Tracing1 courses
A.K. Peters 20001 courses
polski Pełny opis: Celem przedmiotu jest zaznajomienie studentów z pojęciami stanowiącymi fundamenty złożoności obliczeniowej1 courses
Takimi Jak Automaty1 courses
maszyny Turinga czy redukcja. Ponadto przedmiot ma zapoznać studentów z istniejącymi narzędziami i technikami do rozwiązywania trudnych problemów. Program Modele obliczeń: automaty1 courses
Maszyny Turinga1 courses
teza Churcha. Praktyczne klasy złożoności obliczeniowej: Reg1 courses
Lin1 courses
Logspace1 courses
Nlogspace1 courses
P1 courses
Np1 courses
PSPACE. Techniki radzenia sobie z problemami z praktycznych klas złożoności obliczeniowej. Wybrane problemy1 courses
które nie należą do praktycznych klas złożoności obliczeniowej . Wymagania <h2>Zrealizowane przedmioty: Logika dla informatyków Literatura: Elements of Computability1 courses
Decidability1 courses
And Complexity1 courses
Alberto Pettorossi1 courses
Aracne1 courses
2016 Computational Complexity: A Modern Approach1 courses
Sanjeev Arora I Boaz Barak1 courses
20091 courses
polski Pełny opis: Celem przedmiotu jest zapoznanie studentów z podstawami i głównymi pojęciami polityki gospodarczej w otwartej gospodarce rynkowej1 courses
w celu umożliwienia im lepszego zrozumienia głównych zagadnień i problemów związanych z przebiegiem procesów gospodarczych. Program Dziedzictwo gospodarki centralnie planowanej Transformacja gospodarcza Rozwój a wzrost gospodarczy Polityka fiskalna Polityka pieniężna Rynek pracy Problem starzenia się społeczeństw Cykle koniunkturalne Kryzysy gospodarcze Inflacja Ekonomiczne uwarunkowania procesów integracyjnych Unia walutowa Wymagania brak Literatura: B. Winiarski1 courses
Warszawa 2009 T. Włudyka1 courses
Marcin Smaga1 courses
Instytucje Gospodarki Rynkowej1 courses
Warszawa 20181 courses
polski Pełny opis: Celem przedmiotu jest przedstawienie podstawowych pojęć i algorytmów grafiki komputerowej oraz nabycie przez studentów umiejętności programowania kart graficznych. Celem pracowni jest nauka praktyki programowania w nowym OpenGL. Program Programowanie kart graficznych przy pomocy API OpenGL Przekształcenia w jednorodnym układzie współrzędnych Efektywne reprezentacje rotacji w tym kwaterniony Modelowanie wirtualnej kamery i obiektów 3D Widoczność: algorytm z-bufora1 courses
śledzenie promieni i inne Modelowanie i obliczanie oświetlenia Rasteryzacja i antialiasing Światło i kolor w grafice1 courses
modele koloru Teksturowanie 2D1 courses
3D1 courses
tekstury proceduralne Wymagania Niezbędne kompetencje: * znajomość algebry liniowej1 courses
Analizy Numerycznej1 courses
podstaw algorytmów i struktur danych * umiejętność dobrego programowania w C1 courses
C++ Literatura: P. Shirley - "Fundamentals of Computer Graphics"1 courses
A.K.Peters1 courses
Natick Massachusetts 2002. J.F.Hughes1 courses
A.van Dam1 courses
M.Mcguire1 courses
D.F.Sklar1 courses
J.D.Foley1 courses
S.K.Feiner1 courses
K.Akeley - "Computer Graphics - Principles and Practice"1 courses
3rd Edition 2014.1 courses
polski Pełny opis: Opanowanie najważniejszych zagadnień związanych problematyką prowadzenia polityki gospodarczej na poziomie ponadnarodowym. Umiejętność rozumienia przyczyn i skutków koordynacji dwóch najważniejszych polityk makroekonomicznych tj. polityki fiskalnej i monetarnej. Zrozumienie złożoności funkcjonowania unii monetarnej UE. Program Celem zajęć jest zapoznanie studentów z problematyką prowadzenia polityki gospodarczej na poziomie ponadnarodowym na przykładzie Unii Europejskiej. Jednocześnie zajęcia są wprowadzeniem do analizy europejskiego systemu gospodarczego zarówno sensu largo - na poziomie Unii Europejskiej1 courses
jak i sensu stricte na poziomie strefy euro. Celem przedmiotu jest również zdobycie wiedzy i zrozumienie mechanizmów rządzących kształtowaniem głównych polityk makroekonomicznych: budżetowej i monetarnej. Studenci poznają również zasady funkcjonowania banków centralnych odpowiedzialnych za prowadzenie polityki pieniężnej1 courses
a także zrozumieją korelację pomiędzy polityką fiskalną1 courses
polityką pieniężną i walutową. Wymagania Wiedza z zakresu makro- i mikroekonomii. Literatura: <h4>Literatura podstawowa: Albiński P.1 courses
Polityki Unii Europejskiej w kontekście polskiej polityki gospodarczej1 courses
Szkoła Główna Handlowa - Oficyna Wydawnicza1 courses
Polityki Gospodarcze Unii Europejskiej1 courses
Szkoła Główna Handlowa w Warszawie - Oficyna Wydawnicza1 courses
Kaźmierczak A.1 courses
Polityka pieniężna w gospodarce otwartej1 courses
Warszawa 2008 Scheller H.K.1 courses
Europejski Bank Centralny. Historia1 courses
Rola I Funkcje1 courses
Wydawnictwo Ebc1 courses
Men 2006 Winiarski B.1 courses
Warszawa 2006 <h4>Literatura uzupełniająca: Kamerschen D.R.1 courses
McKenzie R.B.1 courses
Nardinelli C.1 courses
Ekonomia1 courses
tłumacz. NSZZ „Solidarność”1 courses
Gdańsk 1991 Milewski R.1 courses
Podstawy Ekonomii1 courses
Warszawa 20071 courses
polski Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 2 28-MT-S-oAnMat2 Kombinatoryka 28-MT-S-oKomb Wprowadzenie do R 28-MT-S-LR1 courses
polski Założenia: Metodyka nauczania matematyki 1 28-MT-S-uMetNauM1 Pedagogika dla nauczycieli 28-MT-S-uxPedDNau Praktyka obserwacyjna - nauczanie matematyki 1 28-MT-S-uObNaMat1 Psychologia dla nauczycieli 28-MT-S-uxPsychDNau1 courses
polski Założenia: Metodyka nauczania matematyki 3 28-MT-S-uMetNauM3 Pedagogika dla nauczycieli 28-MT-S-uxPedDNau Praktyka obserwacyjna - nauczanie matematyki 3 28-MT-S-uObNaMat3 Psychologia dla nauczycieli 28-MT-S-uxPsychDNau1 courses
polski Założenia: Metodyka nauczania matematyki 2 28-MT-S-uMetNauM2 Praktyka - nauczanie matematyki 1 28-MT-S-uNaMat1 Praktyka obserwacyjna - nauczanie matematyki 2 28-MT-S-uObNaMat21 courses
polski Założenia: Dydaktyka matematyki 28-MT-S-CDydMat Praktyka obserwacyjna - dydaktyka 28-MT-S-uObDyd1 courses
polski Założenia: Praktyka - nauczanie matematyki 1 28-MT-S-uNaMat11 courses
polski Rodzaj przedmiotu : praktyka1 courses
polski Pełny opis: Podstawowym celem zajęć jest ułatwienie uczestnikom przygotowań do startów w zespołowych zawodach programistycznych (Akademickie Mistrzostwa Polski w Programowaniu Zespołowym1 courses
Central European Programming Contest1 courses
ICPC World Finals). Prowadzący wybiera w każdym tygodniu pięciogodzinny konkurs o odpowiednim poziomie trudności. Następnie uczestnicy rozwiązują zadania z wybranego konkursu w tak zwanym trybie wirtualnym1 courses
czyli widząc jak ich aktualne wyniki mają się do wyników prawdziwych zawodów). Program Podczas zajęć uczestnicy rozwiązują zadania z zespołowych konkursów typu ICPC1 courses
w szczególności z wybranych regionalnych eliminacji do tych zawodów. Wymagania <h2>Zrealizowane przedmioty Metody implementacji algorytmów Literatura: Brak.1 courses
polski Pełny opis: Celem praktyki zawodowej jest wykorzystanie wiedzy zdobytej podczas zajęć objętych planem studiów z praktycznymi wymaganiami stawianymi przez pracodawcę na stanowisku pracy związanym z kierunkiem studiów. Program Poznanie metod1 courses
narzędzi wytwarzania oprogramowania albo metod i narzędzi zapewnia eksploatacji oprogramowania. Ramowy program praktyki zawodowej obejmuje następujące punkty: 1. Zapoznanie się ze strukturą organizacyjną instytucji. 2. Zapoznanie się z systemami teleinformatycznymi instytucji. 3. Udział w pracach informatyków instytucji – co najmniej 2 obszary działań z poniższej listy: - analiza i projektowanie systemów teleinformatycznych - programowanie1 courses
- testowanie systemów teleinformatycznych1 courses
- wdrażanie systemów teleinformatycznych1 courses
- administrowanie zasobami teleinformatycznymi1 courses
- zapewnienie ciągłości działania systemów teleinformatycznych - konserwacja oprogramowania1 courses
- szkolenie użytkowników. Wymagania Wymagania określa pracodawca. Literatura: Literatura zależy od zadań realizowanych podczas praktyki.1 courses
polski Pełny opis: Celem przedmiotu jest wprowadzenie studentów w tematykę związaną z poszukiwaniem i badaniem fragmentów logiki pierwszego rzędu motywowanych zastosowaniami w informatyce. Studenci zapoznają się z technikami używanymi do pokazywania rozstrzygalności1 courses
nierozstrzygalności oraz ustalania złożoności obliczeniowej problemów spełnialności i skończonej spełnialności dla takich fragmentów. Program Problemy weryfikacji modelu1 courses
spełnialności i skończonej spełnialności dla fragmentów logiki pierwszego rzędu. Własność modelu skończonego. Klasy preneksowe. Logiki modalne i deskrypcyjne. Przekład standardowy logiki modalnej na logikę pierwszego rzędu1 courses
fragment modalny. Rozstrzygalne rozszerzenia fragmentu modalnego: logika z dwiema zmiennymi1 courses
fragmenty strzeżone1 courses
fragment z unarną negacją. Rozstrzygalność w specjalnych klasach modeli: słowa i drzewa. Wzmacnianie siły wyrazu fragmentów rozstrzygalnych: relacje równoważności1 courses
Przechodnie1 courses
kwantyfikatory zliczające1 courses
stałe. Open-world query answering. Wymagania Zrealizowane przedmioty: * Logika dla informatyków Wymagana dodatkowa wiedza: * część materiału z przedmiotu "Języki formalne i złożoność obliczeniowa" (rozstrzygalność1 courses
nierozstrzygalność1 courses
klasy złożoności1 courses
redukcje) Literatura: Książka przeglądowa: * Egon Börger1 courses
Erich Grädel1 courses
Yuri Gurevich: The Classical Decision Problem. Perspectives in Mathematical Logic1 courses
Springer 1997. Oprócz tego pewna liczba artykułów naukowych1 courses
których pełna lista będzie podana w czasie wykładu. M.in.: * Erich Grädel1 courses
Phokion G. Kolaitis1 courses
Moshe Y. Vardi: On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic 3: 53-69 * Erich Grädel: On The Restraining Power of Guards. J. Symb. Log. 64: 1719-1742 * Ian Pratt-Hartmann: On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics. Bulletin of Symbolic Logic 14: 1-28 * Ian Pratt-Hartmann: The Two-Variable Fragment with Counting Revisited. WoLLIC 2010: 42-54 * Luc Segoufin1 courses
Balder ten Cate: Unary negation. Logical Methods in Computer Science 91 courses
19" Okres: 2018-10-01 - 2019-01-31 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT CW ŚR CZ PT Typ zajęć: Ćwiczenia 20 miejsc więcej informacji Koordynatorzy: Leszek Grocholski Prowadzący grup: Leszek Grocholski Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Ćwiczenia - Zaliczenie Zajęcia w cyklu "Semestr letni 20181 courses
0 godzin1 courses
20 miejsc więcej informacji Koordynatorzy: Leszek Grocholski Prowadzący grup: Leszek Grocholski Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Ćwiczenia - Zaliczenie Zajęcia w cyklu "Semestr zimowy 20191 courses
20 miejsc więcej informacji Koordynatorzy: Leszek Grocholski Prowadzący grup: Leszek Grocholski Strona przedmiotu: https:1 courses
zapisy.ii.uni.wroc.pl1 courses
Courses1 courses
praktyka-zawodowa-trzy-tygodnie-201920-zimowy Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Ćwiczenia - Zaliczenie Zajęcia w cyklu "Semestr letni 20191 courses
praktyka-zawodowa-trzy-tygodnie-201920-letni Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Ćwiczenia - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr zimowy 20201 courses
21" Okres: 2020-10-01 - 2021-02-03 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT CW Typ zajęć: Ćwiczenia1 courses
18 miejsc więcej informacji Koordynatorzy: Leszek Grocholski Prowadzący grup: Leszek Grocholski Strona przedmiotu: https:1 courses
praktyka-zawodowa-trzy-tygodnie-202021-zimowy Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Ćwiczenia - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr letni 20201 courses
21" Okres: 2021-02-24 - 2021-06-18 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT PRK-ZAW Typ zajęć: Praktyka zawodowa1 courses
praktyka-zawodowa-trzy-tygodnie-202021-letni Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Praktyka zawodowa - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr zimowy 20211 courses
22" Okres: 2021-10-01 - 2022-02-07 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT PRK-ZAW Typ zajęć: Praktyka zawodowa1 courses
60 miejsc więcej informacji Koordynatorzy: Leszek Grocholski Prowadzący grup: Leszek Grocholski Strona przedmiotu: https:1 courses
praktyka-zawodowa-trzy-tygodnie-202122-zimowy Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Praktyka zawodowa - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr letni 20211 courses
22" Okres: 2022-02-28 - 2022-06-26 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT PRK-ZAW Typ zajęć: Praktyka zawodowa1 courses
15 miejsc więcej informacji Koordynatorzy: Leszek Grocholski Prowadzący grup: Leszek Grocholski Strona przedmiotu: https:1 courses
praktyka-zawodowa-trzy-tygodnie-202122-letni Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Praktyka zawodowa - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr zimowy 20221 courses
23" Okres: 2022-10-01 - 2023-02-07 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT PRK-ZAW Typ zajęć: Praktyka zawodowa1 courses
praktyka-zawodowa-trzy-tygodnie-202223-zimowy Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Praktyka zawodowa - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr letni 20221 courses
23" Okres: 2023-02-22 - 2023-06-20 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT PRK-ZAW Typ zajęć: Praktyka zawodowa1 courses
21 miejsc więcej informacji Koordynatorzy: Marcin Młotkowski Prowadzący grup: Marcin Młotkowski Strona przedmiotu: https:1 courses
praktyka-zawodowa-trzy-tygodnie-202223-letni Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Praktyka zawodowa - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr zimowy 20231 courses
24" Okres: 2023-10-01 - 2024-01-29 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Praktyka zawodowa więcej informacji Koordynatorzy: Marcin Młotkowski Prowadzący grup: Marcin Młotkowski Lista studentów: Zaliczenie: Przedmiot - Zaliczenie Praktyka zawodowa - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr letni 20231 courses
24" Okres: 2024-02-20 - 2024-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT PRK-ZAW Typ zajęć: Praktyka zawodowa1 courses
praktyka-zawodowa-trzy-tygodnie-202324-letni Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Praktyka zawodowa - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr zimowy 20241 courses
25" Okres: 2024-10-01 - 2025-02-03 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT PRK-ZAW Typ zajęć: Praktyka zawodowa1 courses
22 miejsc więcej informacji Koordynatorzy: Marcin Młotkowski Prowadzący grup: Marcin Młotkowski Strona przedmiotu: https:1 courses
praktyka-zawodowa-trzy-tygodnie-202425-zimowy Lista studentów: Zaliczenie: Przedmiot - Brak protokołu Praktyka zawodowa - Zaliczenie Pełny opis: Wymiar zajęć - 3 tygodnie Zajęcia w cyklu "Semestr letni 20241 courses
25" Okres: 2025-02-22 - 2025-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Praktyka zawodowa więcej informacji Koordynatorzy: Marcin Młotkowski Prowadzący grup: Marcin Młotkowski Lista studentów: Zaliczenie: Przedmiot - Zaliczenie Praktyka zawodowa - Zaliczenie1 courses
angielski Pełny opis: The goal of the seminar is to familiarize the students with the mathematical foundations of bisimulation and coinduction1 courses
And Present Their Applications In Various Areas1 courses
including the semantics of infinite data structures and the theory of program equivalence in sequential languages as well as the theory of concurrent communicating processes. Program Coinduction and the duality with induction The Calculus of Communicating Systems and bisimilarity Mobile processes: the Pi-Calculus Infinite data structures (e.g.1 courses
streams) coinductively Bisimulations in the Lambda-Calculus Bisimulations and modal logic Wymagania <h2>Courses taken: Logic for computer science Programming methods Functional programming Semantics of programming languages <h2>Required competences: Mathematical maturity Decent skills in written and spoken English Literatura: Davide Sangiorgi1 courses
Introduction To Bisimulation And Coinduction1 courses
2012 Davide Sangiorgi and Jan Rutten1 courses
Advanced Topics In Bisimulation And Coinduction1 courses
2012 Communicating and Mobile Systems: The Pi-Calculus1 courses
Robin Milner1 courses
1999 Davide Sangiorgi and David Walker1 courses
The Pi-Calculus: A Theory of Mobile Processes1 courses
polski Założenia: Programowanie 1 28-MT-S-oPr1Pyth1 courses
polski Założenia: Algebra liniowa 2 28-MT-S-oAlLin2 Analiza matematyczna 3 28-MT-S-oAnMat3 Wstęp do matematyki 28-MT-S-oWDM1 courses
polski Założenia: Programowanie obiektowe 1 28-MT-S-wPrOb1P1 courses
polski Założenia: Programowanie obiektowe 1 28-MT-S-wPrOb11 courses
polski Pełny opis: Celem przedmiotu jest zapoznanie słuchaczy z metodami programowania układów FPGA oraz podstawami testowania i weryfikacji układów cyfrowych. Program Logika cyfrowa sekwencyjna i kombinatoryczna (bramki logiczne1 courses
Multipleksery1 courses
Zatrzaski1 courses
przerzutniki). Automaty Moore'a i Mealy'ego. 3. Podstawy fizycznej budowy układów cyfrowych. Logika CMOS. Budowa układów FPGA. Verilog jako język opisu sprzętu. Syntezowalny podzbiór języka Verilog. Symulacja sprzętu. Timing i synchronizacja. Testowanie sprzętu. Elementy języka SystemVerilog. Elementy formalnej weryfikacji sprzętu. Wymagania Znajomość architektur systemów komputerowych - wiedza na temat logiki cyfrowej1 courses
Formatach Reprezentacji Danych1 courses
architektury mikroprocesorów. Umiejętność programowania na niskim poziomie . Zdolność precyzyjnego formułowania własności w języku logiki. Literatura: Douglas J.Smith1 courses
HDL Chip Design: A Practical Guide for Designing1 courses
Synthesizing & Simulating ASICs & FPGAs Using VHDL or Verilog Samir Palnitkar1 courses
Verilog HDL J. Bhasker1 courses
A Verilog Hdl Primer1 courses
Third Edition Donald Thomas1 courses
Logic Design And Verification Using Systemverilog1 courses
polski Literatura: Zalecana literatura : Malinowski A.1 courses
Strzałko J.1 courses
1989. Antropologia. PWN1 courses
Warszawa-Poznań. Lewin R.1 courses
2002. Wprowadzenie do ewolucji człowieka. Prószyński i S-ka1 courses
Warszawa.1 courses
Piontek J. 1999. Biologia populacji pradziejowych. Zarys metodyczny. UAM1 courses
Poznań.1 courses
Aufderheide1 courses
A.C.1 courses
Rodriquez-Martin1 courses
C. 1998. The Cambridge Encyclopedia of Human Paleopathology. Cambridge: Cambridge University Press. Malinowski1 courses
Bożiłow1 courses
W1 courses
1997. Podstawy antropometrii: metody1 courses
Techniki1 courses
normy. Warszawa1 courses
Łódź: Wydawnictwo Naukowe PWN.1 courses
Zajęcia w cyklu "Semestr letni 20241 courses
25" Okres: 2025-02-22 - 2025-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ KONW PT Typ zajęć: Konwersatorium1 courses
20 godzin więcej informacji Koordynatorzy: Andrzej Lorczyk Prowadzący grup: Andrzej Lorczyk Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Konwersatorium - Zaliczenie na ocenę Rodzaj przedmiotu : konwersatorium Rodzaj przedmiotu : konwersatorium1 courses
Pełny opis: Treści programowe - realizowane w sposób tradycyjny Celem zajęć jest przedstawienie kluczowych problemów egzystencjalnej filozofii hiszpańskiego autora Miguela de Unamuno. Za najważniejsze zagadnienie jego filozofii należy uznać „człowieka z krwi i kości”. Stanowi on zarówno przedmiot1 courses
jak i podmiot Unamunowskiej refleksji filozoficznej. Na plan pierwszy wysuwają się tutaj takie kwestie jak relacja między życiem i śmiercią1 courses
życiem i rozumem1 courses
wiarą i rozumem1 courses
uczuciem a ideami. Unamuno wszystkie te relacje przedstawia jako agoniczne1 courses
gdzie przez agonię rozumie nieustanne i nieuchronne ścieranie się ze sobą przeciwieństw1 courses
które jest niezbędne do utrzymania żywotności każdego z owych biegunów. Ponadto bardzo istotne staje się dla niego zagadnienie wiary w Boga jako gwaranta jednostkowej nieśmiertelności człowieka. Unamuno szuka w swojej filozofii Boga1 courses
Ale Nie Poprzez Idee I Racjonalne Dowody Na Jego Istnienie1 courses
lecz podążając drogą uczuć1 courses
spośród których najważniejsze to: tragizm1 courses
Rozpacz1 courses
Cierpienie1 courses
miłość i lęk przed śmiercią. Literatura: Literatura obowiązkowa i zalecana (źródła1 courses
Opracowania1 courses
podręczniki1 courses
itp.) M. de Unamuno1 courses
O poczuciu tragiczności życia wśród ludzi i wśród narodów1 courses
przekł. H. Woźniakowski1 courses
Kraków-Wrocław 19841 courses
M. de Unamuno1 courses
Agonia Chrystianizmu1 courses
przekł. Piotr Rak1 courses
Kęty 20021 courses
Mgła1 courses
przekł. E. Boye1 courses
Warszawa 19281 courses
Kierkegaard S.1 courses
Bojaźń i drżenie1 courses
Choroba na śmierć1 courses
tłum. J. Iwaszkiewicz1 courses
Warszawa: PWN 1982. Ortega y Gasset J.1 courses
Ewolucja Teorii Dedukcyjnej1 courses
przekł. E. Burska1 courses
Gdańsk 20041 courses
Literatura przedmiotu: E. Górski1 courses
Hiszpańska refleksja egzystencjalna. Studium filozofii i myśli politycznej Miguela de Unamuno1 courses
Warszawa 19791 courses
D. Leszczyna1 courses
Filozofia egzystencjalna w ujęciu Miguela de Unamuno1 courses
„Analiza i Egzystencja” 101 courses
I. Krupecka1 courses
Don Kichote w krainie filozofów: O kichotyzmie Pokolenia '98 jako poszukiwaniu nowoczesnej formuły podmiotowości1 courses
Toruń 2012 167-1801 courses
polski Pełny opis: 1. Zajęcia wprowadzające 2. Definicja i charakterystyka obszaru Bliskiego Wschodu 3. Ogólna charakterystyka zagrożeń bezpieczeństwa państw Bliskiego Wschodu – aspekty wewnętrzne i zewnętrzne - Bezpieczeństwo międzynarodowe po zimnej wojnie1 courses
pod red. R. Zięby1 courses
s. 363-3971 courses
R. Owen1 courses
s. 164-171. 4. Zagadnienia bezpieczeństwa Egiptu – M. Lipa1 courses
21 maja 2014. 5. Bezpieczeństwo Arabii Saudyjskiej - P. Cockburn1 courses
s. 139-151. 6. Problemy bezpieczeństwa państwa Izrael - M. Szydzisz1 courses
s. 105-118. 7. Zagadnienia bezpieczeństwa Islamskiej Republiki Iranu – A. Miarka1 courses
s. 164-176. 8. Wyzwania bezpieczeństwa Turcji – P. Mszyca1 courses
s. 41-58. 9. Problematyka bezpieczeństwa Syrii – K. Rojek1 courses
s. 140-159. 10. Bezpieczeństwo Iraku – R. Bania1 courses
s. 13-29. 11. Główne wyzwania bezpieczeństwa Jordanii – Ł. Fijałkowski1 courses
J. Jarząbek1 courses
Sekurytyzacja problemu uchodźców w Jordanii1 courses
do publikacji po konferencji „Bezpieczeństwo narodowe i międzynarodowe w obszarze MENA”1 courses
Łódź 2014. 12. Problemy bezpieczeństwa Tunezji – M. Kaczmarek1 courses
Jaśminowa Rewolucja1 courses
[w:] Fale Tsunami. Kontestacja arabska w latach 2010-20131 courses
pod red. R. Potockiego1 courses
M. Piskorskiego1 courses
W. Hładkiewicza1 courses
s. 24-40. 13. Bezpieczeństwo Libanu – 14. Wyzwania bezpieczeństwa Jemenu - T. Otłowski1 courses
Przyszłość Jemenu a wojna z terroryzmem w 2012 r1 courses
s. 132-140. 15. Podsumowanie zajęć Literatura: LITERATURA PODSTAWOWA 1. Henry C. M.1 courses
polski Pełny opis: 1. Zajęcia wprowadzające. 2. Separatyzm i terroryzm – wyjaśnienie pojęć1 courses
zdefiniowanie przedmiotu i obszaru zainteresowania. Konflikty współczesnego świata1 courses
s. 48-54.. 3. Separatyzm kurdyjski i działalność Partii Pracujących Kurdystanu.K. Smoleń1 courses
Ekstremizm polityczny w Turcji. Analiza na przykładzie PPK1 courses
[w:] Ekstremizm polityczny we współczesnym świecie1 courses
pod red. A. Moroskiej-Bonkiewicz1 courses
Wrocław 20121 courses
s. 272-286. 4. Żydowski ekstremizm i terroryzm motywowany religijnie M. Szydzisz1 courses
Ekstremizm religijny we współczesnym Izraelu1 courses
s. 208-224. 5. ISIS 6. Separatystyczne dążenia muzułmanów na Filipinach. J. Jarząbek1 courses
Rozwój radykalnych ugrupowań islamskich w wybranych państwach Azji Południowej i Południowo-Wschodniej1 courses
[w:] Azja Wschodnia i Azja Południowa w stosunkach międzynarodowych1 courses
Warszawa 20111 courses
s. 398-405. 7. Ugrupowania separatystyczne i terrorystyczne w Indonezji. J. Jarząbek1 courses
s. 405-407 oraz Konflikty współczesnego świata1 courses
s. 142-151. 8. Konflikt tamilsko-syngaleski na Sri Lance Konflikty współczesnego świata1 courses
s. 157-159 oraz P. Kugiel1 courses
Zakończenie wojny na Sri Lance1 courses
Biuletyn Pism1 courses
nr 441 courses
22 lipca 2009. 9. Separatyzm ujgurski i tybetański w Chinach Olechowski A.1 courses
Czy separatyści ujgurscy mogą zagrozic bezpieczeństwu Europy? [w:] Ekstremizm polityczny we współczesnym świecie1 courses
s. 305-317 oraz Konflikty współczesnego świata1 courses
s. 130-135. 10. Działalność terrorystyczna Talibów w Afganistanie D. Brążkiewicz1 courses
Z. Śliwa1 courses
Azja – konflikty i zagrożenia bezpieczeństwa1 courses
s. 69-86. 11. Działalność terrorystyczna palestyńskich ugrupowań narodowowyzwoleńczych J. Jarząbek1 courses
Palestyńczycy na drodze do niepodległości1 courses
Warszawa 20121 courses
r. II. 12. Grupy terrorystyczne we współczesnym Pakistanie J. Jarząbek1 courses
Radykalne ugrupowania islamskie a bezpieczeństwo wewnętrzne Pakistanu1 courses
[w:] Wschodnioznawstwo 20091 courses
s. 183-194 13. Separatyzm kaszmirski D. Brążkiewicz1 courses
s. 86-106. 14. Ugrupowania terrorystyczne na Półwyspie Arabskim. 15. Zakończenie i podsumowanie zajęć1 courses
wystawienie ocen. Literatura: LITERATURA PODSTAWOWA 1. Haliżak E.1 courses
Stosunki międzynarodowe w regionie Azji i Pacyfiku1 courses
Warszawa 1999. 2. Kubiak K.1 courses
Wojny1 courses
konflikty zbrojne i punkty zapalne na świecie1 courses
Warszawa 2007. 3. Owen R.1 courses
London 2008. 4. Selvik K.1 courses
London 2011. 5. Zarys dziejów Afryki i Azji: historia konfliktów 1869 – 20001 courses
Bartnicki A.1 courses
Warszawa 2000 LITERATURA UZUPEŁNIAJĄCA 1. Azja Wschodnia na przełomie XX i XXI wieku. Stosunki polityczne i społeczne1 courses
Gawlikowski K.1 courses
Warszawa 2004. 2. Burr J. M.1 courses
Warszawa 2003. 4. Capisani G.R.1 courses
Nowe Państwa Azji Środkowej1 courses
Warszawa 2004. 5. Keddie N.1 courses
Kraków 2007. 6. Korb L. J.1 courses
A New National Security Strategy In An Age Of Terrorists1 courses
Tyrans And Weapons Of Mass Destruction1 courses
New York 2003. 7. Lewis B.1 courses
London 2004. 8. Rashid A.1 courses
Talibowie1 courses
Kraków 2002. 9. Życie polityczne Azji. Realia i dążenia1 courses
Marszałek-Kawa J.1 courses
Toruń 2008.1 courses
30 godzin więcej informacji Koordynatorzy: Anna Umińska-Woroniecka Prowadzący grup: Anna Umińska-Woroniecka Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr zimowy 20191 courses
30 godzin więcej informacji Koordynatorzy: Anna Umińska-Woroniecka Prowadzący grup: Anna Umińska-Woroniecka Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr zimowy 20201 courses
30 godzin więcej informacji Koordynatorzy: Anna Umińska-Woroniecka Prowadzący grup: Anna Umińska-Woroniecka Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie Wymagania: Podstawy prawa 26-SM-S1-E01-PoPr1 courses
polski Pełny opis: TREŚCI MERYTORYCZNE PRZEDMIOTU: 1. Pojęcie i etapy integracji gospodarczej. 2. Teoria optymalnych obszarów walutowych. 3. Teoria konwergencji i proces osiągania kryteriów konwergencji w Unii Gospodarczej i Walutowej . 4. Historia integracji walutowej. 5. Wspólna polityka monetarna w ramach Unii Gospodarczej i Walutowej . 6. Europejski System Banków Centralnych . 7. Euro jako wspólna waluta Unii Gospodarczej i Walutowej . 8. Korzyści i koszty oraz szanse i zagrożenia wynikające z unifikacji walutowej . 9. Przygotowania Polski do przyjęcia euro. 10. Polityka budżetowa w Unii Gospodarczej i Walutowej . 11. Wprowadzenie wspólnej waluty w wybranych krajach europejskich. 12. Test zaliczeniowy. Literatura: LITERATURA PODSTAWOWA: 1) Borowski J.1 courses
Integracja monetarna. Wyzwania dla Polski1 courses
Pwe1 courses
Warszawa 2011. 2) Bukowski S. I.1 courses
Strefa euro. Perspektywy rozszerzenia o Polskę i inne kraje Europy Środkowo-Wschodniej1 courses
Warszawa 2007. 3) Bukowski S. I.1 courses
Unia monetarna. Teoria i polityka1 courses
Difin1 courses
Warszawa 2007. 4) De Grauwe P.1 courses
Unia walutowa. Funkcjonowanie i wyzwania1 courses
Warszawa 2003. 5) Mucha-Leszko B.1 courses
Strefa euro. Wprowadzenie1 courses
Funkcjonowanie1 courses
międzynarodowa rola euro1 courses
Wydawnictwo Uniwersytetu Marii Curie-Skłodowskiej1 courses
Lublin 2007. 6) Nowak-Far A.1 courses
Unia Gospodarcza I Walutowa W Europie1 courses
Instytut Wydawniczy Europrawo1 courses
Warszawa 2011. 7) Oręziak L.1 courses
Euro. Nowy pieniądz1 courses
Warszawa 2004. 8) Czarczyńska A.1 courses
Śledziewska K.1 courses
Teoria Europejskiej Integracji Gospodarczej1 courses
Wydawnictwo C.H. Beck1 courses
Warszawa 2007. 9) Baimbridge M.1 courses
Whyman P.1 courses
Economic and Monetary Union in Europe. Theory1 courses
Evidence And Practice1 courses
Edward Elgar Publishing1 courses
Cheltenham1 courses
Northampton 2003. LITERATURA UZUPEŁNIAJĄCA: 1) Barcz J.1 courses
Michałowska-Gorywoda K.1 courses
Integracja Europejska1 courses
Warszawa 2007. 2) Borowiec J.1 courses
Unia ekonomiczna i monetarna. Historia1 courses
Podstawy Teoretyczne1 courses
Polityka1 courses
Wydawnictwo Akademii Ekonomicznej im. Oskara Langego we Wrocławiu1 courses
Wrocław 2001. 3) Bożyk P.1 courses
Misala J.1 courses
Integracja Ekonomiczna1 courses
Warszawa 2003. 4) Convergence Report1 courses
European Commission1 courses
Directorate-General for Economic and Financial Affairs1 courses
ec.europa.eu1 courses
economy_finance1 courses
Publications1 courses
european_economy1 courses
convergence_reports_en.htm 5) Domagała A.1 courses
Integracja Polski z Unią Europejską1 courses
Wydawnictwa Akademickie I Profesjonalne1 courses
Warszawa 2008. 6) Dynia E.1 courses
Wydawnictwo Prawnicze Lexisnexis1 courses
Warszawa 2006. 7) Euro. Doświadczenia i perspektywy1 courses
J. Witkowska1 courses
Z. Wysokińska1 courses
Wydawnictwo Uniwersytetu Łódzkiego1 courses
Łódź 2007. 8) Euro. Wspólna waluta1 courses
P. Temperton1 courses
Wydawnictwo Felberg Sja1 courses
Warszawa 2001. 9) Europejska integracja monetarna od A do Z1 courses
Narodowy Bank Polski1 courses
www.nbp.pl1 courses
Publikacje1 courses
integracja_monetarna1 courses
raporty.pdf. 10) Gawlikowska-Hueckel K.1 courses
Zielińska-Głębocka A.1 courses
Integracja europejska. Od jednolitego rynku do unii walutowej1 courses
Warszawa 2004. 11) Götz M.1 courses
Kryzys i przyszłość strefy euro1 courses
Warszawa 2012. 12) Grabowski T.1 courses
Unia Europejska – mechanizmy integracji gospodarczej1 courses
Wydawnictwo Adam Marszałek1 courses
Toruń 2008. 13) Gronkiewicz-Waltz H.1 courses
Europejska Unia Gospodarcza I Walutowa1 courses
Lexisnexis1 courses
Warszawa 2010. 14) Kasparova D.1 courses
Economic And Monetary Union And Its Housing Consequences1 courses
VDM Verlag Dr. Müller1 courses
Saarbrücken 2008. 15) Kołodziejczyk-Konarska K.1 courses
Unia Gospodarczo-Walutowa1 courses
Wydawnictwo Sejmowe1 courses
Warszawa 2004. 16) Królak-Werwińska J.1 courses
€ jak euro. Waluta nowej Europy1 courses
Warszawa 2005. 17) Latoszek E.1 courses
Integracja europejska. Mechanizmy i wyzwania1 courses
Książka i Wiedza1 courses
Warszawa 2007. 18) Międzynarodowa rola euro III1 courses
Departament Integracji ze Strefą Euro1 courses
lipiec 20111 courses
o_euro1 courses
euro_III.pdf. 19) Miles L.1 courses
Economic and Monetary Union and Euro-Outsiders: The Fusion Perspective1 courses
Routledge Chapman & Hall1 courses
London 2013. 20) Monitor konwergencji nominalnej1 courses
Ministerstwo Finansów1 courses
Departament Polityki Finansowej1 courses
Analiz I Statystyki1 courses
Biuro Pełnomocnika Rządu ds. Wprowadzenia Euro przez Rzeczpospolitą Polską1 courses
www.mf.gov.pl1 courses
ministerstwo-finansow1 courses
Dzialalnosc1 courses
integracja-ze-strefa-euro1 courses
analizy-i-materialy-informacyjne1 courses
monitor-konwergencji-nominalnej1 courses
jsessionid=23933DE391350520B48888BD8F69A7AC. 21) Monitor konwergencji realnej1 courses
monitor-konwergencji-cyklicznej. 22) Orłowski W. M.1 courses
Optymalna ścieżka do euro1 courses
Wydawnictwo Naukowe Scholar1 courses
Warszawa 2004. 23) Proniewski M.1 courses
Niedźwiecki A.1 courses
Formy Europejskiej Integracji Gospodarczej1 courses
Wydawnictwo Uniwersytetu w Białymstoku1 courses
Białystok 2004. 24) Pronobis M.1 courses
Polska W Strefie Euro1 courses
Warszawa 2008. 25) Pszczółka I.1 courses
Euro a integracja europejskich rynków finansowych1 courses
Cedewu1 courses
Warszawa 2010. 26) Ramy Strategiczne Narodowego Planu Wprowadzenia Euro1 courses
Pełnomocnik Rządu ds. Wprowadzenia Euro przez RP1 courses
Documents1 courses
7640341 courses
14327441 courses
4_ramy_strategiczne_26_10_2010.pdf. 27) Raport na temat korzyści i kosztów przystąpienia Polski do strefy euro1 courses
Warszawa 20041 courses
korzysci_euro_2004.pdf. 28) Raport na temat pełnego uczestnictwa Rzeczypospolitej Polskiej w trzecim etapie Unii Gospodarczej i Walutowej1 courses
Nbp1 courses
home.aspx?f=1 courses
re.html. 29) Raporty o konwergencji1 courses
Europejski Bank Centralny1 courses
www.ecb.europa.eu1 courses
Pub1 courses
Convergence1 courses
Html1 courses
index.en.html. 30) Sawicki J.1 courses
Unia Gospodarcza i Walutowa – droga do pułapki zadłużenia1 courses
Instytut Badań Rynku1 courses
Konsumpcji I Koniunktur1 courses
Warszawa 2012. 31) Strona internetowa Pełnomocnika Rządu ds. Wprowadzenia Euro przez Rzeczpospolitą Polską1 courses
Pl1 courses
pelnomocnik-rzadu-ds-euro. 32) Sum K.1 courses
Przystąpienie Polski do Strefy Euro w świetle analizy porównawczej procesów integracji walutowej w Polsce i Hiszpanii1 courses
Oficyna Wydawnicza Sgh1 courses
Warszawa 2013. 33) Unia gospodarczo-walutowa i jej pieniądz euro1 courses
D. Niedziółka1 courses
Wyższa Szkoła Cła i Logistyki1 courses
Warszawa 2008. 34) Wójcik C.1 courses
Integracja ze strefą euro. Teoretyczne i praktyczne aspekty konwergencji1 courses
Warszawa 2008. 35) Żukowski P.1 courses
Euro – świat1 courses
Europa1 courses
Polska1 courses
Warszawa 2002. 36) Europejski Bank Centralny1 courses
www.ecb.int. 37) Eurostat1 courses
epp.eurostat.ec.europa.eu. 38) Komisja Europejska1 courses
ec.europa.eu. 39) Narodowy Bank Polski1 courses
www.nbp.pl.1 courses
polski Pełny opis: 1. Wprowadzenie do przedmiotu1 courses
organizacja zajęć1 courses
przydział tematów referatów 2. Złożoność problemów gospodarczych – zastrzeżenia do klasycznych modeli analizy gospodarczej. 3. Wstęp do nowej ekonomii instytucjonalnej. Definicja instytucji oraz ich rozwoju. 4. Teoria agencji oraz teoria działań zbiorowych. 5. Ekonomiczna analiza prawa. 6. Ekonomia porównawcza systemów kapitalistycznych – propozycje rozwiązań przypisanych zadań badawczych. 7. Podsumowanie i zaliczenie zajęć Literatura: LITERATURA PODSTAWOWA • Akerlof G.A.1 courses
Kranton R.E.1 courses
Identity Economics. Princeton University Press1 courses
Princeton and Oxford 2010 • Babbie E.1 courses
Podsatwy badań społecznych. Wydawnictwa Naukowe PWN1 courses
Warszawa 2009 • Belleflamme P.1 courses
Peitz M.1 courses
Industrial Organization. Markets and strategies. Cambridge University Press 2011 • Boyer R.1 courses
Coherence1 courses
diversity and the evolution of capitalism: the institutional complementarity hypothesis1 courses
Discussion Papers 0761 courses
Interfaces For Advanced Economic Analysis1 courses
Kyoto University1 courses
2005. • Cooter R.1 courses
Ulen T.: Ekonomiczna analiza prawa. Wydawnictwo C.H. Beck1 courses
Warszawa 2o09 • Djankov S.1 courses
Glaeser E. L.1 courses
La Porta R.1 courses
Lopez-de-Silanes F.1 courses
Shleifer A.1 courses
New Comparative Economics1 courses
Nber Working Papers1 courses
No. 96081 courses
www.nber.org1 courses
w9608. • Ebbinghaus B.1 courses
Can Path Dependence Explain Institutional Change? Two Approaches Applied to Welfare State Reform. MPIfG Discussion Paper. 20051 courses
2. • Fogel R. W.1 courses
Czwarte Wielkie Przebudzenie i Przyszłość Egalitaryzmu1 courses
Oficyna A Wolters Ckluwer Business1 courses
Warszawa 2014 • Frydman R.1 courses
Goldberg M.D.1 courses
Ekonomia wiedzy niedoskonałej1 courses
Wydawnictwo Krytyki Politycznej1 courses
Warszawa 2009 • Furubotn E. G.1 courses
Richter R.: Institutions & Economic Theory. The Contribution of the New Institutional Economics. The University of Michigan Press • Hall P. A.1 courses
Soskice D.1 courses
An Introduction To Varieties Of Capitalism1 courses
in: Peter A. Hall1 courses
David Soskice1 courses
Varieties of Capitalism. The institutional foundations of Comparative Advantage. Cambridge1 courses
Berlin: Oxford University Press1 courses
pp. 1-70: www.oup.co.uk1 courses
0-19-924774-9.pdf. • Knight F.1 courses
Risk1 courses
Uncertanity and Profit. The Riverside Press1 courses
Cambridge 1921 • Godłów-Legiędź J.: Współczesna ekonomia. Ku nowemu paradygmatowi? Wydawnictwo C.H. Beck1 courses
Warszawa 2010 • Klimczak B.1 courses
Matysiak A. [red.]1 courses
Działania zbiorowe w teorii i praktyce. Wydawnictwo Akademii Ekonomicznej im. Oskara Langego we Wrocławiu1 courses
Wrocław 2005 • Kowalik T.1 courses
Współczesne systemy ekonomiczne. Powstanie1 courses
Ewolucja1 courses
kryzys. Wydawnictwo Wyższej Szkoły Przedsiębiorczości i Zarządzania im. Leona Koźmińskiego1 courses
Warszawa 2000. • Kozłowski Sławomir G.1 courses
Systemy ekonomiczne. Wydawnictwo Uniwersytetu im. Marii Curie-Skłodowskiej1 courses
Lublin 2004. • Lissowska M.1 courses
Instytucjonalne wymiary procesu transformacji w Polsce. SGH w Warszawie – Oficyna Wydawnicza1 courses
Warszawa 2004 • North D.C.1 courses
Institutions1 courses
institutional change and economic performance. Cambridge University Press. 28th printing 2009 • Olson M.1 courses
The Logic of Collective Action: Public groups and and the Theory of Groups. Harvard University Press. Cambridge1 courses
1971 • Ostrom E.1 courses
Governing the commons. The Evolution of Instutions for Collective Action1 courses
Cambridge University Press 2011 • Schultz T. W.1 courses
Ekonomia Kapitału Ludzkiego1 courses
Oficyna A Wolters Kluwer Business1 courses
Warszawa 2014 • Sedlacek T.1 courses
Ekonomia dobra i zła1 courses
Wydawnictwo Studio Emka1 courses
Warszawa 2012 • Shelling T.C.1 courses
Micromotive And Macrobehavior1 courses
W.W. Norton & Company1 courses
New York London 2010 • Smith V. L.1 courses
Racjonalność w Ekonomii1 courses
Warszawa 2014 • Thaler R.H.1 courses
Susntein C.R.1 courses
Impuls1 courses
Wydawnictwo Zysk i S-ka1 courses
Poznań 2008 • Willimason O.E.1 courses
Ekonomiczne instytucje kapitalizmu. Wydawnictwo Naukowe PWN1 courses
Warszawa 1998 • Zagadki wzrostu gospodarczego. Siły napędowe i kryzysy. Analiza porównawcza1 courses
Balcerowicz L.1 courses
Rzońca M.1 courses
For1 courses
Warszawa 2011. LITERATURA UZUPEŁNIAJĄCA • Akerflof G.A.1 courses
Shiller R.J.1 courses
Animal Spirit. Princeton University Press1 courses
Princeton and Oxford 2009 • Becker U.1 courses
Open systemness and contested reference frames and change. A reformulation of the varieties of capitalism theory1 courses
Socio-Economic Review1 courses
No. 51 courses
p. 261–286. • Begg1 courses
D.1 courses
et al.1 courses
Makroekonomia1 courses
Warszawa 2007. • Ferguson N.1 courses
Potęga pieniądza. Wydawnictwo Literackie1 courses
Warszawa 2010 • Frank R.H.1 courses
Mikroekonomia1 courses
jakiej jeszcze nie było. Gdańskie Wydawnictwo Psychologiczne1 courses
Gdańsk 2007 • Frank R.H.1 courses
Dlaczego piloci kamikadze zakładali hełmy? Wydawnictwo Literackie1 courses
Warszaw 2009 • Hoppe H. H.1 courses
Ekonomia i etyka własności prywatne. Studia z zakresu ekonomii politycznej i filozofii1 courses
Fijor Publishing1 courses
Warszawa 2011 • Instytucje i transformacja. [red.] Godłów-Legiędź J. Wydawnictwo Adam Marszałek1 courses
Toruń 2009 • Kurczewska U.1 courses
Lobbing I Grupy Interesu W Unii Europejskiej1 courses
Warszawa 2011 • Lissowska M.1 courses
Instytucje gospodarki rynkowej w Polsce. Istitutions for market economy. The case of Poland. Wydawcnictwo C.H. Beck1 courses
Warszawa 2008 • Ostrom E.1 courses
Understanding institutional diversity. Princeton University Press1 courses
Princeton and Oxfor 2005 • Sedlacek T.1 courses
Orrell D.1 courses
Zmierzch Homo Economicus1 courses
Warszawa 2012 • Throsby D.1 courses
Ekonomia I Klutura1 courses
Nck1 courses
Zajęcia w cyklu "Semestr zimowy 20241 courses
25" Okres: 2024-10-01 - 2025-02-03 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ KONW PT Typ zajęć: Konwersatorium1 courses
20 godzin więcej informacji Koordynatorzy: Maciej Manikowski Prowadzący grup: Maciej Manikowski Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Konwersatorium - Zaliczenie na ocenę Rodzaj przedmiotu : konwersatorium Rodzaj przedmiotu : konwersatorium1 courses
polski Zajęcia w cyklu "Semestr letni 20251 courses
26" Okres: 2026-02-21 - 2026-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ CW PT Typ zajęć: Ćwiczenia1 courses
30 godzin więcej informacji Koordynatorzy: Agata Krasowska Prowadzący grup: Agata Krasowska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę1 courses
30 godzin więcej informacji Koordynatorzy: Prowadzący grup: Agata Krasowska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr letni 20221 courses
23" Okres: 2023-02-22 - 2023-06-20 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT CW ŚR CZ PT Typ zajęć: Ćwiczenia1 courses
30 godzin więcej informacji Koordynatorzy: Wojciech Doliński1 courses
Agata Krasowska Prowadzący grup: Wojciech Doliński1 courses
Agata Krasowska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie1 courses
polski Pełny opis: 1 Zajęcia organizacyjne. Prezentacja oprogramowania do badań jakościowych Jakub Niedbalski Odkrywanie CAQDAS PSJ 21 courses
2014 2 Dane jakościowe i ilościowe w badaniach rynkowych1 courses
łączenie1 courses
Triangulacja1 courses
problemy badawcze Uwe Flick Projektowanie badania jakościowego r. 1 Czym są badania jakościowe Krystyna Mazurek-Łopacińska1 courses
Magdalena Sobocińska1 courses
TRIANGULACJA W BADANIACH JAKOŚCIOWYCH1 courses
PRACE NAUKOWE UNIWERSYTETU EKONOMICZNEGO WE WROCŁAWIU 5251 courses
2018 3 Techniki badań jakościowych: rodzaje wywiadów Radomir Miński Wywiad pogłębiony jako technika badawcza. Możliwości wykorzystania IDI w badaniach ewaluacyjnych PSJ 31 courses
2017 4 Techniki badań jakościowych: dane zastane Zofia Bednarowska Desk research — wykorzystanie potencjału danych zastanych w prowadzeniu badań marketingowych i społecznych1 courses
Marketing i Rynek 71 courses
2015 5 Techniki badań jakościowych: obserwacja Marek Gorzko „Rodzinna Atmosfera” i „Uprzejma Obsługa”. W stronę substantywnej teorii obsługi ruchu turystycznego – komunikat z badań PSJ 11 courses
2005 Krzysztof Konecki Rytuały ośmieszania1 courses
Flirtowanie pracownicze (r. 111 courses
r. 12 K. Konecki Nowi pracownicy a kultura organizacyjna przedsiębiorstwa: Studium folkloru fabrycznego) D. Olko Aktywność fizyczna – przyjemność czy obowiązek? Analiza społeczno-kulturowych uwarunkowań komercyjnego sukcesu Zumba Fitness PSJ 21 courses
2015 6 Techniki badań jakościowych: socjologia wizualna Piotr Sztompka1 courses
Socjologia wizualna: fotografia jako metoda badawcza Krzysztof T. Konecki1 courses
Wizualne wyobrażenia. Główne strategie badawcze w socjologii wizualnej a metodologia teorii ugruntowanej PSJ 11 courses
2005 7 Przygotowanie projektu - założenia teoretyczne Uwe Flick Projektowanie badania jakościowego Earl Babbie Badania społeczne w praktyce Matthew B. Miles1 courses
A. Michael Huberman Analiza danych jakościowych 8 Przygotowanie projektu - założenia metodologiczne 9 Przygotowanie projektu - narzędzie badawcze 10 Przygotowanie projektu - kodowanie 11 Przygotowanie projektu - analiza 12 Przygotowanie projektu - finalna edycja raportu 13 Kolokwium 14-15 Prezentacja raportów1 courses
30 godzin więcej informacji Koordynatorzy: Lucyna Szot Prowadzący grup: Lucyna Szot Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Zajęcia w cyklu "Semestr letni 20191 courses
30 godzin więcej informacji Koordynatorzy: Lucyna Szot Prowadzący grup: Lucyna Szot Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę1 courses
angielski Pełny opis: Curriculum content I. 06.10.2025 – Organisational meeting II. 13.10.2025 – Philosophy of culture as “metaculture” III. 20.10.2025 – Spiritual culture vs material culture IV.27.10.2025 – Culture as the “cultivation of man” V. 03.11.2025 – Culture in the context of philosophical anthropology part 1 VI. 17.11.2025 – Culture in the context of philosophical anthropology part 2 VII. 24.11.2025 – Theory of culture and art in the context of human cognition VIII. 26.11.2025 – The metaphysics of culture IX. 01.12.2025 – Art and culture part 1 X. 08.12.2025 – Art and culture part 2 XI. 15.12.2025 – Culture and aesthetics XII. 12.01.2026 – Culture and ethics1 courses
morality and happiness XIII. 19.01.2026– Culture as a tool of politics XIV. 26.01.2026 – Pluralism of forms of culture and art1 courses
Change1 courses
Progress1 courses
crisis and the end of culture XV. 02.02.2026 – Summarizing meeting Literatura: Mandatory literature II. Kemling Jared1 courses
Toward a “Cultural Philosophy”: Five Forms of Philosophy of Culture1 courses
In: Philosophy of Culture as Theory1 courses
Method1 courses
and Way of Life. Contemporary Reflections and Applications1 courses
eds. Przemysław Bursztyka et al.1 courses
Leiden - Boston 20221 courses
pp. 17-38. III. Ernst Cassirer1 courses
An Essay on Man: An Introduction to a Philosophy of Human Culture1 courses
Yale University Press 19441 courses
pp. 87-96. IV. Piotr Jaroszyński1 courses
Culture: A Drama of Nature and Person1 courses
transl. by Maciej Stępień1 courses
Leiden – Boston 20241 courses
pp. 16-40. V1 courses
VI. Jacques Maritain1 courses
Creative Intuition In Art And Poetry1 courses
Cleveland 19611 courses
pp. 3-50. VII. Berys Gaut1 courses
Art And Knowledge1 courses
In: The Oxford Handbook of Aesthetics1 courses
Jerrold Levinson1 courses
Oxford 20031 courses
pp. 436-450 VIII. Gilson Étienne1 courses
Painting and reality. Princeton 20231 courses
pp. 3-45. IX. Władysław Tatarkiewicz1 courses
A History of Six Ideas. An Essay in Aesthetics1 courses
transl. by Jan T.J. Szednicki1 courses
Hague – Boston – London – Warszawa 19801 courses
pp. 11-49. X. Władysław Tatarkiewicz1 courses
pp. 50-72. XI. Monika Bokiniec1 courses
Aesthetics and Philosophy of Culture: "The Aestheticization of Everything?"1 courses
In: Estetyka i Filozofia Sztuki. Tradycje1 courses
Przecięcia1 courses
Perspektywy - Księga Jubileuszowa z Okazji Pięćdziesięciolecia Pracy Naukowej i Dydaktycznej Prof. Bohdana Dziemidoka1 courses
Monika Bokiniec1 courses
Piotr Jan Przybył1 courses
Gdańsk 20091 courses
pp. 143-149 XII. Aristotle1 courses
Nicomachean Ethics1 courses
In: The Complete Works of Aristotle. The Revised Oxford Translation1 courses
vol. 2. Jonathan Barnes1 courses
Princeton 19841 courses
Book VI. XIII. Plato1 courses
The Republic1 courses
transl. by Tom Griffith1 courses
Cambridge 20001 courses
Book X. XIV. Arthur C. Danto1 courses
What Art Is1 courses
New Haven – London 20131 courses
pp. 1-52.1 courses
polski Pełny opis: 1. Zajęcia wprowadzające 2. Definicja i charakterystyka obszaru Bliskiego Wschodu oraz ogólna charakterystyka zagrożeń bezpieczeństwa państw regionu - Bezpieczeństwo międzynarodowe po zimnej wojnie1 courses
pod red. Ryszarda Zięby1 courses
s. 363-397 3. Zagadnienia bezpieczeństwa Egiptu – M. Lipa1 courses
21 maja 2014. 4. Bezpieczeństwo Arabii Saudyjskiej - P. Cockburn1 courses
s. 139-151. 5. Problemy bezpieczeństwa państwa Izrael – M. Szydzisz1 courses
s. 105-118. 6. Zagadnienia bezpieczeństwa Islamskiej Republiki Iranu – A. Miarka1 courses
s. 164-176. 7. Wyzwania bezpieczeństwa Turcji – P. Mszyca1 courses
s. 41-58. 8. Problematyka bezpieczeństwa Syrii – K. Rojek1 courses
s. 140-159. 9. Bezpieczeństwo Iraku - R. Bania1 courses
s. 13-29. 10. Podsumowanie zajęć1 courses
wystawienie ocen. Literatura: LITERATURA PODSTAWOWA 1. Henry C. M.1 courses
angielski Zajęcia w cyklu "Semestr letni 20251 courses
26" Okres: 2026-02-21 - 2026-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Konwersatorium1 courses
30 godzin więcej informacji Koordynatorzy: Katarzyna Nowak-McNeice Prowadzący grup: Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Konwersatorium - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie1 courses
polski Pełny opis: 1. Położenie i terytorium Republiki Czeskiej. 2. Środowisko przyrodnicze Republiki Czeskiej. - budowa geologiczna1 courses
- rzeźba powierzchni1 courses
- jednostki fizycznogeograficzne1 courses
- klimat1 courses
- wody1 courses
3. Formy ochrony przyrody w Republice Czeskiej. 4. Formy ochrony zabytków w Republice Czeskiej. 5. Walory turystyczne i ich podział. 6. Walory przyrodnicze Republiki Czeskiej. 7. Walory antropogeniczne Republiki Czeskiej. Literatura: Cabaj W.1 courses
Kruczek Z.1 courses
Podstawy Geografii Turystycznej1 courses
wyd. III zaktualiz.1 courses
Wyd. „Proksenia”1 courses
Kraków 2010. Geografia turystyczna świata1 courses
cz. 11 courses
red. J. Warszyńska1 courses
Warszawa 1994. Jędrusik M.1 courses
Makowski J.1 courses
Plit F.1 courses
Geografia turystyczna świata. Nowe trendy. Regiony turystyczne1 courses
Wyd. Uniwersytetu Warszawskiego1 courses
Warszawa 2010. Kowalczyk A.1 courses
Geografia Turyzmu1 courses
Wyd. Naukowe PWN1 courses
Warszawa 2000. Krausova-Żur I.1 courses
Czechy. Przewodnik1 courses
Wyd. „Bezdroża”1 courses
Kraków 2010. Kruczek Z.1 courses
Europa. Geografia turystyczna1 courses
wyd. IV uzupełnione1 courses
Kraków 2008. Różycki P.1 courses
Zarys Wiedzy O Turystyce1 courses
wyd. II poszerzone1 courses
Kraków 2009. Steblik-Wlaźlak B.1 courses
Rzepka L.1 courses
Geografia Turystyczna1 courses
Wyd. REA1 courses
Warszawa 2011. Steblik-Wlaźlak B.1 courses
Warszawa 2011.1 courses
15 godzin więcej informacji Koordynatorzy: Hanna Urbańska Prowadzący grup: Hanna Urbańska Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Ćwiczenia - Zaliczenie na ocenę Rodzaj przedmiotu : ćwiczenie Rodzaj przedmiotu : ćwiczenie1 courses
angielski Pełny opis: Educational aims The goal of the course is 11 courses
to introduce the students to the developments in English literature from Romanticism till the end of the 20th c. 21 courses
To Introduce The Students To Various Aesthetic Trends1 courses
Literary Genres1 courses
works of canonical authors and major thematic and formal concerns in the periods under discussion. 31 courses
to help the students gain systematic knowledge about the subject of the course 41 courses
to develop the students’ ability to find information and apply knowledge to literary analysis and interpretation. 51 courses
to develop the students’ analytical and interpretative skill by means of appropriate methods Literatura: Winter semester 1. William Blake1 courses
Songs of Innocence: “The Lamb1 courses
” “The Chimney Sweeper” Songs of Experience: “The Tyger1 courses
” “The Chimney Sweeper”. 2. William Wordsworth1 courses
“Lines Composed a Few Miles Above Tintern Abbey1 courses
” “We are Seven”1 courses
3. S.T. Coleridge1 courses
“The Rime of the Ancient Mariner”. 4. Lord Byron1 courses
Don Juan1 courses
Canto I. 5. John Keats1 courses
“Ode on a Grecian Urn”. 6. Jane Austen1 courses
Pride and Prejudice. 7. Emily Brontë1 courses
Wuthering Heights. 8. Alfred Tennyson1 courses
In Memoriam. Robert Browning1 courses
“My Last Duchess”. 9. Charles Dickens1 courses
Great Expectations. 10. Thomas Hardy1 courses
Tess of the D’Urberville. 11. Joseph Conrad1 courses
Heart of Darkness. 12. Final Test. Summer Semester 1. James Joyce1 courses
Dubliners—“Araby1 courses
” Ulysses—"Proteus"1 courses
A Portrait of the Artist as a Young Man. 2. Virginia Woolf1 courses
Mrs. Dalloway. 3. T. S. Eliot1 courses
The Waste Land 4. W.B. Yeats1 courses
“Sailing to Byzantium”. 5. W.H. Auden1 courses
„Musee des Beaux Art". 6. Philip Larkin1 courses
"Lines on a Young Lady's Photograph Album". 7. Jean Rhys1 courses
Wide Sargasso Sea. 8. John Fowles1 courses
The French Lieutenant’s Woman. 9. Tom Stoppard1 courses
Rosencrantz and Guildenstern Are Dead. 10. Seamus Heaney1 courses
"The Tollund Man1 courses
" "The Grauballe Man". 11. Salman Rushdie1 courses
Midnight’s Children . 12. Final Test1 courses
czeski Pełny opis: 1. Fonetyka i fonologia jako działy gramatyki opisowej. Głoska a fonem. Zapis fonetyczny i fonologiczny. 2. Alfabet czeski – cechy diakrytyczne i inne. 3. Opis samogłosek czeskich. Iloczas. 4. Opis spółgłosek czeskich. Cechy artykulacyjne. 5. Upodobnienia w wymowie spółgłosek. Asymilacja dźwięczności. Zasady upodobnień. 6. Upodobnienia grup spółgłoskowych i reguły adaptacji fonetycznej wyrazów obcych. 7. Akcent wyrazowy. Akcent w sylabach długich1 courses
w wyrazach wielosylabowych. Zestroje akcentowe. Akcent zdaniowy i intonacja. Literatura: Hála B.1 courses
Fonetika V Teorii A V Praxi1 courses
Praha 1975. Mluvnice jazyka českého1 courses
kolektiv pod vedením J. Petra1 courses
Praha 1989. Cvičení z českého jazyka I1 courses
Kolektiv1 courses
Brno 1994. Karlík P.1 courses
Rusínová Z.1 courses
Nekula M.1 courses
Příruční mluvnice češtiny1 courses
Brno 1995. Krčmová M.1 courses
Fonetika a fonologie. Zvuková stavba současné češtiny1 courses
Brno 1999.1 courses
polski Pełny opis: 1. Ludność Republiki Czeskiej. Podstawowe pojęcia i wskaźniki stosowane w geografii ludności. 2. Religia i język. 3. Przemysł Republiki Czeskiej. Wydobycie surowców. Energetyka. Rodzaje przemysłu. 4. Transport i komunikacja. 5. Rolnictwo i leśnictwo. 6. Ruch turystyczny w Republice Czeskiej. Literatura: Mikroekonomia1 courses
red. I. Rumianowska i S. Czaja1 courses
Wyższa Szkoła Zarządzania i Finansów we Wrocławiu1 courses
Wrocław 19981 courses
wyd. II. Makroekonomia1 courses
M. Noga1 courses
Wydawnictwo Uniwersytetu Ekonomicznego we Wrocławiu1 courses
Wrocław 2009. Międzynarodowe stosunki gospodarcze1 courses
red. nauk. J. Rymarczyk1 courses
Polskie Wydawnictwo Ekonomiczne1 courses
Warszawa 2010. Kompendium wiedzy o ekonomii1 courses
J. Bremond1 courses
J.F. Couet1 courses
M.M. Salort1 courses
Warszawa 2005. Malá encyklopedie moderní ekonomie1 courses
M. Sojka1 courses
B. Konečný1 courses
Nakladatelství Libri1 courses
Praha 2006.1 courses
angielski Zajęcia w cyklu "Semestr zimowy 20251 courses
18 godzin więcej informacji Koordynatorzy: Anna Cichoń Prowadzący grup: Anna Cichoń Lista studentów: Zaliczenie: Przedmiot - Zaliczenie na ocenę Wykład - Zaliczenie na ocenę1 courses
25" Okres: 2025-02-22 - 2025-06-16 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT Typ zajęć: Wykład1 courses
30 godzin więcej informacji Koordynatorzy: Mariola Pigoń Prowadzący grup: Mariola Pigoń Lista studentów: Zaliczenie: Przedmiot - Egzamin Wykład - Egzamin Rodzaj przedmiotu : wykład Rodzaj przedmiotu : wykład1 courses
30 godzin więcej informacji Koordynatorzy: Mariola Pigoń Prowadzący grup: Mariola Pigoń Lista studentów: Zaliczenie: Przedmiot - Egzamin Wykład - Egzamin1 courses
Pełny opis: a) Problemy powstające po zaginięciu człowieka (prawo cywilne1 courses
rodzaje pieczęci i Literatura: Wykaz literatury podstawowej 1. E. Gruza1 courses
Pełny opis: Zdolność prawna obywatela1 courses
jej powstanie i ustanie 1. Identyfikacja osób: a) Powstanie zdolności prawnej człowieka1 courses
rola organów państwowych (akt urodzenia1 courses
urzędowe potwierdzanie tożsamości). b) Ewidencja ludności – przesłanki historyczne i aktualne uzasadnienie jej prowadzenia1 courses
kwestia wolności obywatelskiej. c) Stany prawne i faktyczne (przekroczenie granicy1 courses
Nielegalna Imigracja1 courses
Nielegalny Pobyt W Polsce1 courses
próba zmiany tożsamości przez osoby karane sądownie lub poszukiwane)1 courses
d) Tożsamość człowieka i sposoby jej ustalenia (dokument tożsamości i jego wartość dla identyfikacji1 courses
obowiązek posiadania dokumentu tożsamości a kwestia wolności obywatelskich1 courses
Kwestia Podrobienia Lub Przerobienia1 courses
metody zabezpieczania tych dokumentów)1 courses
e) Techniki kontroli dostępu do obiektów i obszarów. f) Wystawianie dokumentów tożsamości – organy uprawnione1 courses
dawne i obecne rozwiązania w tym zakresie. g) Metody identyfikacji osób i weryfikacji dokumentów tożsamości. h) Zbiory danych o osobach i możliwości nadużyć. 2. Zaginięcia osoby jako problem społeczny i prawny a) Problemy powstające po zaginięciu człowieka (prawo cywilne1 courses
rodzaje pieczęci i stempli . Literatura: Wykaz literatury podstawowej 1. E. Gruza1 courses
angielski Pełny opis: Celem przedmiotu jest zaznajomienie studentów z zagadnieniami językoznawczej analizy kontrastywnej ze szczególnym uwzględnieniem języka polskiego i angielskiego. Analiza kontrastywna będzie dotyczyła zakresu morfologii1 courses
składni1 courses
leksykologii i pragmatyki językowej. W wyniku cyklu zajeć studenci powinni umieć opisać różnice w strukturze tych dwóch języków1 courses
różnice leksykalne1 courses
oraz umieć rozpoznać typowe błędy językowe wynikające z różnic typologicznych i leksykalnych pomiędzy tymi dwoma systemami językowymi. Literatura: Croft1 courses
W. 1990. Typology and universals. Cambridge: Cambridge University Press. Fisiak J.1 courses
Lipińska-Grzegorek M.1 courses
Zabrocki1 courses
T. 1978. An Introductory English-Polish Contrastive Grammar. Warszawa: PWN. Tabakowska E.1 courses
2001. Kognitywne podstawy języka i językoznawstwa. Kraków: Universitas. Wierzbicka1 courses
A. 2006. English: Meaning and Culture. Oxford University Press. Willim E.1 courses
E. Mańczak-Wohlfeld1 courses
1997. A Contrastive Approach to Problems with English. Warszawa-Kraków: PWN.1 courses
polski Pełny opis: Cele kształcenia dla przedmiotu: Przekazanie i utrwalenie informacji z zakresu fonetyki i morfologii koreańskiej1 courses
a także refleksję o charakterze metagramatycznym. Treści programowe: Charakterystyka typologiczna języka koreańskiego1 courses
pismo koreańskie: hanja1 courses
Hangul1 courses
fonetyka i fonologia: klasyfikacja głosek ze względu na artykulację1 courses
Procesy Fonetyczne1 courses
części mowy: kryteria podziału i charakterystyka. Literatura: Ihm Ho-bin1 courses
polski Pełny opis: Cele kształcenia dla przedmiotu: Przekazanie i utrwalenie informacji z zakresu składni koreańskiej1 courses
historii języka koreańskigo i jego współczesnych dialektów1 courses
a także refleksję o charakterze metagramatycznym. Treści programowe: Części zdania1 courses
typy zdań1 courses
zdania złożone1 courses
Kategoria Czasu1 courses
Typy Negacji1 courses
Rodzaje Honoryfikacji1 courses
historia języka koreańskiego1 courses
współczesne dialekty koreańskie. Literatura: Ihm Ho-bin1 courses
polski Pełny opis: 1. Od czasów najdawniejszych do Wielkich Moraw. 2. Od Wielkich Moraw do utworzenia państwa Przemyślidów. Państwo Przemyślidów. 3. Królestwo Luksemburgów. Husytyzm. 4. Królestwo Jagiellonów. Czechy Habsburgów. 5. Czechosłowacja międzywojenna. 6. Czechosłowacka Republika Socjalistyczna. 7. Czechy współczesne. 8. Pojęcia kluczowe dla historii Czech: Karta 771 courses
Praska Wiosna1 courses
aksamitna rewolucja itp. Literatura: Orzechowski M.1 courses
Historia Czechosłowacji1 courses
Wrocław 1969.1 courses
angielski Zajęcia w cyklu "Semestr zimowy 20241 courses
25" Okres: 2024-10-01 - 2025-02-03 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK CZ PT Typ zajęć: Wykład1 courses
6 godzin więcej informacji Koordynatorzy: Aleksandra Bar Prowadzący grup: Aleksandra Bar Lista studentów: Zaliczenie: Przedmiot - Zaliczenie lub ocena Wykład - Zaliczenie lub ocena Zajęcia w cyklu "Semestr zimowy 20251 courses
26" Okres: 2025-10-01 - 2026-02-04 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WYK WT ŚR CZ PT Typ zajęć: Wykład1 courses
6 godzin więcej informacji Koordynatorzy: Prowadzący grup: Aleksandra Bar Lista studentów: Zaliczenie: Przedmiot - Zaliczenie lub ocena Wykład - Zaliczenie lub ocena Zajęcia w cyklu "Semestr zimowy 20261 courses
27" Okres: 2026-10-01 - 2027-02-05 Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK CZ PT Typ zajęć: Wykład1 courses
6 godzin więcej informacji Koordynatorzy: Prowadzący grup: Aleksandra Bar Lista studentów: Zaliczenie: Przedmiot - Zaliczenie lub ocena Wykład - Zaliczenie lub ocena1 courses
polski Pełny opis: 4. Cele przedmiotu: Celem zajęć jest przekazanie podstawowej wiedzy z zakresu historii doktryn politycznych i prawnych oraz ukazanie związków pomiędzy rozważaniami teoretycznymi o istocie prawa1 courses
katolicka nauka społeczna) . Literatura: 8. Literatura przedmiotu: Leksykon myślicieli politycznych i prawnych1 courses
Chojnicka K.1 courses
Poznań 2004 Baszkiewicz J.1 courses

Courses at Uniwersytet Wroclawski

Browse the full course catalog

Exchange partners (1)

Laval University Quebec City, Canada