View in EDS PDF Full Text ePub Full Text

Effective Theories in Programming Practice

Saved in:
Bibliographic Details
Title: Effective Theories in Programming Practice
Description: Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms to programming students in a concise, yet precise, manner. The book includes the background material needed to understand the explanations and to develop such explanations for other algorithms. The author demonstrates that clarity and simplicity are achieved not by avoiding formalism, but by using it properly.The book is self-contained, assuming only a background in high school mathematics and elementary program writing skills. It does not assume familiarity with any specific programming language. Starting with basic concepts of sets, functions, relations, logic, and proof techniques including induction, the necessary mathematical framework for reasoning about the correctness, termination and efficiency of programs is introduced with examples at each stage. The book contains the systematic development, from appropriate theories, of a variety of fundamental algorithms related to search, sorting, matching, graph-related problems, recursive programming methodology and dynamic programming techniques, culminating in parallel recursive structures.
Authors: Jayadev Misra
Resource Type: eBook.
Subjects: Computer programming--Textbooks
Categories: COMPUTERS / Programming / General, COMPUTERS / Languages / General, COMPUTERS / Programming / Algorithms
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
  – Type: ebook-epub
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 3770022
RelevancyScore: 1110
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1109.74133300781
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3770022$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$3770022$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Effective Theories in Programming Practice
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Set theory, logic, discrete mathematics, and fundamental algorithms (along with their correctness and complexity analysis) will always remain useful for computing professionals and need to be understood by students who want to succeed. This textbook explains a number of those fundamental algorithms to programming students in a concise, yet precise, manner. The book includes the background material needed to understand the explanations and to develop such explanations for other algorithms. The author demonstrates that clarity and simplicity are achieved not by avoiding formalism, but by using it properly.The book is self-contained, assuming only a background in high school mathematics and elementary program writing skills. It does not assume familiarity with any specific programming language. Starting with basic concepts of sets, functions, relations, logic, and proof techniques including induction, the necessary mathematical framework for reasoning about the correctness, termination and efficiency of programs is introduced with examples at each stage. The book contains the systematic development, from appropriate theories, of a variety of fundamental algorithms related to search, sorting, matching, graph-related problems, recursive programming methodology and dynamic programming techniques, culminating in parallel recursive structures.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Jayadev+Misra%22">Jayadev Misra</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Computer+programming--Textbooks%22">Computer programming--Textbooks</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Programming+%2F+General%22">COMPUTERS / Programming / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Languages+%2F+General%22">COMPUTERS / Languages / General</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Programming+%2F+Algorithms%22">COMPUTERS / Programming / Algorithms</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=3770022
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.1
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Computer programming--Textbooks
        Type: general
    Titles:
      – TitleFull: Effective Theories in Programming Practice
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Jayadev Misra
      – PersonEntity:
          Name:
            NameFull: Jayadev Misra
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2022
            – D: 29
              M: 05
              Type: profile
              Y: 2024
          Identifiers:
            – Type: isbn-print
              Value: 9781450399715
            – Type: isbn-electronic
              Value: 9781450399722
            – Type: isbn-electronic
              Value: 9781450399746
          Titles:
            – TitleFull: Effective Theories in Programming Practice
              Type: main
ResultId 1