دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
دانلود کتاب ترکیبی ، محاسباتی و منطق: مجموعه مقالات سومین کنفرانس بین المللی ترکیبی ، محاسباتی و منطق ، (DMTCS’01)
مشخصات کتاب
Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)
ویرایش: 1 نویسندگان: Frank Harary (auth.), C. S. Calude, M. J. Dinneen, S. Sburlan (eds.) سری: Discrete Mathematics and Theoretical Computer Science ISBN (شابک) : 9781852335267, 9781447107170 ناشر: Springer-Verlag London سال نشر: 2001 تعداد صفحات: 253 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 11 مگابایت
قیمت کتاب (تومان) : 45,000
کلمات کلیدی مربوط به کتاب ترکیبی ، محاسباتی و منطق: مجموعه مقالات سومین کنفرانس بین المللی ترکیبی ، محاسباتی و منطق ، (DMTCS’01): ترکیبات، تحلیل الگوریتم و پیچیدگی مسئله، منطق ریاضی و زبان های رسمی
در صورت تبدیل فایل کتاب Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01) به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ترکیبی ، محاسباتی و منطق: مجموعه مقالات سومین کنفرانس بین المللی ترکیبی ، محاسباتی و منطق ، (DMTCS’01) نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ترکیبی ، محاسباتی و منطق: مجموعه مقالات سومین کنفرانس بین المللی ترکیبی ، محاسباتی و منطق ، (DMTCS’01)
این جلد شامل مقالات ارائه شده در سومین کنفرانس ریاضیات گسسته و
علوم کامپیوتر نظری (DMTCS1) است که در ژوئیه 2001 در دانشگاه
Ovidius در کنستانتزا، رومانی برگزار شد.
این کنفرانس برای همه حوزه های ریاضیات گسسته و نظری آزاد بود.
علوم کامپیوتر، و مقالات موجود در این جلد موضوعاتی مانند: انواع
داده‌های انتزاعی و مشخصات؛ الگوریتم ها و ساختارهای داده؛ خودکار
و زبان های رسمی؛ محاسبات، پیچیدگی و ریاضیات سازنده؛ ریاضیات
گسسته، محاسبات ترکیبی و نظریه دسته. منطق، منطق غیر یکنواخت و
سیستم های ترکیبی. محاسبات مولکولی.
توضیحاتی درمورد کتاب به خارجی
This volume contains the papers presented at the Third Discrete
Mathematics and Theoretical Computer Science Conference
(DMTCS1), which was held at 'Ovidius'University Constantza,
Romania in July 2001.
The conference was open to all areas of discrete mathematics
and theoretical computer science, and the papers contained
within this volume cover topics such as: abstract data types
and specifications; algorithms and data structures; automata
and formal languages; computability, complexity and
constructive mathematics; discrete mathematics, combinatorial
computing and category theory; logic, nonmonotonic logic and
hybrid systems; molecular computing.
فهرست مطالب
Front Matter....Pages i-x
Early Computer Science Adventures of a Mathematician....Pages 1-4
Sequentially Continuity in Constructive Mathematics....Pages 5-12
Recursive Functions: An Archeological Look....Pages 13-31
The Number of Graphs and Digraphs with a Fixed Diameter and Connectivity....Pages 33-46
Some Results for Some Conjectures in Addition Chains....Pages 47-54
A Highly Random Number....Pages 55-68
Dini’s Theorem: A Constructive Case Study....Pages 69-80
Even Linear Simple Matrix Languages: Formal Language Aspects....Pages 81-96
Pseudo-BCK Algebras: An Extension of BCK Algebras....Pages 97-114
P-Immune Sets with Holes Lack Self-Reducibility Properties....Pages 115-124
Lex Ideals of Generalized MV-Algebras....Pages 125-136
Armstrong Systems on Ordered Sets....Pages 137-149
Unicycle Bipartite Graphs with Only Uniquely Restricted Maximum Matchings....Pages 151-157
On Relax-ability of Word-Order by D-grammars....Pages 159-173
On the Structure of Linear Cellular Automata....Pages 175-185
Monotonically Computable Real Numbers....Pages 187-201
Apartness as a Relation Between Subsets....Pages 203-214
How Large is the Set of Disjunctive Sequences?....Pages 215-225
A Loopless Generation of Bitstrings without p Consecutive Ones....Pages 227-240
Greedy Algorithms for the Lower and Upper Chromatic Numbers....Pages 241-251
Back Matter....Pages 253-253
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Natural Language Processing with Java Cookbook - Over 70 recipes to create linguistic and language translation applications using Java libraries.
دانلود کتاب International Standards for Fruit and Vegetables, Apples - Normes Internationales Pour Les Fruits Et Legumes, Pommes
دانلود کتاب Дифференциальные уравнения с частными производными первого порядка
دانلود کتاب Evidence-Based Laryngology
