Uniwersytet im. Adama Mickiewicza w Poznaniu - Centralny System Uwierzytelniania

NA SKRÓTY
STUDENCI, PRACOWNICY
JEDNOSTKI ORGANIZACYJNE
PRZEDMIOTY
- Introduction to Formal Analysis
STUDIA
AKADEMIKI
POMOC

Introduction to Formal Analysis

Informacje ogólne

Kod przedmiotu:	06-S2MA02-F11710
Kod Erasmus / ISCED:	(brak danych) / (brak danych)
Nazwa przedmiotu:	Introduction to Formal Analysis
Jednostka:	Wydział Matematyki i Informatyki
Grupy:	Moodle - przedmioty Szkoły Nauk Ścisłych oferta AMU-PIE na semestr letni Przedmiot do wyboru
Punkty ECTS i inne:	6.00 Podstawowe informacje o zasadach przyporządkowania punktów ECTS: roczny wymiar godzinowy nakładu pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się dla danego etapu studiów wynosi 1500-1800 h, co odpowiada 60 ECTS; tygodniowy wymiar godzinowy nakładu pracy studenta wynosi 45 h; 1 punkt ECTS odpowiada 25-30 godzinom pracy studenta potrzebnej do osiągnięcia zakładanych efektów uczenia się; tygodniowy nakład pracy studenta konieczny do osiągnięcia zakładanych efektów uczenia się pozwala uzyskać 1,5 ECTS; nakład pracy potrzebny do zaliczenia przedmiotu, któremu przypisano 3 ECTS, stanowi 10% semestralnego obciążenia studenta.
Język prowadzenia:	język polski

Zajęcia w cyklu "Semestr letni 2023/2024" (zakończony)

Okres:	2024-02-26 - 2024-09-30	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR WYK CW CZ PT
Typ zajęć:	Ćwiczenia, 30 godzin, 21 miejsc więcej informacji Wykład, 30 godzin, 21 miejsc więcej informacji
Koordynatorzy:	Dariusz Bugajewski
Prowadzący grup:	Dariusz Bugajewski
Strona przedmiotu:	https://sylabus.amu.edu.pl/pl/document/62700eba-0a4b-43a9-bba3-52fafbc64e97.pdf
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Ćwiczenia - Zaliczenie z notą Wykład - Egzamin

Zajęcia w cyklu "Semestr letni 2024/2025" (zakończony)

Okres:	2025-02-24 - 2025-09-30	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT
Typ zajęć:	Ćwiczenia, 30 godzin więcej informacji Wykład, 30 godzin więcej informacji
Koordynatorzy:	(brak danych)
Prowadzący grup:	(brak danych)
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Ćwiczenia - Zaliczenie z notą Wykład - Egzamin
Sylabus zajęć:	https://sylabus.amu.edu.pl/pl/document/f4ab0eb4-6b68-4956-921d-d57af175ce94.pdf

Zajęcia w cyklu "Semestr letni 2025/2026" (w trakcie)

Okres:	2026-02-25 - 2026-09-30	Wybrany podział planu: tygodniowy cykl przedmiotu Przejdź do planu PN WT ŚR CZ PT
Typ zajęć:	Ćwiczenia, 30 godzin więcej informacji Wykład, 30 godzin więcej informacji
Koordynatorzy:	(brak danych)
Prowadzący grup:	(brak danych)
Lista studentów:	(nie masz dostępu)
Zaliczenie:	Przedmiot - Egzamin Ćwiczenia - Zaliczenie z notą Wykład - Egzamin
Sylabus zajęć:	https://sylabus.amu.edu.pl/pl/document/7db16e50-da04-4659-95aa-c5a361153d67.pdf

Opisy przedmiotów w USOS i USOSweb są chronione prawem autorskim.
Właścicielem praw autorskich jest Uniwersytet im. Adama Mickiewicza w Poznaniu.