Basic Proof Theory 2ed 43 Cambridge Tracts in Theoretical Computer Science Series Number 43

289,00 zł
+ 29,99 zł wysyłka

Basic Proof Theory 2ed 43 Cambridge Tracts in Theoretical Computer Science Series Number 43

  • Marka: Unbranded
Sprzedawca:

Basic Proof Theory 2ed 43 Cambridge Tracts in Theoretical Computer Science Series Number 43

  • Marka: Unbranded

289,00 zł

W magazynie
+ 29,99 zł wysyłka
Sprzedawca:

289,00 zł

W magazynie
+ 29,99 zł wysyłka

Akceptujemy następujące metody płatności

Opis

Basic Proof Theory 2ed 43 Cambridge Tracts in Theoretical Computer Science Series Number 43

To wprowadzenie do podstawowych idei teorii dowodu strukturalnego zawiera dokładne omówienie i porównanie różnych typów formalizacji logiki pierwszego rzędu. Podano przykłady kilku obszarów zastosowań, a mianowicie: metamatematyki czystej logiki pierwszego rzędu (zarówno intuicjonistycznej jak i klasycznej); teoria programowania logicznego; teoria kategorii; logika modalna; logika liniowa; arytmetyka pierwszego rzędu i logika drugiego rzędu. W każdym przypadku celem jest zilustrowanie metod w stosunkowo prostych sytuacjach, a następnie zastosowanie ich w innych miejscach w znacznie bardziej złożonych warunkach. W całym tekście znajdują się liczne ćwiczenia. Ogólnie rzecz biorąc, jedynym warunkiem wstępnym jest standardowy kurs logiki pierwszego rzędu, co czyni książkę idealną dla studentów studiów magisterskich i początkujących badaczy logiki matematycznej, informatyki teoretycznej i sztucznej inteligencji. W nowym wydaniu wiele sekcji zostało przepisanych w celu poprawy przejrzystości, dodano nowe sekcje dotyczące eliminacji cięć i uwzględniono rozwiązania do wybranych ćwiczeń. Język: angielski
  • Marka: Unbranded
  • Kategoria: Komputery i Internet
  • Data wydania: 2000/07/27
  • Format: Oprawa miękka
  • Język: Angielski
  • Wydawca / Wytwórnia płytowa: Cambridge University Press
  • Ilość stron: 432
  • Wykonawca: Troelstra A. S.
  • Identyfikator Fruugo: 337416175-741052995
  • ISBN: 9780521779111

Dostawa i zwroty

Wysyłka w ciągu 4 dni

  • STANDARD: 29,99 zł - Dostawa między pon. 15 grudnia 2025–czw. 18 grudnia 2025

Wysyłka z Wielka Brytania

Dokładamy wszelkich starań, aby zamówione produkty były dostarczane w całości i zgodnie z Państwa wymaganiami. Jeśli jednak otrzymają Państwo niekompletne zamówienie, przedmioty inne niż zamówione lub istnieje inny powód, dla którego nie są Państwo zadowoleni z zamówienia, mogą Państwo zwrócić zamówienie lub dowolne produkty objęte zamówieniem i otrzymać pełny zwrot kosztów za te przedmioty. Pokaż pełną politykę zwrotów