Kliknij by powiększyć zdjęcie
Strona domowa
Badania naukowe
Lista publikacji
Komitety programowe
Uczniowie
Organizacja konferencji
Granty
Życiorys
Osiągnięcia
Dydaktyka
Inne materiały
Wybory Rektora 2002
Wersja do druku Wersja drukowalna
English version English version
Leszek Pacholski

Badania naukowe

Moje zainteresowania badawcze: logika w informatyce (teoria modeli, więzy mnogościowe, równania na słowach, prawa zero-jedynkowe, logiki z dwiema zmiennymi), programowanie w logice i teoria języków programowania (analiza statyczna, typy, bezpieczeństwo).

Copyright © Leszek Pacholski, 2002–2005.
Licznik odwołań do stronyLicznik odwołań do stronyLicznik odwołań do stronyLicznik odwołań do stronyLicznik odwołań do strony