Ischisleniya Vyskazyvaniy I Ischisleniya Sekventsiy: Klassicheskaya Logika - Sergey Gurov - Books - LAP LAMBERT Academic Publishing - 9783659359019 - March 6, 2013
In case cover and title do not match, the title is correct

Sergey Gurov
Ischisleniya Vyskazyvaniy I Ischisleniya Sekventsiy: Klassicheskaya Logika Russian edition

Price
HK$ 437
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Sep 15 - 21
Get notified about new Sergey Gurov releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Predlagaemaya kniga prednaznachena dlya chitateley s matematicheskim skladom uma, nachinayushchikh izuchat' matematicheskuyu logiku kak v ramkakh uchebnogo kursa, tak i pri samoobrazovanii. Pri izlozhenii materiala v dannom posobii podchyerkivayutsya algebraicheskie aspekty logicheskikh ischisleniy. Izlozheny metody kharakterizatsii formul, podrobno rassmotreny gil'bertovskie ischisleniya, sistema natural'nogo vyvoda i ischislenie sekventsiy. Dlya kazhdoy iz tryekh sistem dokazyvayutsya korrektnost', polnota i analiziruyutsya otlichitel'nye osobennosti vyvodov teorem. Kniga soderzhit bol'shoe kolichestvo primerov, pozvolyayushchikh chitatelyu legko osvoit'sya s vvodimymi ponyatiyami.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released March 6, 2013
ISBN13 9783659359019
Publishers LAP LAMBERT Academic Publishing
Pages 124
Dimensions 150 × 7 × 226 mm   ·   203 g
Language German  

See all of Sergey Gurov