Wprowadzenie do logiki temporalnej - Radosław Klimek - książka wyd. 1999
26,79 zł
tezeusz.pl Zobacz w sklepie Opis
Książka „Wprowadzenie do logiki temporalnej” to przystępne i systematyczne wprowadzenie do logiki zajmującej się analizą czasowych aspektów zdarzeń i stanów. Autor przedstawia podstawowe pojęcia, operatory temporalne oraz metody formalizacji i weryfikacji systemów dynamicznych. Publikacja jest skierowana do studentów informatyki, matematyki, filozofii oraz wszystkich zainteresowanych formalnymi metodami opisu czasu i zmian.