Lista przekierowań
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania
Poniżej wyświetlono co najwyżej 50 wyników w zakresie od 301 do 350.
- Paradygmaty programowania/Ćwiczenia 8 → Paradygmaty programowania/Ćwiczenia 8: U podstaw programowania funkcyjnego — rachunek lambda
- Paradygmaty programowania/Ćwiczenia 9 → Paradygmaty programowania/Ćwiczenia 9: U podstaw programowania obiektowego — rachunek sigma
- Przykładowa strona przedmiotu → Nazwa przykładowego przedmiotu
- RPS Moduł 1 → Algebra liniowa z geometrią analityczną/Wykład 1: Ciała i przestrzenie wektorowe I
- Rezultaty projektu → Strona Główna
- Rozdział 1 → LW1 Modul1 - ćwiczenie 2
- Rozdział 2 → LW1 Modul3 - ćwiczenie 3
- Rysunek AM1.M03.W.R11 (nowy: plan Turynu) → Analiza matematyczna 1/Wykład 3: Odległość i ciągi/Mapa Turynu
- SO Ćwiczenia 1 → Semantyka i weryfikacja programów/Ćwiczenia 1
- SW wykład 1 - Slajd1 → SW wykład 1 - Wstęp
- SW wykład 1 - Slajd2 → SW wykład 1 - Literatura
- SW wykład 1 - Slajd3 → SW wykład 1 - Programy
- SW wykład 1 - Slajd4 → SW wykład 1 - Programy, sprzeczne oczekiwania
- SW wykład 1 - Slajd5 → SW wykład 1 - Wielki Cel
- Semantyka operacyjna/SO Moduł 1 → Semantyka i weryfikacja programów/Semantyka operacyjna 1
- Siatka licencjacka Politechnika → Siatka 7-semestralnych studiów inżynierskich
- Siatka licencjacka Uniwersytet → Siatka 6-semestralnych studiów licencjackich
- Siatka magisterska Politechnika → Siatka 3-semestralnych studiów magisterskich (profil techniczny)
- Siatka magisterska Uniwersytet → Siatka 4-semestralnych studiów magisterskich (profil nietechniczny)
- Siatki → Przedmioty
- Strona Główna → Strona główna
- Systemy operacyjne 2 → Rozproszone systemy operacyjne
- Sztuczna inteligencja/Moduł 3 → Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG'u
- Sztuczna inteligencja/SI Moduł 1 → Sztuczna inteligencja/SI Moduł 1 - O czym jest ten przedmiot
- Sztuczna inteligencja/SI Moduł 10 → Sztuczna inteligencja/SI Moduł 10 - Zadanie i metody klasyfikacji
- Sztuczna inteligencja/SI Moduł 11 → Sztuczna inteligencja/SI Moduł 11 - Zadanie i metody regresji
- Sztuczna inteligencja/SI Moduł 13 → Sztuczna inteligencja/SI Moduł 13 - Uczenie się ze wzmocnieniem
- Sztuczna inteligencja/SI Moduł 2 → Sztuczna inteligencja/SI Moduł 2 - Od logiki do wnioskowania
- Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG'u → Sztuczna inteligencja/SI Moduł 3 - Wnioskowanie w PROLOG-u
- Sztuczna inteligencja/SI Moduł 4 → Sztuczna inteligencja/SI Moduł 4 - Wnioskowanie na podstawie wiedzy niepewnej i niepełnej
- Sztuczna inteligencja/SI Moduł 5 → Sztuczna inteligencja/SI Moduł 5 - Wnioskowanie jako metoda przeszukiwania
- Sztuczna inteligencja/SI Moduł 8 → Sztuczna inteligencja/SI Moduł 8 - Gry dwuosobowe
- Sztuczna inteligencja/SI Moduł 9 → Sztuczna inteligencja/SI Moduł 9 - Wnioskowanie indukcyjne
- TI Wykład 1 → Teoria informacji/TI Wykład 1
- Teoria kategorii dla informatyków/TKI Moduł 1 → Teoria kategorii dla informatyków/Wykład 1: Teoria kategorii jako abstrakcyjna teoria funkcji
- Teoria kategorii dla informatyków/TKI Moduł 10 → Teoria kategorii dla informatyków/Wykład 10: Sprzężenia II
- Teoria kategorii dla informatyków/TKI Moduł 12 → Teoria kategorii dla informatyków/Wykład 12: Teoria dziedzin I
- Teoria kategorii dla informatyków/TKI Moduł 13 → Teoria kategorii dla informatyków/Wykład 13: Teoria dziedzin II
- Teoria kategorii dla informatyków/TKI Moduł 14 → Teoria kategorii dla informatyków/Wykład 14: Teoria dziedzin III
- Teoria kategorii dla informatyków/TKI Moduł 2 → Teoria kategorii dla informatyków/Wykład 2: Morfizmy specjalne
- Teoria kategorii dla informatyków/TKI Moduł 3 → Teoria kategorii dla informatyków/Wykład 3: Zasada dualności i proste konstrukcje uniwersalne
- Teoria kategorii dla informatyków/TKI Moduł 4 → Teoria kategorii dla informatyków/Wykład 4: Zaawansowane konstrukcje uniwersalne
- Teoria kategorii dla informatyków/TKI Moduł 5 → Teoria kategorii dla informatyków/Wykład 5: Funktory i transformacje naturalne
- Teoria kategorii dla informatyków/TKI Moduł 7 → Teoria kategorii dla informatyków/Wykład 7: Lemat Yonedy i funktory reprezentowalne
- Teoria kategorii dla informatyków/TKI Moduł 8 → Teoria kategorii dla informatyków/Wykład 8: Diagramy, granice i kogranice
- Teoria kategorii dla informatyków/TKI Moduł 9 → Teoria kategorii dla informatyków/Wykład 9: Sprzężenia I
- Teoria kategorii dla informatyków/TKI Ćwiczenia 1 → Teoria kategorii dla informatyków/Ćwiczenia 1: Teoria kategorii jako abstrakcyjna teoria funkcji
- Teoria kategorii dla informatyków/TKI Ćwiczenia 10 → Teoria kategorii dla informatyków/Ćwiczenia 10: Sprzężenia II
- Teoria kategorii dla informatyków/TKI Ćwiczenia 12 → Teoria kategorii dla informatyków/Ćwiczenia 12: Teoria dziedzin I
- Teoria kategorii dla informatyków/TKI Ćwiczenia 13 → Teoria kategorii dla informatyków/Ćwiczenia 13: Teoria dziedzin II