Selaus tekijän mukaan kokoelmassa 113 Tietojenkäsittely ja informaatiotieteet

    • Teaching mathematics and programming : new approaches with empirical evaluation 

      Mannila, Linda
      TUCS Dissertations : 124 (Turku Centre for Computer Science (TUCS), 27.11.2009)
      Programming and mathematics are core areas of computer science (CS) and consequently also important parts of CS education. Introductory instruction in these two topics is, however, not without problems. Studies show that ...
    • Tool-supported invariant-based programming 

      Eriksson, Johannes
      TUCS Dissertations : 127 (Turku Centre for Computer Science (TUCS), 17.08.2010)
      The development of correct programs is a core problem in computer science. Although formal verification methods for establishing correctness with mathematical rigor are available, programmers often find these difficult to ...