Metody odrzucania wyrażeń - Grzegorz Bryll - książka wyd. 1996
85,03 zł
tezeusz.pl Zobacz w sklepie Opis
Metody odrzucania wyrażeń autorstwa Grzegorz Bryll to monografia z zakresu logiki matematycznej. Autor przedstawia teorię odrzucania wyrażeń (zdań) oraz jej zastosowania w systemach logicznych i metodologii nauki. Omawia formalne metody wnioskowania, aksjomatyczne systemy odrzucania oraz związki tej teorii z dowodzeniem i analizą logiczną. Publikacja jest przeznaczona przede wszystkim dla osób zajmujących się logiką, matematyką, informatyką i filozofią nauki.