- Main
- Mathematics
- Computability and Logic
Computability and Logic
George S. Boolos, John P. Burgess, Richard C. JeffreyՈրքա՞ն է ձեզ դուր եկել այս գիրքը:
Ինչպիսի՞ն է բեռնված ֆայլի որակը:
Բեռնեք գիրքը` գնահատելու դրա որակը
Ինչպիսի՞ն է բեռնված ֆայլերի որակը:
Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems.
Կատեգորիաներ:
Տարի:
2007
Հրատարակում:
5th ed
Հրատարակչություն:
Cambridge University Press
Լեզու:
english
Էջեր:
366
ISBN 10:
0521877520
ISBN 13:
9780521877527
Ֆայլ:
PDF, 2.23 MB
Ձեր թեգերը:
IPFS:
CID , CID Blake2b
english, 2007
Ցանկանու՞մ եք գրախանութ ավելացնել: Խնդրում ենք կապնվել մեզ հետ support@z-lib.do միջոցով
Ֆայլը կուղարկվի ձեր email-ին 1-5 րոպեի ընթացքում:
1-5 րոպեի ընթացքում ֆայլը կուղարկվի ձեր Telegram-ին։
Ուշադրություն․ համոզվեք, որ ձեր հաշիվը կապված է Z-Library-ի Telegram բոտին:
1-5 րոպեի ընթացքում ֆայլը կուղարկվի ձեր Kindle սարքին։
Նշում. Դուք պետք է հաստատեք յուրաքանչյուր գիրքը, որն ուղարկում եք Kindle-ին: Ստուգեք ձեր էլփոստի մուտքի արկղը՝ պետք է ստանաք Amazon Kindle Support-ից հաստատող էլ. նամակ։
Փոխարկումը դեպի կատարվում է
Փոխարկումը դեպի ձախողվել է
Premium benefits
- Send to eReaders
- Increased download limit
- File converter
- Բացել որոնման արդյունքները
- More benefits