Piotr Kulicki – Aksjomatyczne systemy rachunku nazw
Książka prezentuje bogactwo aksjomatycznych systemów rachunku nazw. Przedstawia, w jednolity sposób, szereg znanych systemów skonstruowanych przez jej autora. Prezentując różne ...
Tag: rachunek nazw
Polecane
Nowe ebooki
Julia Millerowa – Krótki podręcznik bibliotekarski
Włoski Gramatyka
Włoski Gramatyka Włoski Gramatyka to rozbudowany kurs do samodzielnej nauki dla osób początkujących i średnio zaawansowanych. Kurs przystępnie objaśnia najważniejsze...
Read moreLeonard Mlodinow, Stephen Hawking – Jeszcze krótsza historia czasu
„Krótka historia czasu”, światowy bestseller Stephena Hawkinga, wszedł do kanonu literatury popularnonaukowej. Do sukcesu książki przyczyniły się zarówno renoma autora,...
Read moreAgnieszka Borkowska – Mały programista. Kurs video. Programowanie gier w Scratch 2.0
Scratch to język programowania oraz środowisko programistyczne obdarzone fantastycznymi zaletami: jest proste w nauce, przejrzyste, zabawne i pozwala na stworzenie...
Read more