-
Ruský jazyk
Ischisleniq wyskazywanij i ischisleniq sekwencij
Autor: Sergej Gurow
Predlagaemaq kniga prednaznachena dlq chitatelej s matematicheskim skladom uma, nachinaüschih izuchat' matematicheskuü logiku kak w ramkah uchebnogo kursa, tak i pri samoobrazowanii. Pri izlozhenii materiala w dannom posobii podchörkiwaütsq algebraicheskie... Viac o knihe
Na objednávku
54.63 €
bežná cena: 60.70 €
O knihe
Predlagaemaq kniga prednaznachena dlq chitatelej s matematicheskim skladom uma, nachinaüschih izuchat' matematicheskuü logiku kak w ramkah uchebnogo kursa, tak i pri samoobrazowanii. Pri izlozhenii materiala w dannom posobii podchörkiwaütsq algebraicheskie aspekty logicheskih ischislenij. Izlozheny metody harakterizacii formul, podrobno rassmotreny gil'bertowskie ischisleniq, sistema natural'nogo wywoda i ischislenie sekwencij. Dlq kazhdoj iz tröh sistem dokazywaütsq korrektnost', polnota i analiziruütsq otlichitel'nye osobennosti wywodow teorem. Kniga soderzhit bol'shoe kolichestwo primerow, pozwolqüschih chitatelü legko oswoit'sq s wwodimymi ponqtiqmi.
- Vydavateľstvo: LAP LAMBERT Academic Publishing
- Rok vydania: 2013
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Ruský jazyk
- ISBN: 9783659359019
Anglický jazyk 
