Nie jesteś zalogowany |
Zaloguj się
PL
/
EN
studia
Kandydat
Student
Doktorant
Wykładowca
Erasmus
Cтуденти з України
wydział
dojazd i plan
struktura i organizacja
Rada Wydziału
pracownicy i doktoranci
formularze, dokumenty
zamówienia publiczne
badania
dziedziny badań
seminaria
publikacje
granty
Rada Dyscyplin
Sekcja Obsługi Badań
IDUB
popularyzacja
zajęcia dla uczniów
materiały online
dla studentów i matematyków
dla wszystkich
konkursy, projekty
inne materiały
USOSweb
SRS
APD
Moodle
Lab. komputerowe
Poczta studencka
Poczta pracownicza
Plany
Biblioteka
Wspomnienia
Kariera
Czytelne programowanie
Prelegent(ci)
Aleksy Schubert
Afiliacja
Uniwersytet Warszawski
Termin
12 marca 2012 10:15
Pokój
p.
4790
Seminarium
Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji