Aksjomatyczne systemy rachunku nazw Zobacz większe

Aksjomatyczne systemy rachunku nazw

#129

Nowy

AutorPiotr Kulicki
Tytuł: Aksjomatyczne systemy rachunku nazw
Miejsce i rok wydaniaLublin 2011
Stron250
ISBN: 978-83-7702-216-0
Oprawamiękka

Więcej szczegółów

4 Przedmioty

29,40 zł

Dodaj do listy życzeń

Więcej informacji

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 systemy aksjomatyczne rachunku nazw, nie staramy się wskazywać, który z nich jest właściwy bądź lepszy od innych, pozostawiając wybór Czytelnikowi. Kryteria tego wyboru mogą być różne. Między innymi wymienić można posiadane intuicje dotyczące sensu funktorów rachunku nazw, zgodność z ich sposobem używania w języku naturalnym, zgodność z rozumieniem funktorów w ujęciu historycznym, względy praktyczne związane z budowaniem dowodów i wykonywaniem obliczeń. Przedstawione analizy powinny być pomocne w dokonywaniu wyboru kierowanego każdym z wymienionych kryteriów. Sens funktorów w przedstawianych systemach naświetlany jest wielostronnie – poprzez system aksjomatyczny, aksjomatyczny system odrzucania, teoriomodelową strukturę odpowiadającą systemowi. Z kolei dokonanie wyboru kierowane kryteriami obliczeniowymi wspierane jest przez rezultaty dotyczące rozmiaru dziedziny, w którym jest określony model dla systemu oraz rozmiaru matrycy potrzebnej do zdefiniowania procedury decyzyjnej.

Więcej informacji na temat książki w bazie publikacji Academicon.

Reviews

No customer comments for the moment.

Write a review

Aksjomatyczne systemy rachunku nazw

Aksjomatyczne systemy rachunku nazw

AutorPiotr Kulicki
Tytuł: Aksjomatyczne systemy rachunku nazw
Miejsce i rok wydaniaLublin 2011
Stron250
ISBN: 978-83-7702-216-0
Oprawamiękka

Write a review

30 other products in the same category:

Klienci którzy zakupili ten produkt kupili również: