Najnowsze artykuły
- ArtykułyKsiążki o przyrodzie: daj się ponieść pięknu i sile natury podczas lektury!Anna Sierant1
- ArtykułyTu streszczenia nie wystarczą. Sprawdź swoją znajomość lektur [QUIZ]Konrad Wrzesiński27
- ArtykułyCzytamy w weekend. 10 maja 2024LubimyCzytać406
- Artykuły„Lepiej skupić się na tym, żeby swoją historię dobrze opowiedzieć”: wywiad z Anną KańtochSonia Miniewicz2
Popularne wyszukiwania
Polecamy
Zdzisław Pawlak
Źródło: https://pl.wikipedia.org/wiki/Zdzis%C5%82aw_Pawlak#/media/Plik:Zdzis%C5%82aw_Ignacy_Pawlak.jpg
Znany jako: prof. dr hab. Zdzisław PawlakZnany jako: prof. dr hab. Zdzisław Pawlak
7
7,0/10
Urodzony: 10.11.1926Zmarły: 07.04.2006
Polski matematyk, logik i informatyk, profesor Politechniki Warszawskiej.
Jest twórcą teorii zbiorów przybliżonych, członek rzeczywisty Polskiej Akademii Nauk.http://nauka-polska.pl/#/profile/scientist?id=63903&_k=5m3533
Jest twórcą teorii zbiorów przybliżonych, członek rzeczywisty Polskiej Akademii Nauk.http://nauka-polska.pl/#/profile/scientist?id=63903&_k=5m3533
7,0/10średnia ocena książek autora
2 przeczytało książki autora
18 chce przeczytać książki autora
0fanów autora
Zostań fanem autoraKsiążki i czasopisma
- Wszystkie
- Książki
- Czasopisma
Najnowsze opinie o książkach autora
Automatyczne dowodzenie twierdzeń Zdzisław Pawlak
8,0
Książka porusza podstawy automatycznego dowodzenia twierdzeń matematycznych, a ściślej tego, co dziś nazywa się zautomatyzowanym rozumowaniem. Jest to pozycja już wiekowa, zawierająca wiele naiwnych koncepcji oraz charakteryzująca się dużą dozą ostrożności w przewidywaniach. Posiada jednak walory edukacyjne, z których najważniejszym jest syntetyczne i zwięzłe przedstawienie koncepcji rozkładu twierdzeń logiki, aż do ich aksjomatycznych podstaw. Jest to niewątpliwie plus w stosunku do publikacji dzisiejszych, w których temat ten ginie w gąszczu współczesnych struktur danych oraz wątków pobocznych, związanych z ewaluacją, analizą leksykalną i parsingiem.
Ciekawym, chociaż krótkim rozdziałem jest przedstawienie podstaw rachunku Gentzena. Niestety temat ten nie doczekał się w polskiej literaturze naukowej zbyt bogatej bazy.
Książkę można polecić głównie studentom oraz uczniom szkół średnich, aczkolwiek patyna czasu sprawia, że jest inspirująca nawet dla specjalistów pracujących w temacie.