{"product_id":"introduction-to-languages-machines-and-logic","title":"Introduction to Languages, Machines, and Logic","description":"\u003ch3 style=\"font-style: inherit; letter-spacing: 0px; box-sizing: border-box; font-family: Questrial, sans-serif; line-height: 1.1; font-size: 2rem; margin-top: 2.1rem; margin-bottom: 1.05rem; text-transform: uppercase;\"\u003e\u003cspan style='font-family: \"Market Sans\", Arial, sans-serif;'\u003eItem Description:\u003c\/span\u003e\u003c\/h3\u003e\u003cdiv\u003e\n\u003cdiv id=\"bookDescription_feature_div\" class=\"celwidget\" data-feature-name=\"bookDescription\" data-csa-c-type=\"widget\" data-csa-c-content-id=\"bookDescription\" data-csa-c-slot-id=\"bookDescription_feature_div\" data-csa-c-asin=\"1852334649\" data-csa-c-is-in-initial-active-row=\"false\" data-csa-c-id=\"izn3uh-n3tn88-bgc24y-4qrqxk\" data-cel-widget=\"bookDescription_feature_div\" style='box-sizing: border-box; color: rgb(15, 17, 17); font-family: \"Amazon Ember\", Arial, sans-serif; font-size: 14px; margin-bottom: 10px !important;'\u003e\u003cdiv data-a-expander-name=\"book_description_expander\" data-a-expander-collapsed-height=\"280\" class=\"a-expander-collapsed-height a-row a-expander-container a-spacing-base a-expander-partial-collapse-container\" style=\"box-sizing: border-box; width: 786.203px; margin-bottom: 12px !important; overflow: hidden; position: relative; max-height: 280px;\"\u003e\u003cdiv data-expanded=\"false\" class=\"a-expander-content a-expander-partial-collapse-content\" style=\"box-sizing: border-box; overflow: hidden; position: relative;\"\u003e\u003cspan style=\"box-sizing: border-box;\"\u003e1.1 Overview This chapter briefly describes: • what this book is about • what this book tries to do • what this book tries not to do • a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan­ guages, abstract machines, and logic. Computable languages are related to what are usually known as \"formal lan­ guages\". I avoid using the latter phrase here because later on in the book I distin­ guish between formal languages and computable languages. In fact, computable languages are a special type of formal languages that can be processed, in ways considered in this book, by computers, or rather abstract machines that represent computers. Abstract machines are formal computing devices that we use to investigate prop­ erties of real computing devices. The term that is sometimes used to describe abstract machines is automata, but that sounds too much like real machines, in particular the type of machines we call robots. The logic part of the book considers using different types of formal logic to represent things and reason about them. The logics we consider all play a very important role in computing. They are Boolean logic, propositional logic, and first order predicate logic (FOPL).\u003c\/span\u003e\u003c\/div\u003e\u003c\/div\u003e\u003c\/div\u003e\n\u003cdiv id=\"globalStoreInfoBullets_feature_div\" class=\"celwidget\" data-feature-name=\"globalStoreInfoBullets\" data-csa-c-type=\"widget\" data-csa-c-content-id=\"globalStoreInfoBullets\" data-csa-c-slot-id=\"globalStoreInfoBullets_feature_div\" data-csa-c-asin=\"1852334649\" data-csa-c-is-in-initial-active-row=\"false\" data-csa-c-id=\"6k27j1-9qcmw7-72mmqt-inrrrg\" data-cel-widget=\"globalStoreInfoBullets_feature_div\" style='box-sizing: border-box; color: rgb(15, 17, 17); font-family: \"Amazon Ember\", Arial, sans-serif; font-size: 14px;'\u003e\u003c\/div\u003e\n\u003cdiv id=\"buyingOptionNostosBadge_feature_div\" class=\"celwidget\" data-feature-name=\"buyingOptionNostosBadge\" data-csa-c-type=\"widget\" data-csa-c-content-id=\"buyingOptionNostosBadge\" data-csa-c-slot-id=\"buyingOptionNostosBadge_feature_div\" data-csa-c-asin=\"1852334649\" data-csa-c-is-in-initial-active-row=\"false\" data-csa-c-id=\"yjvqkz-1pefmb-8dulsn-h6lfe4\" data-cel-widget=\"buyingOptionNostosBadge_feature_div\" style='box-sizing: border-box; color: rgb(15, 17, 17); font-family: \"Amazon Ember\", Arial, sans-serif; font-size: 14px;'\u003e\u003c\/div\u003e\n\u003cdiv id=\"tellAmazon_feature_div\" class=\"celwidget\" data-feature-name=\"tellAmazon\" data-csa-c-type=\"widget\" data-csa-c-content-id=\"tellAmazon\" data-csa-c-slot-id=\"tellAmazon_feature_div\" data-csa-c-asin=\"1852334649\" data-csa-c-is-in-initial-active-row=\"false\" data-csa-c-id=\"262jw0-qt119o-1fxtx6-oq80h8\" data-cel-widget=\"tellAmazon_feature_div\" style='box-sizing: border-box; color: rgb(15, 17, 17); font-family: \"Amazon Ember\", Arial, sans-serif; font-size: 14px;'\u003e\u003cdiv class=\"celwidget c-f\" cel_widget_id=\"tell-amazon-desktop_DetailPage_4\" data-csa-op-log-render=\"\" data-csa-c-content-id=\"DsUnknown\" data-csa-c-slot-id=\"DsUnknown-5\" data-csa-c-type=\"widget\" data-csa-c-painter=\"tell-amazon-desktop-cards\" data-csa-c-id=\"nlp83n-5u5fkz-ksp6fb-dw5b7d\" data-cel-widget=\"tell-amazon-desktop_DetailPage_4\" style=\"box-sizing: border-box;\"\u003e\u003cdiv id=\"CardInstanceQo_vOxsyGC7mA7aCpkk9PQ\" data-card-metrics-id=\"tell-amazon-desktop_DetailPage_4\" data-acp-tracking=\"{}\" data-mix-claimed=\"true\" style=\"box-sizing: border-box;\"\u003e\u003cdiv data-asin=\"1852334649\" data-customer-id=\"\" data-marketplace=\"ATVPDKIKX0DER\" data-session-id=\"140-7970716-9766404\" data-logged-in=\"false\" class=\"_tell-amazon-desktop_style_tell_amazon_div__1YDZk\" style=\"box-sizing: border-box;\"\u003e\u003ca class=\"a-link-normal _tell-amazon-desktop_style_tell_amazon_link__1KW5z\" href=\"https:\/\/www.amazon.com\/Introduction-Languages-Machines-Logic-Parkes\/dp\/1852334649#\" data-mix-operations=\"openTellAmazonModal\" style=\"box-sizing: border-box; text-decoration-line: none; color: rgb(33, 98, 161);\"\u003e\u003ci aria-hidden=\"true\" class=\"a-icon a-icon-share-sms a-icon-mini _tell-amazon-desktop_style_tell_amazon_icon__2lFT1\" role=\"presentation\" style='box-sizing: border-box; background-image: url(\"https:\/\/m.media-amazon.com\/images\/S\/sash\/ogE$Hrluit-GlA9.png\"); background-size: 512px 256px; background-repeat: no-repeat; display: inline-block; vertical-align: top; position: relative; top: 1px; width: 19px; height: 19px; background-position: -254px -199px; margin-right: 8px;'\u003e\u003c\/i\u003e\u003c\/a\u003e\u003c\/div\u003e\u003c\/div\u003e\u003c\/div\u003e\u003c\/div\u003e\n\u003c\/div\u003e\u003cdiv\u003e\n\u003cp\u003e\u003cstrong\u003eType:\u003c\/strong\u003e Study Guide\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eFormat:\u003c\/strong\u003e Paperback\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eLanguage:\u003c\/strong\u003e English\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003ePublication Name:\u003c\/strong\u003e Introduction to Languages, Machines, and Logic\u003c\/p\u003e\n\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Alan P. Parkes\u003c\/p\u003e\n\u003c\/div\u003e","brand":"My Store","offers":[{"title":"Default Title","offer_id":46653766140060,"sku":"BOOK-06","price":29.0,"currency_code":"AUD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0741\/3835\/3820\/files\/57_bf8eeb5e-4199-48f6-916e-1775171776f1.jpg?v=1775727278","url":"https:\/\/exboxau.com.au\/products\/introduction-to-languages-machines-and-logic","provider":"EXBOX","version":"1.0","type":"link"}