Selected Topics in Mathematics Field of study: Applied Computer Science
Programme code: W4-S1IS19.2023

Module name: Selected Topics in Mathematics
Module code: W4-IS-S1-WZM
Programme code: W4-S1IS19.2023
Semester:
  • winter semester 2024/2025
  • winter semester 2023/2024
Language of instruction: Polish
Form of verification: exam
ECTS credits: 11
Purpose and description of the content of education:
Celem modułu jest zdobycie przez studiującego wiedzy i umiejętności w zakresie następujących treści kształcenia: 1. Elementy logiki i teorii zbiorów, zbiory liczbowe, funkcje: rachunek zdań, reguły wnioskowania, funkcja zdaniowa i kwantyfikatory, działania na zbiorach, liczby zespolone, postać trygonometryczna liczby zespolonej, funkcje, dziedzina i przeciwdziedzina, funkcja różnowartościowa i "na", obraz i przeciwobraz, działania na funkcjach, funkcja odwrotna, złożona, przykłady funkcji i ich wykresy (w tym funkcje cyklometryczne), operacje arytmetyczne na funkcjach i zmiana wykresów, własności funkcji (różnowartościowość, monotoniczność, okresowość, parzystość itp.). 2. Przestrzenie metryczne: definicja przestrzeni metrycznej, przykłady przestrzeni metrycznych, kule w przestrzeniach metrycznych. 3. Ciągi: własności ciągów liczbowych - działania arytmetyczne, ciągi liczb rzeczywistych - twierdzenie o trzech ciągach, przykłady obliczania granic, ciągi rozbieżne do nieskończoności, twierdzenie Stolza, granice częściowe. 4. Szeregi: proste przykłady i elementarne twierdzenia o szeregach, kryterium porównawcze zbieżności, kryterium d'Alemberta i Cauchy'ego, twierdzenie Leibniza, szeregi potęgowe - twierdzenie Abela i Cauchy'ego-Hadamarda, szeregi funkcyjne - kryterium Weierstrassa, 5. Granica i ciągłość funkcji. Własności funkcji ciągłych: definicja ciągowa granicy i ciągłości, granice jednostronne i przykłady, definicja otoczeniowa (Cauchy'ego), działania na funkcjach ciągłych, przykłady granic i asymptoty, własność Darboux. 6. Pochodna funkcji jednej zmiennej: definicja pochodnej, jej geometryczna i fizyczna interpretacja , podstawowe twierdzenia w tym pochodna funkcji złożonej i odwrotnej , pochodne funkcji elementarnych, przykłady obliczania pochodnych w tym funkcji uwikłanej i danej parametrycznie oraz zastosowania do stycznych i przybliżonego obliczania wartości funkcji, pochodne wyższych rzędów: definicja, przykład, wzór Leibniza, twierdzenia o wartości średniej i ich zastosowania, wzór Taylora, reguła de L'Hospitala, badanie zmienności funkcji, szereg Taylora i Maclaurina – rozwinięcie funkcji w szereg potęgowy, rozwinięcia najważniejszych funkcji w szeregi potęgowe. 7. Całka nieoznaczona i oznaczona: definicja całki nieoznaczonej, całkowanie przez części, całkowanie przez podstawienie, całkowanie funkcji wymiernych, całkowanie pewnych funkcji niewymiernych, całka oznaczona, całka oznaczona w przedziale nieskończonym, całka niewłaściwa z funkcji nieograniczonej. 8. Elementy algebry: podstawowe pojęcia dotyczące grup, pierścieni i ciał. macierze i działania na macierzach, wyznacznik macierzy i jego własności, przestrzenie liniowe, bazy, przekształcenia liniowe, wartości i wektory własne. 9. Funkcja dwóch zmiennych rzeczywistych: pochodne cząstkowe, pochodna kierunkowa i gradient funkcji, zastosowania różniczki i pochodnej, pochodna funkcji złożonej, pochodne cząstkowe wyższych rzędów, wzór Taylora, ekstrema lokalne, ekstrema globalne, całkowanie funkcji dwóch zmiennych - całka iterowana. Krzywoliniowe układy współrzędnych, układ kartezjański i biegunowy, układy sferyczny i cylindryczny, jakobiany przejścia pomiędzy układami współrzędnych. 10. Równania różniczkowe zwyczajne: metody rozwiązywania równań różniczkowych - równanie o zmiennych rozdzielonych, równanie zupełne, równanie liniowe, układy równań różniczkowych liniowych, równania liniowe wyższych rzędów.
List of modules that must be completed before starting this module (if necessary): not applicable
Learning outcome of the module Codes of the learning outcomes of the programme to which the learning outcome of the module is related [level of competence: scale 1-5]
zna pojęcia logiki, algebry i analizy matematycznej [IS-S1-WZM_1]
IS1_W01 [5/5] IS1_W03 [3/5] IS1_W04 [2/5]
potrafi posługiwać się pojęciami i metodami algebry, logiki oraz teorii mnogości stosowanymi w informatyce. Zna najważniejsze struktury algebraiczne; potrafi stosować metody rachunku różniczkowego i całkowego funkcji jednej i wielu zmiennych. Umie rozwiązywać proste równania różniczkowe. [IS-S1-WZM_2]
IS1_W01 [4/5] IS1_U05 [4/5]
zna ograniczenia własnej wiedzy i rozumie potrzebę dalszego kształcenia [IS-S1-WZM_3]
IS1_K01 [4/5]
Form of teaching Number of hours Methods of conducting classes Assessment of the learning outcomes Learning outcomes
discussion classes [IS-S1-WZM_fs_1] 120 Description [a03] 
Activating method – flipped classroom [b09] 
Self-education [f01] 
Individual work with a text [f02] 
exam IS-S1-WZM_1 IS-S1-WZM_2 IS-S1-WZM_3
The student's work, apart from participation in classes, includes in particular:
Name Category Description
Literature reading / analysis of source materials [a02] Preparation for classes
reading the literature indicated in the syllabus; reviewing, organizing, analyzing and selecting source materials to be used in class
Developing practical skills [a03] Preparation for classes
activities involving the repetition, refinement and consolidation of practical skills, including those developed during previous classes or new skills necessary for the implementation of subsequent elements of the curriculum (as preparation for class participation)
Consulting materials complementary to those indicated in the syllabus [a04] Preparation for classes
agreeing on materials complementary to those indicated in the syllabus, supporting the implementation of tasks resulting from or necessary for class participation
Determining the stages of task implementation contributing to the verification of learning outcomes [c01] Preparation for verification of learning outcomes
devising a task implementation strategy embracing the division of content, the range of activities, implementation time and/or the method(s) of obtaining the necessary materials and tools, etc.
Studying the literature used in and the materials produced in class [c02] Preparation for verification of learning outcomes
exploring the studied content, inquiring, considering, assimilating, interpreting it, or organizing knowledge obtained from the literature, documentation, instructions, scenarios, etc., used in class as well as from the notes or other materials/artifacts made in class
Analysis of the corrective feedback provided by the academic teacher on the results of the verification of learning outcomes [d01] Consulting the results of the verification of learning outcomes
reading through the academic teacher’s comments, assessments and opinions on the implementation of the task aimed at checking the level of the achieved learning outcomes
Development of a corrective action plan as well as supplementary/corrective tasks [d02] Consulting the results of the verification of learning outcomes
reviewing and selecting tasks and activities enabling the elimination of errors indicated by the academic teacher, their verification or correction resulting in completing the task with at least the minimum passing grade
Attachments
Module description (PDF)
Information concerning module syllabuses might be changed during studies.
Syllabuses (USOSweb)
Semester Module Language of instruction
(no information given)