25 hasil untuk "Open Logic Project"
Menampilkan 1–20 · 0,93 detik · RSS
-
Buku Teks lengkap
开放逻辑项目:《开放逻辑文本》完整大陆简体中文版(zh-Hans-CN,722/722)
《开放逻辑文本》是 Open Logic Project 的开放数学逻辑教材汇编。本版是面向中国大陆读者的完整简体中文 AI 译本(zh-Hans-CN),以 OpenLogicProject/OpenLogic 提交 9620cc73f9c8e0ad003c514a5d3748f29611c4c0 为锁定的上游文本依据。 内容涵盖集合、关系与函数、命题逻辑与一阶逻辑、自然演绎与相继式演算、模型论、可计算性、不完备性、集合论、模态逻辑、λ 演算和证明论等主题。译本覆盖锁定上游的 722/722 个受控 TeX 内容单元:完整阅读器采用上游当前选入的 642 个单元;另外 80…
-
Buku Teks lengkap
ओपन लॉजिक परियोजना — संपूर्ण हिंदी संस्करण (722/722)
मुख्य पाठक: 00_OpenLogic_Project_Hindi_COMPLETE_722-of-722.pdf जमे हुए ओपन लॉजिक स्रोत-वृक्ष की सभी 722 सामग्री-TeX फ़ाइलों का 842-पृष्ठीय A4, खोजयोग्य हिंदी ( hi-Deva-IN ) अनुवाद है। यह अत्यधिक रिक्त स्थान वाले पुराने 902-पृष्ठीय US-Letter संयोजन को प्रतिस्थापित करता है। फ़ाइलें: फ़ाइल 00 संपूर्ण…
-
Buku Teks lengkap
Open Logic Project — Edisi Lengkap Bahasa Indonesia / Complete Indonesian Edition (OLP-0722, 722/722)
Download the complete 1,116-page Indonesian reader / Unduh pembaca lengkap Bahasa Indonesia. Edisi lengkap Bahasa Indonesia / Complete Indonesian edition: all 722/722 frozen Open Logic Project content modules are translated. This edition IsTranslationOf the English Open Logic Project at commit…
-
Buku Teks lengkap
Open Logic Project — Türkçe Tam Sürüm / Complete Turkish Edition (OLP-0722, 722/722)
Open the complete 1,037-page Turkish reader or download it directly from Zenodo . Complete Turkish edition: all 722/722 frozen Open Logic Project content modules are translated. The 1,037-page linked reader covers the 642 canonical-reader-reachable modules; 80 retained non-reader modules remain in…
-
Buku
Accessible Open Logic Text — English cumulative partial edition (18 mathematical chapters plus About)
This is an in-progress English accessibility adaptation, not the complete book. It preserves a useful independently accepted cumulative checkpoint while conversion of the full Open Logic Text continues. The offline reader contains About the Open Logic Project plus 18 mathematical chapters: six…
-
Buku Teks lengkap
متن منطق باز
«متن منطق باز» مجموعه‌ای متن‌باز و پودمانی از منابع آموزشیِ منطق صوری، فرامنطق و روش‌های صوری است که با مشارکت جمعی از مؤلفان تدوین شده و از سطح میانی آغاز می‌شود (یعنی پس از گذراندن یک درس مقدماتی منطق صوری). این مجموعه برای مخاطبان غیرمتخصص در ریاضیات، به‌ویژه دانشجویان فلسفه و علوم رایانه، در…
-
Buku Teks lengkap
نص المنطق المفتوح
نصّ المنطق المفتوح مجموعة مفتوحة المصدر، مؤلَّفة تعاونيًا ومنظَّمة في وحدات، تضم مواد تعليمية في المنطق الصوري وميتامنطقه، وفي المناهج الصورية، وتبدأ من المستوى المتوسط، أي بعد إتمام مقرر تمهيدي في المنطق الصوري. وهي موجَّهة إلى جمهور غير متخصص في الرياضيات، ولا سيما طلاب الفلسفة وعلوم الحاسوب، مع…
-
Buku
Accessible Open Logic Text — Complete English HTML and EPUB edition
The Open Logic Text is a free textbook covering mathematical logic, from sets and formal proofs to computability and the limits of formal reasoning. This English edition makes the book available as accessible web pages and a downloadable ebook. Read the book online Choose Read for the text and…
-
Buku Teks lengkap
《开放逻辑文本》完整大陆简体中文版(722/722 单元合订读本)
直接阅读: 完整单卷 PDF(859 页,722/722 个来源单元) 。 这是 Open Logic Project《开放逻辑文本》的大陆简体中文(zh-Hans-CN)学术翻译版,内容涵盖集合、关系与函数、命题逻辑和一阶逻辑、证明系统、模型论、可计算性与不完备性、模态逻辑、证明论、相继式演算、切割消去、自然演绎、正规化、命题即类型及其他专题。 冻结来源为提交 9620cc73f9c8e0ad003c514a5d3748f29611c4c0 的全部 722 个内容 TeX 单元。此前的 736 页主读本包含 642 个常规驱动单元,123 页补充读本包含其余 80…
-
Buku Teks lengkap
Open Logic Project — Türkçe: 722-module reader, corrected front matter, and reviewer index
Türkçe okuyucuyu aç / Open the complete corrected Turkish reader Reviewer index: start here · Priority review · Full readable index This successor removes the technical source-revision hash from the reader-facing title page while retaining exact revision provenance in the evidence package. The…
-
Buku Teks lengkap
ओपन लॉजिक परियोजना — संपूर्ण हिंदी संस्करण
…निर्णय-अभिलेख, निर्माण और जाँच-प्रमाण तथा प्रकाशन-इतिहास हैं। मूल लेखक: Open Logic Project। हिंदी अनुवाद और अक्षर-संयोजन: AI typesetting & translation। कृत्रिम-बुद्धि मॉडल: OpenAI 5.6 Sol, Ultra mode। स्रोत कमिट 9620cc73f9c8e0ad003c514a5d3748f29611c4c0। CC BY 4.0; अलग चिह्नित परिसंपत्तियों की…
-
Buku Teks lengkap
Open Logic Project - Bahasa Indonesia: standalone 722-unit reader and translation-decision review
…Bahasa Indonesia / Complete Indonesian edition: all 722/722 frozen Open Logic Project content modules are translated. This edition IsTranslationOf the English Open Logic Project at commit 9620cc73f9c8e0ad003c514a5d3748f29611c4c0 , tree f67757bb9305b173634082ab4cefd5601a707a34 , under CC BY 4.0. The…
-
Buku Teks lengkap
मुक्त तर्कशास्त्र: संपूर्ण मराठी आवृत्ती आणि EPUB (mr-Deva-IN)
मुक्त तर्कशास्त्राची संपूर्ण मराठी आवृत्ती. गोठवलेल्या Open Logic Project स्रोताच्या सर्व 722 मजकूर-एककांचे भाषांतर एकाच सुसंगत वाचकग्रंथात दिले आहे; मुख्य व पूरक भागांत 79 प्रकरणे आणि 613 विभाग आहेत. PDF हा थेट वाचनासाठीचा प्राथमिक पूर्वावलोकन-दस्तऐवज आहे. संपादनयोग्य संपूर्ण TeX, मूळ व मराठी…
-
Buku Teks lengkap
ઓપન લોજિક — ગુજરાતી (gu-Gujr-IN): સંપૂર્ણ 722-એકમ આવૃત્તિ v1.0.1
Open Logic Projectના સ્થિર revision 9620cc73f9c8e0ad003c514a5d3748f29611c4c0ના બધા 722 સ્રોત એકમોનું સંપૂર્ણ ગુજરાતી (gu-Gujr-IN) ભાષાંતર. 960 પાનાંના એક જ સંલગ્ન વાચનપાઠમાં વૈકલ્પિક પ્રારંભ અને ઔપચારિક અંશો સંબંધિત ભાગની પાસે છે; ફરી આયાત થતું લખાણ કડી સાથે એક જ વાર છે. ફાઇલોનો ક્રમ: સંપૂર્ણ…
-
Buku Teks lengkap
متن منطق باز — ویرایش کامل فارسی ایران R10: PDF، EPUB، HTML و منبع کاملِ تصحیح‌شده
…در دست ساخت است؛ نمونه‌های تاریخیِ آن کتابِ کامل نیستند. اثرِ انگلیسی از Open Logic Project است و این ویرایشِ مستقل تأییدِ آن پروژه را ادعا نمی‌کند. برگردان، تصحیح، ویرایش و آماده‌سازیِ این تبار با OpenAI Codex، مدل‌های GPT-5.6 Sol، GPT-6 Astra و GPT-6 Sol، همگی با تلاش Ultra، انجام شده‌اند. اصلاحِ…
-
Buku Teks lengkap
திறந்த தருக்கவியல் — இந்தியத் தமிழில் முழுப் பதிப்பு (ta-Taml-IN)
Open Logic Text நூலின் உறையவைக்கப்பட்ட 722 உள்ளடக்க அலகுகளின் இந்தியத் தமிழாக்கம் (ta-Taml-IN). ஒரே 1,227-பக்க PDF மற்றும் ஒரே EPUB 3.3 நூலில் முதன்மைப் பகுதியின் 695 அலகுகளும் பெயரிடப்பட்ட இணைப்பின் 27 அலகுகளும் உள்ளன. ஒவ்வோர் மூல அலகும் ஒருமுறை மட்டுமே கணக்கிடப்படுகிறது. வாசிப்பிற்கு…
-
Buku Teks lengkap
OpenLogic : édition française — Des ensembles à la logique du premier ordre
Cette onzième livraison française du manuel ouvert OpenLogic réunit treize chapitres, 98 sections et 106 exercices, soit 111 des 722 unités prévues pour l'édition intégrale. Lecteur PDF, 159 pages LaTeX cumulatif complet Sources complètes et reconstruction PDF/EPUB EPUB 3 Le nouveau chapitre…
-
Buku Teks lengkap
The Open Logic Text — edición en español
Edición independiente y completa en español de The Open Logic Text , con cobertura de los 722 archivos de la fuente congelada del Open Logic Project. Preserva la estructura TeX, la matemática, los ejemplos, los ejercicios, la navegación, la licencia y la atribución. No es una publicación oficial y…
-
Buku Teks lengkap
The Open Logic Text — edição em português brasileiro
Edição independente e completa em português brasileiro de The Open Logic Text , com cobertura dos 722 arquivos da fonte congelada do Open Logic Project. Preserva estrutura TeX, matemática, exemplos, exercícios, front matter, navegação, licença e atribuição. Não é uma publicação oficial e não…
-
Buku Teks lengkap
The Open Logic Text — complete frozen-source English reader (722/722)
Independent preservation and coverage edition of The Open Logic Text . It assembles all 722 tracked English content-source units from the frozen Open Logic Project revision 9620cc73f9c8e0ad003c514a5d3748f29611c4c0 into one coherent 1,177-page reader. The upstream complete-reader graph reaches 642…