Strona poprzedniej edycji przedmiotu. Opis w Systemie Zapisy.

Opis przedmiotu w Systemie Zapisów

Kurs ten stanowi praktyczne wprowadzenie do wszechstronnego i darmowego programu Blender, pokrywając kluczowe aspekty tworzenia grafiki 3D. Rozpoczynając od podstaw interfejsu, nawigacji i operacji na obiektach, uczestnicy przejdą krok po kroku przez proces modelowania na trójkątach, wykorzystanie modyfikatorów, przygotowanie modeli do teksturowania (UV mapping) oraz tworzenie realistycznych materiałów PBR przy użyciu systemu bloczków. Kurs obejmuje również techniki oświetlania scen, konfigurację ustawień renderowania w silnikach Eevee i Cycles, a także podstawy animacji obiektów. W dalszej części poruszone zostaną bardziej zaawansowane zagadnienia, takie jak wstęp do riggingu postaci, rzeźbienia cyfrowego, modelowania proceduralnego z Geometry Nodes, symulacji fizycznych (tkaniny, ciała sztywne), unikalne możliwości rysunku 2D w 3D dzięki Grease Pencil oraz postprodukcji obrazu w Compositorze

Metody programowania to jeden z przedmiotów obowiązkowych. Jego zasadniczym celem jest objaśnienie zasad rządzących językami programowania oraz ich implementacjami: interpreterami i kompilatorami. Przedmiot ma charakter praktyczny: zagadnienia są prezentowane przy użyciu funkcyjnego języka programowania. Kładziony jest nacisk na używanie języków programowania jako formalnych narzędzi komunikacji między ludźmi.

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ą, matematyką dyskretną czy kombinatoryką. Wszystko zacznie się od krótkiego kursu Maple'a, który będzie podstawowym narzędziem tego wykładu (patrz też strona PAS w SKOSie).

Pierwsze spotkanie: 3 marca, godz. 10.15, s. 105.

Język C# i platforma .NET to kluczowe elementy ekosystemu platformy Windows - i nie tylko, z uwagi na multiplatformowość środowiska. Otwiera to rozliczne zastosowania, w tym programowanie aplikacji desktop, web, gamedev czy devops. W trakcie wykładu szczegółowo zapoznamy się z możliwościami języka i platformy. Zajęcia skierowane do wszystkich zainteresowanych poszerzeniem swojego warsztatu.

https://zapisy.ii.uni.wroc.pl/courses/scala-in-practice-202526-letni

https://zapisy.ii.uni.wroc.pl/courses/teoria-kategorii-w-informatyce-202526-letni

C++23 to najnowsza wersja języka C++. Język C++ prawdza się, gdy chcemy zapewnić wysoką wydajność programu. Doskonale nadaje się do zastosowań systemowych, inżynierskich i algorytmicznych. Język ten jest stale rozwijany a kolejne jego specyfikacje, czyli C++11, C++14, C++17, C++20 i C++23, przyniosły wiele zmian i udogodnień. W porównaniu z językiem C++98 (standard z roku 1998) przeszedł on tak dużą transformację, że można śmiało powiedzieć, że jest to nowy język programowania. Aby w pełni wykorzystać potencjał współczesnego języka C++ należy go używać wraz z biblioteką standardową STL. C++ i STL to doskonałe narzędzie do zaimplementowania oprogramowania bardzo wysokiej jakości.

Przedmiot jest kontynuacją Logiki dla Informatyków przeznaczoną dla studentów zainteresowanych teorią informatyki. Celem jego jest rozszerzenie podstaw wiedzy z zakresu logiki matematycznej i dziedzin pokrewnych o narzędzia potrzebne do zaawansowanych studiów w obszarach związanych z logiką i weryfikacją czy teorią języków programowania, bez wchodzenia w tematykę ściśle badawczą. W tym celu będziemy koncentrować się na podstawowych zagadnieniach trzech aspektów logiki matematycznej: algebry uniwersalnej, teorii dowodu i podstawach semantyki logik, z naciskiem na perspektywę i użyteczność w informatyce

Kurs przedmiotu Metody Implementacji Algorytmów w roku 2025/2026.

Na wykładzie wprowadzone jest teoria i podstawowe metody, które umożliwiają efektywne programowanie grafiki z użyciem kart graficznych. Wykład nie jest jednak kursem biblioteki OpenGL. 

Wykład jest wprowadzeniem do projektowania układów cyfrowych przy użyciu języka opisu sprzętu Verilog oraz ich implementacji na układach FPGA. W ramach zajęć student nauczy się również metod testowania sprzętu oraz zapozna się z podstawami formalnej weryfikacji układów cyfrowych.

Wstęp do informatyki 2025/26

Wstępny kurs programowania na przykładzie języka Python.

Na seminarium czytać będziemy prace dotyczące rozstrzygalności i złożoności problemów spełnialności (czy dana formuła ma model), skończonej spełnialności (czy dana formuła ma model skończony) oraz związanych z nimi problemów odpowiadania na zapytania do baz danych/baz wiedzy (dla danej bazy D, teorii logicznej T i zapytania q, czy prawdą jest, że każdy model/skończony model D i T spełnia q?)

Interesować nas będą fragmenty logiki pierwszego rzędu (two-variable fragment, guarded fragment, unary negation fragment, guarded negation fragment, …) oraz logiki deskrypcyjne.

