Alta reperibilità
Ischisleniya Vyskazyvaniy I Ischisleniya Sekventsiy
klassicheskaq logika
- Editore:
Lap Lambert Academic Publishing
- EAN:
9783659359019
- ISBN:
3659359017
- Pagine:
- 124
- Formato:
- Paperback
- Lingua:
- Tedesco
Acquistabile con
o la
Descrizione Ischisleniya Vyskazyvaniy I Ischisleniya Sekventsiy
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.
Disponibile in 10-12 giorni
Recensioni degli utenti
e condividi la tua opinione con gli altri utenti