Ischisleniya vyskazyvaniy i ischisleniya sekventsiy: klassicheskaya logika (Russian Edition)

Book Ischisleniya vyskazyvaniy i ischisleniya sekventsiy: klassicheskaya logika (Russian Edition)

Book details

- By: Sergey Gurov(Author)
- Language: Russian
- Format: PDF - Djvu
- Pages:124
- Publisher: LAP LAMBERT Academic Publishing (March 6, 2013)
- Bestsellers rank: 5
- Category: Science & Math
*An electronic version of a printed book that can be read on a computer or handheld device designed specifically for this purpose.
Download ebook Ischisleniya vyskazyvaniy i ischisleniya sekventsiy: klassicheskaya logika (Russian Edition) by Sergey Gurov(Author) Language: Russian : pdf - djvu - online : eBooks for Free.
  

Formats for this Ebook

PDF
Required Software Any PDF Reader, Apple Preview
Supported Devices Windows PC/PocketPC, Mac OS, Linux OS, Apple iPhone/iPod Touch.
# of Devices Unlimited
Flowing Text / Pages Pages
Printable? Yes

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.

Kandidat fiziko-matematicheskikh nauk, starshiy nauchnyy sotrudnik. Okonchil MVTU im. N. E. Baumana i MGU im. M.V. Lomonosova. Dotsent kafedry Matematicheskikh metodov prognozirovaniya fakul'teta Vychislitel'noy matematiki i kibernetiki MGU. Zanimaetsya netraditsionnymi zadachami obrabotki dannykh.


Read online or download a free book: Ischisleniya vyskazyvaniy i ischisleniya sekventsiy: klassicheskaya logika (Russian Edition) PDF Books World offers free eBooks on fiction, non-fiction, academic, textbooks and children's categories for download in high quality PDF format.


Write a review

Your Name:


Your Review: Note: HTML is not translated!

Rating: Bad           Good

Enter the code in the box below: