Autor:

Tomasz Jarmużek

Znaleziono: 2 pozycji

Przeglądaj:

Sortuj według:
Wyświetl:

Niniejsza książka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej głównych celów jest zdefiniowanie formalnego pojęcia dowodu tablicowego – czyli tzw. tablicy - a co za tym idzie, formalnego sformułowania... więcej >

Wyobraźmy sobie następującą scenę. Oto pewien czcigodnie wyglądający, zatopiony w filozoficznych rozmyślaniach mąż stoi nad malowniczą, skalistą zatoką w starożytnej Grecji. Zatoka ta była już wcześniej teatrem wielu morskich... więcej >

Znaleziono: 2 pozycji

Przeglądaj:

Sortuj według:
Wyświetl:
W celu zapewnienia wysokiej jakości świadczonych przez nas usług, nasz portal internetowy wykorzystuje informacje przechowywane w przeglądarce internetowej w formie tzw. „cookies”. Poruszając się po naszej stronie internetowej wyrażasz zgodę na wykorzystywanie przez nas „cookies”. Informacje o przechowywaniu „cookies”, warunkach ich przechowywania i uzyskiwania dostępu do nich znajdują się w Regulaminie.

Nie pokazuj więcej tego powiadomienia