Search Constraints

Number of results to display per page
Results for: Tags sim proof techniques Remove constraint Tags sim: proof techniques

Search Results

  • e-book 
    Delftse Foundations of Computation

    Delftse Foundations of Computation

    Delftse Foundations of Computation is a textbook for a one quarter introductory course in theoretical computer science. It includes topics from propositional and predicate logic, proof techniques, set theory and the theory of computation, along with practical applications to computer science. It has no prerequisites other than a general familiarity with computer programming.

    Subjects:
    Computing
    Keywords:
    Computer science Textbooks
    Resource Type:
    e-book
     
  • e-book 
    Spiral Workbook for Discrete Mathematics

    Spiral Workbook for Discrete Mathematics

    This is a text that covers the standard topics in a sophomore-level course in discrete mathematics: logic, sets, proof techniques, basic number theory, functions, relations, and elementary combinatorics, with an emphasis on motivation. It explains and clarifies the unwritten conventions in mathematics, and guides the students through a detailed discussion on how a proof is revised from its draft to a final polished form. Hands-on exercises help students understand a concept soon after learning it. The text adopts a spiral approach: many topics are revisited multiple times, sometimes from a different perspective or at a higher level of complexity. The goal is to slowly develop students' problem-solving and writing skills.Open SUNY Textbooks is an open access textbook publishing initiative established by State University of New York libraries and supported by SUNY Innovative Instruction Technology Grants. This initiative publishes high-quality, cost-effective course resources by engaging faculty as authors and peer-reviewers, and libraries as publishing service and infrastructure. The pilot launched in 2012, providing an editorial framework and service to authors, students and faculty, and establishing a community of practice among libraries. Participating libraries in the 2012- 2013 pilot include SUNY Geneseo, College at Brockport, College of Environmental Science and Forestry, SUNY Fredonia, Upstate Medical University, and University at Buffalo, with support from other SUNY libraries and SUNY Press. More information can be found at http://textbooks.opensuny.org.

    Subjects:
    Mathematics and Statistics
    Keywords:
    Mathematics Textbooks Computer science -- Mathematics
    Resource Type:
    e-book