Computability: Turing, Godel, Church, and Beyond (The MIT Press)
Kindle Format 8 (KF8), Computability: Turing, Godel, Church, and Beyond (The MIT Press) Amazon Kindle kitapları için Mobi 7'nin yerini alan en yeni nesil dosya formatıdır.
Kindle Fire'da kullanılır. Ayrıca yazılım sürümü 4.1.0 veya üzeri, Kindle for PC ve Kindle Reader for Mac ile dördüncü nesil Kindle cihazlarında da desteklenir.
Kindle cihazları, diğer birçok e-Kitap okuyucusu tarafından kullanılan EPUB dosya biçimini desteklemez. Bunun yerine, Amazon'un tescilli e-kitap biçimlerini kullanacak şekilde tasarlanmıştır: AZW, MOBI ve daha yeni cihazlarda KF8.
Bu biçimler, yeniden akış, zengin biçimde biçimlendirilmiş e-kitap içeriği için tasarlanmıştır ve DRM kısıtlamalarını destekler, ancak EPUB'dan farklı olarak özel biçimlerdir.
Not. Eski mobipocket formatı HTML ve CSS ile oluşturulmuştur ve EPUB gibi .opf ve .ncx gibi bazı Open eBook (OEB) dosyalarını kullanır. Başlangıçta Palm Pilot gibi düşük güçlü mobil cihazlar için tasarlandı.
Kindle KF8, Amazon'un tescilli biçiminde kodlanmıştır, yayıncılar aşağıdaki iş akışını kullanarak Computability: Turing, Godel, Church, and Beyond (The MIT Press) Kindle kitapları oluşturur:
KindleGen adlı ücretsiz bir yazılım kullanın. Kindle kitabı oluşturmak için bir komut satırı aracıdır. KindleGen, B. Jack Copeland'dan HTML, XHTML veya EPUB gibi Computability: Turing, Godel, Church, and Beyond (The MIT Press) kitaptaki orijinal içeriği kabul eder.
Adobe InDesign için Kindle Plugin adlı ücretsiz bir yazılımın eklenmesiyle Adobe InDesign'ı kullanın. Bu eklenti, bir yayıncının Computability: Turing, Godel, Church, and Beyond (The MIT Press) içeriğini InDesign'dan Kindle KF8 formatına dönüştürmesine olanak tanır.
Kindle kitapları oluşturmak ve bunları Amazon'da satmak için Amazon'un self servis araçlarını kullanın: Kindle Direct Publishing Platform (KDP).
Üçüncü taraf dönüştürücü araçlarını kullanın (açık kaynaklı e-kitaplar gibi).
Profesyonel dönüşüm hizmetleri için dış kaynak kullanımı
Kindle'da yayınlamak için yazarlar genellikle içeriklerini aşağıdaki biçimlerde yazarlar ve tamamlandıktan sonra Computability: Turing, Godel, Church, and Beyond (The MIT Press) dosyalarını Kindle biçimine dönüştürürler.
- Kelime (DOC veya DOCX)
- HTML (ZIP, HTM veya HTML)
- ePub (EPUB)
- Adobe PDF (PDF)
- Mobipocket (MOBI veya PRC)
yazar | B. Jack Copeland |
---|---|
Boyutlar ve boyutlar | 17.93 x 1.91 x 23.01 cm |
Tarafından yayınlandı | 6 Mart 2015 |
3 Ocak 2017 Additional Contributors 28 Ekim 2011 Mdpi AG ROBERT H BORK 30 Ekim 2011 15 x 0,5 x 22 cm 29 Ekim 2011 18,9 x 0,4 x 24,6 cm 1 Ocak 2017 WADE H MCCREE 18,9 x 0,3 x 24,6 cm 28 Şubat 2018 18,9 x 0,2 x 24,6 cm Kolektif ERWIN N GRISWOLD 18,9 x 0,6 x 24,6 cm 18,9 x 0,5 x 24,6 cm
okumak okumak kayıt olmadan
yazar | B. Jack Copeland Carl J. Posy Oron Shagrir Martin Davis Solomon Feferman |
---|---|
isbn 10 | 0262527480 |
isbn 13 | 978-0262527484 |
Yayımcı | MIT Press |
Dilim | İngilizce |
Boyutlar ve boyutlar | 17.93 x 1.91 x 23.01 cm |
Tarafından yayınlandı Computability: Turing, Godel, Church, and Beyond (The MIT Press) | 6 Mart 2015 |
Computer scientists, mathematicians, and philosophers discuss the conceptual foundations of the notion of computability as well as recent theoretical developments. In the 1930s a series of seminal works published by Alan Turing, Kurt Goedel, Alonzo Church, and others established the theoretical basis for computability. This work, advancing precise characterizations of effective, algorithmic computability, was the culmination of intensive investigations into the foundations of mathematics. In the decades since, the theory of computability has moved to the center of discussions in philosophy, computer science, and cognitive science. In this volume, distinguished computer scientists, mathematicians, logicians, and philosophers consider the conceptual foundations of computability in light of our modern understanding. Some chapters focus on the pioneering work by Turing, Goedel, and Church, including the Church-Turing thesis and Goedel's response to Church's and Turing's proposals. Other chapters cover more recent technical developments, including computability over the reals, Goedel's influence on mathematical logic and on recursion theory and the impact of work by Turing and Emil Post on our theoretical understanding of online and interactive computing; and others relate computability and complexity to issues in the philosophy of mind, the philosophy of science, and the philosophy of mathematics. Contributors Scott Aaronson, Dorit Aharonov, B. Jack Copeland, Martin Davis, Solomon Feferman, Saul Kripke, Carl J. Posy, Hilary Putnam, Oron Shagrir, Stewart Shapiro, Wilfried Sieg, Robert I. Soare, Umesh V. Vazirani
En son kitaplar
benzer kitaplar
Fundamentals of Machine Learning for Predictive Data Analytics: Algorithms, Worked Examples, and Case Studies (The MIT Press)
okumak kayıt olmadan
Structure and Interpretation of Computer Programs, 2nd Edition (MIT Electrical Engineering and Computer Science)
okumak kayıt olmadan
Fundamentals of Machine Learning for Predictive Data Analytics: Algorithms, Worked Examples, and Case Studies (The MIT Press)
okumak kayıt olmadan
Structure and Interpretation of Computer Programs, 2nd Edition (MIT Electrical Engineering and Computer Science)
okumak kayıt olmadan