Phranakorn Rajabhat University Library
Local cover image
Local cover image
Amazon cover image
Image from Amazon.com

Guide to discrete mathematics : an accessible introduction to the history, theory, logic and applications / Gerard O'Regan [electronic resource]

By: Material type: Computer fileComputer fileSeries: Texts in computer science | Texts in computer sciencePublication details: Cham, Switzerland : Springer, 2016Description: 1 online resource (xxi, 368 pages) : illustrationsISBN:
  • 9783319445618 (E-book)
Subject(s): LOC classification:
  • QA 76.9.M35 O73G 2016
Online resources:
Contents:
Sets relations and functions -- Number theory -- Mathematical induction and recursion -- Sequences series and permutations and combinations -- Algebra -- automata theory -- Matrix theory -- Computability and decidability -- A short history of logic -- Propositional and predicate logic -- Advanced topics in logic -- Software engineering mathematics -- Formal methods -- Z formal specification language -- Probability statistics and applications -- Graph theory -- Cryptography -- Coding theory -- Language theory and semantics
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Shelving location Call number Status Barcode Course reserves
E-Book E-Book SPU Library, Bangkok (Main Campus) Electronic Resources On Display QA 76.9.M35 O73G 2016 (Browse shelf(Opens below)) Available 9783319445618

การบูรณาการการเขียนโปรแกรมและเทคโนโลยี (INTEGRATIVE PROGRAMMING AND TECHNOLOGIES) ภาคการศึกษาที่ 2

Total holds: 0

Includes bibliographical references and index

Sets relations and functions -- Number theory -- Mathematical induction and recursion -- Sequences series and permutations and combinations -- Algebra -- automata theory -- Matrix theory -- Computability and decidability -- A short history of logic -- Propositional and predicate logic -- Advanced topics in logic --
Software engineering mathematics -- Formal methods -- Z formal specification language -- Probability statistics and applications -- Graph theory -- Cryptography -- Coding theory -- Language theory and semantics

There are no comments on this title.

to post a comment.

Click on an image to view it in the image viewer

Local cover image

มหาวิทยาลัยศรีปทุม (กทม.)
2410/2 ถ.พหลโยธิน เขตจตุจักร กรุงเทพฯ 10900
Tel : 02-579-1111, 02-561-2222
มหาวิทยาลัยศรีปทุม (ชลบุรี)
79 หมู่ 1 ถ.บางนา-ตราด ต.คลองตำหรุ อ.เมือง จ.ชลบุรี 20000
Tel : 038-146-123
มหาวิทยาลัยศรีปทุม (ขอนแก่น)
182/12 หมู่ 4 ถ.ศรีจันทร์ ต.ในเมือง อ.เมือง จ.ขอนแก่น 40000
Tel : 043-224-111


 

$(document).ready(function() { // Basic detection of search var searchBox = $('#transl1'); // This is standard OPAC search input id ?? // Actually standard is 'q' or 'idx'. // We want to trigger when the user sees results. // Usually we check if we are on search results page. if ($('body').hasClass('opac-results')) { var params = new URLSearchParams(window.location.search); var query = params.get('q'); if (query) { // Show Loading var container = $('
'); container.append('

✨ AI Recommendations

'); container.append(''); // Prepend to main content // Selector depends on theme. 'div.maincontent' or '#opac-main' $('#userresults').prepend(container); $.ajax({ url: '/api/v1/contrib/aisearch/search?q=' + encodeURIComponent(query), method: 'GET', success: function(data) { container.find('.spinner').remove(); if (data && data.length > 0) { var ul = ''; container.append(ul); } else { container.append('

No AI recommendations found.

'); } }, error: function() { container.find('.spinner').remove(); container.append('

Error loading AI recommendations.

'); } }); } } });