Materiał będzie się częściowo pokrywał z materiałem przedmiotu Problemy Decyzyjne w Logice, ale będzie też sporo innych rzeczy i osoby, które ten przedmiot zaliczyły mogą śmiało zapisać się na seminarium.

Niewykluczone, że spotkamy się z pewnymi problemami otwartymi, które będzie można próbować rozwiązać.

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. 

PWO++ to najlepszy język programowania (autor animacji wykorzystującej krzywe Béziera: Jan Lachowski).

Krzywe i powierzchnie to podstawowe obiekty grafiki komputerowej. To właśnie przy ich pomocy można modelować skomplikowane kształty i sceny, którym nadaje się później cechy realistyczne i wykorzystuje na przykład w 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ązanych, które pozwolą uczestnikom zajęć przygotować własny edytor krzywych i powierzchni.

C++ to obiektowo zorientowany język programowania. Został on zaprojektowany przez Bjarne'a Stroustrupa z myślą o programowaniu systemowym oraz do zaawansowanych obliczeń inżynierskich. Świadome używanie C++ do rozwiązywania problemów algorytmicznych daje dużo satysfakcji doświadczonym programistom, zwłaszcza dlatego, że generowany przez kompilator kod jest bardzo efektywny.

Celem kursu jest zapoznanie studentów z bogatą składnią języka C++, różnorodnymi technikami stosowanymi w programowaniu w C++ oraz z wybranymi fragmentami biblioteki STL.

Seminarium poświęcone jest automatom skończonym, algorytmom uczenia maszynowego oraz ich zastosowaniom w różnych dziedzinach. Program obejmuje zagadnienia od podstaw teoretycznych po zaawansowane metody uczenia i wykorzystanie automatów w różnych dziedzinach, w tym w weryfikacji formalnej. Przygotowanie i prezentacja wybranego tematu umożliwiają rozwinięcie umiejętności analizy, pracy z literaturą naukową oraz komunikowania złożonych zagadnień.

Każdy uczestnik dostanie jeden temat do przygotowania i zaprezentowania reszcie grupy.

Opis przedmiot w Systemie Zapisów

Java to współczesny obiektowy język programowania stworzony przez Jamesa Goslinga z firmy Sun Microsystems. Od momentu powstania w połowie lat 90-tych XX wieku przeżył on dynamiczny rozwój a zainteresowanie nim nie maleje. Język Java przyciągnął do dziś wiele milionów programistów. Znajduje zastosowanie w każdej ważniejszej gałęzi przemysłu informatycznego i jest obecny w różnego rodzaju urządzeniach, komputerach i sieciach. Popularność Javy wynika przede wszystkim z przenośności programów i niezależności od konkretnej platwormy sprzętowej, a co za tym idzie, ma zastosowanie w Internecie oraz ogólnie w aplikacjach sieciowych. Jego podstawowe koncepcje zostały przejęte z języka Smalltalk (maszyna wirtualna, odśmiecanie pamięci) oraz z języka C++ (znaczna część składni i słów kluczowych).

Zajęcia te to kontynuacja kursu Javy z poprzedniego semestru. Celem tych zajęć jest poznanie najpopularniejszych obecnie technologii używanych przez zawodowych programistów Javy.

Celem projektu jest praktyczna nauka architektur komputerów poprzez ich implementację w formie umożliwiającej syntezę na układy FPGA. Pierwszym krótkoterminowym celem projektu jest zaimplementowanie minimalnego rdzenia RISC-V (RV32I) w mikroarchitekturze out-of-order. Implementacja będzie miała w założeniu modularny charakter „generatora rdzeni”, umożliwiający dodawanie, rekonfigurację i wymianę elementów składowych rdzenia bez głębokich zmian w kodzie.

Opis przedmiotu w Systemie Zapisów

Prace Churcha, Turing i Goedla z początków XX w. pokazały, że problem spełnialności (czy dana formuła ma model?) dla logiki pierwszego rzędu jest nierozstrzygalny. Wyniki te zapoczątkowały duży program badawczy, którego celem było ustalenie, które naturalne fragmenty logiki pierwszego rzędu są rozstrzygalne. Nieco później dodatkowym bodźcem dla tego programu stały się potencjalne zastosowania w informatyce (bazy danych, reprezentacja wiedzy, automatyczna weryfikacja programów i sprzętu, sztuczna inteligencja, itd.). Oczywiście, zwiększyły one też zainteresowanie badaczy dokładną złożonością obliczeniową problemu spełnialności w przypadku fragmentów rozstrzygalnych.

Na wykładzie przedstawię szereg wyników dotyczących rozstrzygalności/nierozstrzygalności i złożoności obliczeniowej logik motywowanych teorią informatyki.

W programie m.in.: logiki modalne, temporalne i deskrypcyjne, logiki z dwiema zmiennymi, fragmenty strzeżone, logika z unarną negacją. Wykład będzie oparty głównie na pracach opublikowanych w ciągu ostatnich dwudziestu kilku lat, choć opowiem oczywiście również o paru klasycznych wynikach, sięgając m.in. do prac Kurta Gödla.

Wymagania: Logika dla informatyków, Zalecane: Języki formalne i złożoność obliczeniowa