PRZETWARZANIE I ANALIZA DANYCH W JĘZYKU PYTHON Kod przedmiotu (USOS)
KOMBINATORYKA NA SŁOWACH Kod przedmiotu (USOS)
Course code 1120-MA000-LSP-0627
75 Nazwa przedmiotu w
ję-zyku polskim Course title (Polish)
Kombinatoryka na słowach
Nazwa przedmiotu w ję-zyku angielskim Course title (English)
Combinatorics on words
A. Usytuowanie przedmiotu w systemie studiów / The location of the course in the system of studies Poziom kształcenia
Study programme Studia pierwszego / drugiego () stopnia BSc studies / MSc studies
Forma i tryb prowadzenia studiów
Mode of study
Stacjonarne Full-time studies Kierunek studiów ()
(dedy-kowany) Field of study
Informatyka i Systemy Informacyjne / Informatyka / Inżynieria i Analiza Danych
Computer Science and Information Systems / Computer Science / Data Science
Kierunek studiów ()
Field of study Matematyka / Inżynieria i Analiza Danych Mathematics / Data Science
Profil studiów
Study programme profile Profil ogólnoakademicki General academic profile Specjalność ()
Specialisation -
Jednostka prowadząca Unit administering the co-urse
Wydział Matematyki i Nauk Informacyjnych Faculty of Mathematics and Information Science Jednostka realizująca
Unit delivering the course Wydział Matematyki i Nauk Informacyjnych Faculty of Mathematics and Information Science Koordynator przedmiotu ()
Course coordinat Jarosław Grytczuk Osoby prowadzące zajęcia
Course teachers Małgorzata Śleszyńska-Nowak, Joanna Chybowska-Sokół B. Ogólna charakterystyka przedmiotu / General characteristics of the course Blok przedmiotów ()
Block of the courses Kierunkowe Poziom przedmiotu ()
Level of the courses Zaawansowany / Średniozaawansowany / podstawowy Advanced / intermediate / basic
Grupa przedmiotów ()
Group of the courses Obieralne Electives Status przedmiotu ()
Type of the course Obieralny Elective Język prowadzenia zajęć ()
Language of instruction Polski / Angielski (1) Polish / English Semester nominalny
Proper semester of study 5 (studia I stopnia), 1, 3 (studia II stopnia)
76 Minimalny numer semestru
Earliest semester of study Usytuowanie realizacji w roku akademickim Semester in academic year
Semestr letni (1)
Summer semester / winter semester Wymagania wstępne /
przedmioty poprzedzające Prerequisites
matematyka dyskretna, algebra liniowa, rachunek prawdopodobieństwa
Limit liczby studentów
Limit of the number of stu-dents
Liczba grup:
Ćwiczenia – 30 osób / grupa Laboratoria – 15 osób / grupa () Number of groups:
Tutorial – 30 persons per group Laboratory – 15 person per group
C. Efekty uczenia się i sposób prowadzenia zajęć / Learning outcomes and methods of teaching Cel przedmiotu (, )
Course objective Cel przedmiotu:
Celem przedmiotu jest zaznajomienie słuchaczy z głównymi wynikami kombinatorycznej teorii liczb, począwszy od klasyki (twierdzenie Schura i Van der Waerdena), na najnowszych wynikach i problemach otwartych kończąc.
Course objective:
Efekty uczenia się
Learning outcomes Patrz TABELA 1.
Table 1.
Formy zajęć i ich wymiar (semestralny) ()
Type of classes and hours of instruction per week
Wykład / Lecture 30
Ćwiczenia / Tutorial 0
Laboratorium / Laboratory 0
Projekt / Project classes 15
77 Treści kształcenia (11, ) Wykład:
1. Ciągi bez repetycji.
2. Ciągi bez nakładek i potęg.
3. Unikanie ogólnych wzorców.
4. Twierdzenie Zimina.
5. Lemat Lokalny Lovasza i jego zastosowania w kombinatoryce na słowach.
6. Algorytmiczna wersja lematu lokalnego Lovasza.
7. Rozgrywana wersja lematu lokalnego Lovasza.
8. Gry Thuego.
10. Twierdzenie Thuego on-line.
Ćwiczenia:
Laboratorium:
Projekt:
Lecture:
Tutorial:
Laboratory:
Project classes:
Metody dydaktyczne (11, ) Teaching methods
78 Metody i kryteria oceniania
/ regulamin zaliczenia (11)
Metody sprawdzania efek-tów uczenia się
Learning outcomes verifi-cation methods
Patrz TABELA 1.
Table 1.
Egzamin
Examination Tak
Yes Literatura i oprogramowa-nie
Bibliography and software
1. Lothaire, Combinatorics on Words, Cambridge University Press, 1987.
2. 2. E. Demaine, R. A. Hearn, Games, Puzzles, and Computation, A. K. Pe-ters, 2009.
3. N. Alon, J. Spencer, The probabilistic method, 4th edition, Wiley, 2016.
Witryna www przedmiotu
Course homepage
http://pages.mini.pw.edu.pl/~grytczukj/www/?Dydaktyka:Kombi-natoryka_na_s%C5%82owach
D. Nakład pracy studenta / Student workload Liczba punktów ECTS ()
Number of ECTS credit points
4
E. Informacje dodatkowe / Additional information Uwagi ()
Remarks -
TABELA 1. EFEKTY PRZEDMIOTOWE / TABLE 1. LEARNING OUTCOMES
1. Efekty uczenia się i ich odniesienie do charakterystyk drugiego stopnia Polskiej Ramy Kwalifikacji oraz efektów uczenia się dla kierunków Informatyka i Systemy Informacyjne, Matematyka oraz Inżynieria i Analiza Danych
Efekty ucze-nia się dla
modułu
OPIS EFEKTÓW UCZENIA SIĘ (11, ) Absolwent studiów I/II stopnia na kierunku
Informatyka i Systemy Informacyjne / Matematyka / Inżynieria i Analiza Danych
LEARNING OUTCOMES The graduate of
Computer Science and Information Systems / Mathematics / Data Science
Odniesienie do
charaktery-styk drugiego stopnia PRK ()
Odniesienie do efektów uczenia się dla
kierun-ków ()
WIEDZA / KNOWLEDGE M1_W16 Ma wiedzę w zakresie algebry, w szczególności zna
poję-cie i podstawowe własności grupy, pierśpoję-cienia, ciała, ho-momorfizmu oraz ich podstawowe związki z teorią liczb.
79
M1_W14 Ma wiedzę w zakresie logiki, teorii mnogości i kombinato-ryki. W szczególności: zna pojęcie i podstawowe własności zbioru, relacji równoważności, relacji porządku, grafu, do-brze rozumie rolę i znaczenie dowodu w matematyce.
M2_W03 Ma ogólną wiedzę o aktualnych kierunkach rozwoju i naj-nowszych odkryciach w zakresie matematyki.
M2MNI_W0 1
Ma pogłębioną wiedzę w zakresie wybranych struktur al-gebraicznych występujących w matematyce i w zastoso-waniach, w tymi takich, które pojawiają się w teorii liczb, w teorii kodowania i w kryptografii.
UMIEJĘTNOŚCI / SKILLS M1_U11 Absolwent potrafi w sposób zrozumiały, przedstawić
po-prawne rozumowanie matematyczne, formułować twier-dzenia i definicje, posługuje się rachunkiem zdań i kwan-tyfikatorów, językiem teorii mnogości, indukcją matema-tyczną, rekurencją.
M1_U25 Absolwent potrafi współdziałać i pracować w grupie, przyjmując w niej różne role.
KOMPETENCJE SPOŁECZNE / SOCIAL COMPETENCE M1_K01 Rozumie potrzebę uczenia się przez całe życie.
M1_K06 Rozumie społeczne aspekty praktycznego stosowania zdo-bytej wiedzy i umiejętności oraz związaną z tym odpowie-dzialność.
2. Formy prowadzenia zajęć i sposób weryfikacji efektów uczenia się Types of classes and learning outcomes verification methods
Zamierzone efekty ()
Expected learning outcomes Forma zajęć ()
Type of classes Sposób weryfikacji (11, ) Verification method
Opis przedmiotu / Course description
BAZY DANYCH