Marcin Kotowski - Logika a Złożoność Obliczeniowa

Temat: Logika oczami informatyka (teoretyka ;))
Czas trwania: 1,5 h
Opis: W zastosowaniach logiki w informatyce często staramy się zbudować język logiczny, który z jednej strony będzie umożliwiał wyrażenie wszystkich własności badanego przez nas układu, systemu czy programu, a z drugiej będzie to czynił jak najoszczędniej. Opowiem, czym różnią się od siebie różne rodzaje logik i jak hierarchia logik związana jest z ich złożonością obliczeniową.
Wymagania: ogólna ogłada informatyczna; osobom, które na poprzednich WWW słuchały czegoś o teorii obliczeń, będzie pewnie łatwiej :)
Komentarze: