potyczki-modowe.pl

Formalizacja metod tablicowych dla logik zdań i logik nazw

  • Cena: 34.37 zł
  • EAN: 9788323130239
  • ISBN: 9788323130239
  • Ilość odwiedzin: 149

Opis produktu

Niniejsza ksiazka podejmuje problem z zakresu teorii dowodu w systemach tablicowych. Jednym z jej glównych celów jest zdefiniowanie formalnego pojecia dowodu tablicowego - czyli tzw. tablicy - a co za tym idzie, formalnego sformulowania pojec pomocniczych, które towarzysza definiowaniu systemu...

Oceń produkt

Opinie

Brak ocen dla tego produktu. Bądź pierwszy!