Najnowsze artykuły
- ArtykułyMaj 2024: zapowiedzi książkowe. Gorące premiery książek – część 2LubimyCzytać1
- ArtykułyTo do tych pisarek należał ostatni rok. Znamy finalistki Women’s Prize for Fiction 2024Konrad Wrzesiński7
- ArtykułyMaj 2024: zapowiedzi książkowe. Gorące premiery książek – część 1LubimyCzytać12
- Artykuły„Horror ma budzić koszmary, wciskać kolanem w błoto i pożerać światło dnia” – premiera „Grzechòta”LubimyCzytać1
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.