Logic Functions and Equations: Binary Models for Computer Science

توابع و معادلات منطقی (برخی از) مهمترین مفاهیم علوم کامپیوتر با کاربردهای فراوانی مانند محاسبات باینری، کدگذاری، پیچیدگی، طراحی منطقی، برنامه نویسی، معماری کامپیوتر و هوش مصنوعی هستند. آنها اغلب به روش حداقل قبل یا همراه با برنامه های مربوطه خود مورد مطالعه قرار می گیرند. بر اساس تجربه طولانی مدت تدریس ما، ارائه جامعی از این مفاهیم ارائه شده است، به ویژه با تأکید بر درک کامل و همچنین روش های حل عددی و رایانه ای. هر گونه کاربرد و مثال از تمام حوزه های مربوطه ارائه شده است که می توان با آنها به روشی یکپارچه برخورد کرد. آنها درک گسترده ای از پیشرفت های اخیر در علوم کامپیوتر ارائه می دهند و به طور مستقیم در زندگی حرفه ای قابل استفاده هستند.

توابع منطقی و معادلات برای دوره های یک یا دو ترم به شدت توصیه می شود. در بسیاری از برنامه های علوم کامپیوتر یا علوم کامپیوتری. این امکان دسترسی آسان و سطح بالا به این روش ها را برای دانش آموزان فراهم می کند و برنامه های کاربردی پیچیده را در بسیاری از زمینه های مختلف فعال می کند. این به زیبایی شکاف بین ریاضیات و مبانی نظری مورد نیاز علوم کامپیوتر را پر می کند.

Logic functions and equations are (some of) the most important concepts of Computer Science with many applications such as Binary Arithmetics, Coding, Complexity, Logic Design, Programming, Computer Architecture and Artificial Intelligence. They are very often studied in a minimum way prior to or together with their respective applications. Based on our long-time teaching experience, a comprehensive presentation of these concepts is given, especially emphasising a thorough understanding as well as numerical and computer-based solution methods. Any applications and examples from all the respective areas are given that can be dealt with in a unified way. They offer a broad understanding of the recent developments in Computer Science and are directly applicable in professional life.

Logic Functions and Equations is highly recommended for a one- or two-semester course in many Computer Science or computer Science-oriented programmes. It allows students an easy high-level access to these methods and enables sophisticated applications in many different areas. It elegantly bridges the gap between Mathematics and the required theoretical foundations of Computer Science.