Elementarny wykład logiki formalnej z ćwiczeniami komputerowymi - Małgorzata Porębska - książka wyd. 1995
20,11 zł 23,00 zł
tezeusz.pl Zobacz w sklepie Opis
Spis treści: Od Autorów Jak korzystać z programu komputerowego L95 Wykład Rachunek logiczny Język rachunku logicznego Wartościowania System aksjomatyczny Twierdzenie o pełności Język podstawowy rachunku zadań Notacja beznawiasowa Notacja nawiasowa Klasyczny rachunek zadań Wartościowania w KRZ System aksjomatyczny KRZ Twierdzenie o pełności dla KRZ ... Fragment z książki : " Kurs nazwany LOGIKA & KOMPUTER, powstał w wyniku prac prowadzonych w Zakładzie Logiki Instytutu Filozofii UJ nad wykorzystaniem komputerów do nauczania logiki formalnej."