دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: ریاضیات ویرایش: 1 نویسندگان: Gregory Chaitin (auth.), Cristian S. Calude, Michael J. Dinneen, Vincent Vajnovszki (eds.) سری: Lecture Notes in Computer Science 2731 ISBN (شابک) : 3540405054, 9783540405054 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2003 تعداد صفحات: 309 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب ریاضیات گسسته و علوم رایانه نظری: چهارمین کنفرانس بین المللی، DMTCS 2003، دیژون، فرانسه، 7-12 ژوئیه 2003، پرونده ها: تحلیل الگوریتم و پیچیدگی مسئله، ساختارهای داده، کدگذاری و نظریه اطلاعات، نظریه محاسبات، ریاضیات گسسته در علوم کامپیوتر، گرافیک کامپیوتری
در صورت تبدیل فایل کتاب Discrete Mathematics and Theoretical Computer Science: 4th International Conference, DMTCS 2003 Dijon, France, July 7–12, 2003 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ریاضیات گسسته و علوم رایانه نظری: چهارمین کنفرانس بین المللی، DMTCS 2003، دیژون، فرانسه، 7-12 ژوئیه 2003، پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین المللی ریاضیات گسسته و علوم کامپیوتر نظری، DMTCS 2003، در دیژون، فرانسه در ژوئیه 2003 برگزار شد.
18 مقاله کامل اصلاح شده همراه با 5 مقاله ارائه شده است. مقالات دعوت شده به دقت بررسی و از بین 35 مورد ارسالی انتخاب شدند. طیف گسترده ای از موضوعات در ریاضیات گسسته و نظریه محاسبات از جمله نظریه اطلاعات، کدگذاری، الگوریتم ها، پیچیدگی، خودکار، ریاضیات محاسباتی، محاسبات ترکیبی، محاسبات گراف، هندسه الگوریتمی، روش های رابطه ای، روش های بهینه سازی نظری بازی، ترکیبی سیستم های حالت محدود و غیره.
This book constitutes the refereed proceedings of the 4th International Conference on Discrete Mathematics and Theoretical Computer Science, DMTCS 2003, held in Dijon, France in July 2003.
The 18 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 35 submissions. A broad variety of topics in discrete mathematics and the theory of computing is addressed including information theory, coding, algorithms, complexity, automata, computational mathematics, combinatorial computations, graph computations, algorithmic geometry, relational methods, game-theoretic methods, combinatorial optimization, finite state systems, etc.
Two Philosophical Applications of Algorithmic Information Theory....Pages 1-10
Covering and Secret Sharing with Linear Codes....Pages 11-25
Combinatorial Problems Arising in SNP and Haplotype Analysis....Pages 26-47
Cellular Automata and Combinatoric Tilings in Hyperbolic Spaces. A Survey....Pages 48-72
Generating Gray Codes in O (1) Worst-Case Time per Word....Pages 73-88
Listing Vertices of Simple Polyhedra Associated with Dual LI(2) Systems....Pages 89-96
Automatic Forcing and Genericity: On the Diagonalization Strength of Finite Automata....Pages 97-108
On the Order Dual of a Riesz Space....Pages 109-117
A Finite Complete Set of Equations Generating Graphs....Pages 118-128
ECO Method and the Exhaustive Generation of Convex Polyominoes....Pages 129-140
Regular Expressions with Timed Dominoes....Pages 141-154
On Infinitary Rational Relations and Borel Sets....Pages 155-167
Efficient Algorithms for Disjoint Matchings among Intervals and Related Problems....Pages 168-180
On Functions and Relations....Pages 181-192
Paths Coloring Algorithms in Mesh Networks....Pages 193-202
Finite State Strategies in One Player McNaughton Games....Pages 203-214
On Algebraic Expressions of Series-Parallel and Fibonacci Graphs....Pages 215-224
Boolean NP-Partitions and Projective Closure....Pages 225-236
On Unimodality of Independence Polynomials of Some Well-Covered Trees....Pages 237-256
A Coloring Algorithm for Finding Connected Guards in Art Galleries....Pages 257-264
An Analysis of Quantified Linear Programs....Pages 265-277
An Efficient Branch-and-Bound Algorithm for Finding a Maximum Clique....Pages 278-289
On the Monotonic Computability of Semi-computable Real Numbers....Pages 290-300