{"id":104,"date":"2025-09-20T01:58:47","date_gmt":"2025-09-20T01:58:47","guid":{"rendered":"https:\/\/itisallmath.com\/discrete-math\/"},"modified":"2025-12-31T14:49:38","modified_gmt":"2025-12-31T14:49:38","slug":"discrete-math","status":"publish","type":"page","link":"https:\/\/itisallmath.com\/es\/mathematics\/discrete-math\/","title":{"rendered":"Discrete Math"},"content":{"rendered":"
<\/div><\/div>\n\n\n\n
\n
\"\"<\/figure>\n\n\n\n

What are you going to learn?<\/h1><\/div>\n\n\n\n

Apply the properties of relations, functions, and sequences to complete operations on discrete structures such as sets, functions, relations, and sequences. Verify the correctness of an argument using propositional logic, predicate logic, and truth tables. Construct mathematical proofs using counter-examples, direct proofs, proof by contrapositive, proof by contradiction, case analysis, and mathematical induction. Evaluate Boolean functions and simplify expressions using the properties of Boolean algebra. Apply counting techniques and combinatorics to determine discrete probability. Model relationships using graphs and trees. Model using graphs, directed graphs and trees, basic concepts, properties and definitions. Combinations, permutations. Model computer systems using FSM.<\/p>\n\n\n\n

Content<\/h2><\/div>\n<\/div><\/div>\n\n\n\n
\n
\n

Chapter 1. Logic<\/strong><\/h3><\/div>\n\n\n\n
    \n
  • Statements and logical Connectives. Truth Tables<\/li>\n\n\n\n
  • Predicates Logics and Quantifiers<\/li>\n\n\n\n
  • Proof Techniques<\/li>\n<\/ul>\n<\/div>\n\n\n\n
    <\/div>\n<\/div><\/div>\n\n\n\n
    \n
    \n

    Chapter 2. Sets<\/strong><\/h3><\/div>\n\n\n\n
      \n
    • Introduction. Notation<\/li>\n\n\n\n
    • Operations<\/li>\n\n\n\n
    • Denumerability<\/li>\n<\/ul>\n<\/div>\n\n\n\n
      <\/div>\n<\/div><\/div>\n\n\n\n
      \n
      \n

      Chapter 3. Relations and Functions<\/strong><\/h3><\/div>\n\n\n\n
        \n
      • Binary Relations<\/li>\n\n\n\n
      • Ordering<\/li>\n\n\n\n
      • Functions<\/li>\n<\/ul>\n<\/div>\n\n\n\n
        <\/div>\n<\/div><\/div>\n\n\n\n
        \n
        \n

        Chapter 4. Combinatorics<\/strong><\/h3><\/div>\n\n\n\n
          \n
        • Counting Principles<\/li>\n\n\n\n
        • Sampling and Selecting<\/li>\n\n\n\n
        • Permutations and Combinations<\/li>\n<\/ul>\n<\/div>\n\n\n\n
          <\/div>\n<\/div><\/div>\n\n\n\n
          \n
          \n

          Chapter 5. Graphs<\/strong><\/h3><\/div>\n\n\n\n
            \n
          • Introduction<\/li>\n\n\n\n
          • Graphs Terminology<\/li>\n\n\n\n
          • Directed and Undirected Graphs<\/li>\n\n\n\n
          • Trees<\/li>\n\n\n\n
          • Digraphs and Connectivity Problems<\/li>\n<\/ul>\n<\/div>\n\n\n\n
            <\/div>\n<\/div><\/div>\n\n\n\n
            \n
            \n

            Chapter 6. Boolean Algebra and Computer Logic<\/strong><\/strong><\/h3><\/div>\n\n\n\n
              \n
            • Introduction<\/li>\n\n\n\n
            • Logic Circuits. Gates<\/li>\n\n\n\n
            • Combinational Circuits<\/li>\n\n\n\n
            • Karnaugh Maps<\/li>\n<\/ul>\n<\/div>\n\n\n\n
              <\/div>\n<\/div><\/div>\n\n\n\n
              \n
              \n

              Chapter 7. Algebraic Structures<\/strong><\/strong><\/h3><\/div>\n\n\n\n
                \n
              • Definition<\/li>\n\n\n\n
              • Smigroups, Monoids<\/li>\n\n\n\n
              • Groups<\/li>\n\n\n\n
              • Applications to Error Correcting Codes<\/li>\n<\/ul>\n<\/div>\n\n\n\n
                <\/div>\n<\/div><\/div>\n\n\n\n
                \n
                \n

                Chapter 8. <\/strong>Finite State Machines (FSM)<\/strong><\/h3><\/div>\n\n\n\n
                  \n
                • Definition<\/li>\n\n\n\n
                • State Tables and Graphs<\/li>\n\n\n\n
                • FSM as Transducers and Recognizers<\/li>\n\n\n\n
                • Discussion of Limitations of FSM<\/li>\n\n\n\n
                • Introduction to Formal Languages<\/li>\n<\/ul>\n<\/div>\n\n\n\n
                  <\/div>\n<\/div><\/div>\n\n\n\n

                  Bibliography<\/h2><\/div>\n\n\n\n
                    \n
                  • Gersting, J L. Mathematical Structures for Computers Science<\/em><\/strong>. 7th ed. W. H. Freeman and Company, 2014.<\/li>\n\n\n\n
                  • Rosen, K. Discrete Mathematics and its Applications<\/em><\/strong>. 7th. Ed. McGraw-Hill, 2007.<\/li>\n<\/ul>\n\n\n\n

                    Bibliography<\/h2><\/div>\n\n\n\n
                      \n
                    • <\/li>\n<\/ul>","protected":false},"excerpt":{"rendered":"

                      What are you going to learn? Apply the properties of relations, functions, and sequences to complete operations on discrete structures […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":340,"menu_order":9,"comment_status":"closed","ping_status":"closed","template":"","meta":{"inline_featured_image":false,"_uag_custom_page_level_css":"","_monsterinsights_skip_tracking":false,"_monsterinsights_sitenote_active":false,"_monsterinsights_sitenote_note":"","_monsterinsights_sitenote_category":0,"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"disabled","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"wf_page_folders":[46],"class_list":["post-104","page","type-page","status-publish","hentry"],"_hostinger_reach_plugin_has_subscription_block":false,"_hostinger_reach_plugin_is_elementor":false,"uagb_featured_image_src":{"full":false,"thumbnail":false,"medium":false,"medium_large":false,"large":false,"hd_qu_size2":false,"1536x1536":false,"2048x2048":false,"trp-custom-language-flag":false},"uagb_author_info":{"display_name":"carroyav02@gmail.com","author_link":"https:\/\/itisallmath.com\/es\/author\/carroyav02gmail-com\/"},"uagb_comment_info":0,"uagb_excerpt":"What are you going to learn? Apply the properties of relations, functions, and sequences to complete operations on discrete structures […]","_links":{"self":[{"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/pages\/104","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/comments?post=104"}],"version-history":[{"count":5,"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/pages\/104\/revisions"}],"predecessor-version":[{"id":1544,"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/pages\/104\/revisions\/1544"}],"up":[{"embeddable":true,"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/pages\/340"}],"wp:attachment":[{"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/media?parent=104"}],"wp:term":[{"taxonomy":"wf_page_folders","embeddable":true,"href":"https:\/\/itisallmath.com\/es\/wp-json\/wp\/v2\/wf_page_folders?post=104"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}