Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
On difficult topics in theoretical computer science education
KTH, Skolan för datavetenskap och kommunikation (CSC), Teoretisk datalogi, TCS.
2014 (engelsk)Doktoravhandling, med artikler (Annet vitenskapelig)
Abstract [en]

This thesis primarily reports on an action research project that has been conducted on a course in theoretical computer science (TCS). The course is called Algorithms, data structures, and complexity (ADC) and is given at KTH Royal Institute of Technology in Stockholm, Sweden.

The ADC course is an introduction to TCS, but resembles and succeeds courses introducing programming, system development best practices, problem solving, proving, and logic. Requiring the completion of four programming projects, the course can easily be perceived as a programming course by the students. Most previous research in computer science education has been on programming and introductory courses.

The focus of the thesis work has been to understand what subject matter is particularly difficult to students. In three action research cycles, the course has been studied and improved to alleviate the discovered difficulties. We also discuss how the course design may color students’ perceptions of what TCS is. Most of the results are descriptive.

Additionally, automated assessment has been introduced in the ADC course as well as in introductory courses for non-CS majors. Automated assessment is appreciated by the students and is directing their attention to the importance of program correctness. A drawback is that the exercises in their current form are not likely to encourage students to take responsibility for program correctness.

The most difficult tasks of the course are related to proving correctness, solving complex dynamic programming problems, and to reductions. A certain confusion regarding the epistemology, tools and discourse of the ADC course and of TCS in general can be glimpsed in the way difficulties manifest themselves. Possible consequences of viewing the highly mathematical problems and tools of ADC in more practical, programming, perspective, are discussed. It is likely that teachers could explicitly address more of the nature and discourse of TCS in order to reduce confusion among the students, for instance regarding the use of such words and constructs as “problem”, “verify a solution”, and “proof sketch”.

One of the tools used to study difficulties was self-efficacy surveys. No correlation was found between the self-efficacy beliefs and the graded performance on the course. Further investigation of this is beyond the scope of this thesis, but may be done with tasks corresponding more closely and exclusively to each self-efficacy item.

Didactics is an additional way for a professional to understand his or her subject. Didactics is concerned with the teaching and learning of something, and hence sheds light on that “something” from an angle that sometimes is not reflected on by its professionals. Reflecting on didactical aspects of TCS can enrichen the understanding of the subject itself, which is one goal with this work.

sted, utgiver, år, opplag, sider
Stockholm: KTH Royal Institute of Technology, 2014. , s. vi, 94
Serie
TRITA-CSC-A, ISSN 1653-5723 ; 2014:15
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-152357ISBN: 978-91-7595-267-3 (tryckt)OAI: oai:DiVA.org:kth-152357DiVA, id: diva2:749999
Disputas
2014-10-17, F3, Lindstedtsvägen 26, KTH, Stockholm, 14:00 (engelsk)
Opponent
Veileder
Merknad

QC 20140929

Tilgjengelig fra: 2014-09-29 Laget: 2014-09-25 Sist oppdatert: 2014-09-29bibliografisk kontrollert
Delarbeid
1. Computer Lab Work on Theory
Åpne denne publikasjonen i ny fane eller vindu >>Computer Lab Work on Theory
2010 (engelsk)Inngår i: ITICSE 2010: PROCEEDINGS OF THE 2010 ACM SIGSE ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, NEW YORK: ASSOC COMPUTING MACHINERY , 2010, s. 93-97Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

This paper describes an attempt to introduce computer lab exercises on NP-completeness proofs in a class already containing computer lab exercises on algorithms and data structures. In the article we are interested in the answer of the following question: Can the students feel that their understanding of theoretical computer science is improved by performing a computer lab exercise on the subject? The class is mandatory for students in a computer science program, and is taken by about 130 students each year. Theory of NP-completeness proofs with reductions has previous years been examined on an individual assignment with written solutions handed in and later explained orally by the student to a teacher. The new assignment is performed as a computer lab exercise where students are working in small groups of two. This exercise is placed before the individual assignment, and is examined first by running automated test cases and later by an oral presentation in lab to a teacher. An improvement can be observed of the students' average results since the new assignment was introduced. This is not enough to prove the benefit of using the new assignment. However, the responses to questionnaires at course evaluations show that almost all students think that the assignment redly gave them better understanding of polynomial reductions in NP completeness proofs. The students' result on the new assignment corresponds closely to their results on the following individual assignment. Seemingly, the new assignment predicts accurately who is going to pass the following assignment.

sted, utgiver, år, opplag, sider
NEW YORK: ASSOC COMPUTING MACHINERY, 2010
Emneord
reductions, learning theoretical computer science, computer lab work
HSV kategori
Identifikatorer
urn:nbn:se:kth:diva-31020 (URN)000286906900021 ()2-s2.0-77955134619 (Scopus ID)978-1-60558-820-9 (ISBN)
Konferanse
15th Innovation and Technology in Computer Science Education Conference
Merknad
QC 20110307Tilgjengelig fra: 2011-03-07 Laget: 2011-03-07 Sist oppdatert: 2018-01-12bibliografisk kontrollert
2. The effect of short formative diagnostic web quizzes with minimal feedback
Åpne denne publikasjonen i ny fane eller vindu >>The effect of short formative diagnostic web quizzes with minimal feedback
2013 (engelsk)Inngår i: Computers and education, ISSN 0360-1315, E-ISSN 1873-782X, Vol. 60, nr 1, s. 234-242Artikkel i tidsskrift (Fagfellevurdert) Published
Abstract [en]

To help students gauge their understanding of basic concepts and encourage good study habits, we administered short online quizzes that use generic questions in the crucial first few weeks of a course. The purpose of the study was to investigate whether the combination of these web quizzes with generic questions with only binary feedback (right or wrong) would be beneficial for students' learning. We implemented these quizzes in three classes in two different subjects at two different universities, one in Sweden and one in the USA. The students' views on the quizzes' effect on their learning was investigated with surveys and interviews.

Almost all students appreciated having these quizzes and 38% of them changed their view on how much they knew of the material covered in the course. Furthermore, over 20% of the students reported altering their study habits as a consequence, in particular studying harder or earlier.

In conclusion, this study indicated that short quizzes using generic questions with limited correct/incorrect feedback on each question, have positive effects when administered early in courses.

The combination of generic questions and short quizzes could be of value for those contemplating automatic formative assessment, particularly if there is some hesitation with respect to the resources needed for constructing and validating the automatic feedback.

sted, utgiver, år, opplag, sider
Elsevier, 2013
Emneord
Improving classroom teaching, Interactive learning environments, Distance education and telelearning, Post-secondary education
HSV kategori
Identifikatorer
urn:nbn:se:kth:diva-109505 (URN)10.1016/j.compedu.2012.08.014 (DOI)000312231900021 ()2-s2.0-84866519433 (Scopus ID)
Prosjekter
Virtual Campus at Resource Centre for Net-based Education, KTH Royal Institute of Technology
Merknad

QC 20130110

Tilgjengelig fra: 2013-01-07 Laget: 2013-01-07 Sist oppdatert: 2017-12-06bibliografisk kontrollert
3. Five Years with Kattis – Using an Automated Assessment System in Teaching
Åpne denne publikasjonen i ny fane eller vindu >>Five Years with Kattis – Using an Automated Assessment System in Teaching
Vise andre…
2011 (engelsk)Inngår i: 2011 Frontiers in Education Conference (FIE), New York: IEEE , 2011Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

Automated assessment systems have been employed in computer science (CS) courses at a number of different universities. Such systems are especially applicable in teaching algorithmic problem solving since they can automatically test if an algorithm has been correctly implemented, i.e., that it performs its specified function on a set of inputs. Being able to implement algorithms that work correctly is a crucial skill for CS students in their professional role, but it can be difficult to convey the importance of this in a classroom situation. Programming and problem solving education supported by automated grading has been used since 2002 at our department. We study, using action research methodology, different strategies for deploying automated assessment systems in CS courses. Towards this end, we have developed an automated assessment system and both introduced it into existing courses and constructed new courses structured around it. Our primary data sources for evaluation consists of course evaluations, statistics on students' submitted solutions, and experience teaching the courses. Authors of this paper have been participating in teaching all of the courses mentioned here.

sted, utgiver, år, opplag, sider
New York: IEEE, 2011
Serie
Frontiers in Education Conference. Conference Proceedings, ISSN 0190-5848
Emneord
Computer Science Education, Algorithms, Automated assessment, Programming
HSV kategori
Identifikatorer
urn:nbn:se:kth:diva-49549 (URN)10.1109/FIE.2011.6142931 (DOI)000300879800236 ()2-s2.0-84858198854 (Scopus ID)978-1-61284-469-5 (ISBN)
Konferanse
41st ASEE/IEEE Frontiers in Education Conference. Rapid City, South Dakota, USA. October 12 - 15 2011
Merknad
QC 20111201Tilgjengelig fra: 2011-11-28 Laget: 2011-11-28 Sist oppdatert: 2014-09-29bibliografisk kontrollert
4. From theory to practice: NP-completeness for every CS student
Åpne denne publikasjonen i ny fane eller vindu >>From theory to practice: NP-completeness for every CS student
2013 (engelsk)Inngår i: ITiCSE '13 Proceedings of the 18th ACM conference on Innovation and technology in computer science education, Association for Computing Machinery (ACM), 2013, s. 16-21Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

NP-completeness is one of the most central concepts in computer science, and has been extensively applied in many diverse application areas. Despite this, students have problems grasping the concept and, more specifically, applying it to new problems. Independently, we have identified these problems at our universities in different countries and cultures. In an action research approach we have modified our courses and studied the effects. We here present some promising results. Our approach is mainly based on the idea of making more evident the fact that proving a new NP-completeness result is not at all different from designing a new algorithm. Based on this idea, we used tools typically used to teach algorithms (such as automatic program assessment and algorithm visualization systems), accompanied by other activities mainly devoted to augmenting the motivation to study computational complexity and forcing students to think and adopt a standpoint.

sted, utgiver, år, opplag, sider
Association for Computing Machinery (ACM), 2013
Serie
Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE, ISSN 1942-647X
Emneord
Algorithm visualization, Assessment, NP-completeness, Self-efficacy, Action research, Automatic programs, Diverse applications, Self efficacy, Algorithms, Engineering research, Students, Teaching, Formal logic
HSV kategori
Identifikatorer
urn:nbn:se:kth:diva-133890 (URN)10.1145/2462476.2465582 (DOI)2-s2.0-84881120385 (Scopus ID)978-145032078-8 (ISBN)
Konferanse
18th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2013, 1 July 2013 through 3 July 2013, Canterbury
Merknad

QC 20131111

Tilgjengelig fra: 2013-11-11 Laget: 2013-11-11 Sist oppdatert: 2018-01-11bibliografisk kontrollert
5. Dynamic programming - structure, difficulties and teaching
Åpne denne publikasjonen i ny fane eller vindu >>Dynamic programming - structure, difficulties and teaching
2013 (engelsk)Inngår i: 2013 IEEE Frontiers in Education Conference, New York: IEEE , 2013, s. 1857-1863Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

In this paper we describe action research on our third year Algorithms, Data structures and Complexity course, in which students have considered dynamic programming hard in comparison to the other topics. Attempting to amend this, we wanted to know which difficulties the students encountered, where they gained their knowledge, and which tasks they were most certain that they could perform after the course. Such work resides in the didactics of the subject taught, but the general methods of attacking perceived difficulties in a course can be tried on any course. We identified subtasks that could be taught separately, and adapted the lectures to Pattern Oriented Instruction in order to help students cope with the cognitive complexity of solving problems using dynamic programming. For this, we prepared new clicker questions, visualisations and a lab assignment. We also constructed self-efficacy items on the course goals for dynamic programming, and administered them before and after the teaching and learning activities. Among the self-efficacy items, determining the evaluation order and solving a problem with dynamic programming with no hints had the lowest score after the course. As for the activities, arguing correctness of a solution was something many students claimed that they did not learn anywhere. Students considered the lab exercise most useful, but they also learned a lot from the other activities.

sted, utgiver, år, opplag, sider
New York: IEEE, 2013
Serie
Frontiers in Education Conference, ISSN 0190-5848
Emneord
Action research, Cognitive complexity, Evaluation order, General method, Perceived difficulties, Self efficacy, Teaching and learning, Visualisations
HSV kategori
Identifikatorer
urn:nbn:se:kth:diva-143472 (URN)10.1109/FIE.2013.6685158 (DOI)000330839100389 ()2-s2.0-84893295842 (Scopus ID)978-1-4673-5261-1 (ISBN)
Konferanse
43rd IEEE Annual Frontiers in Education Conference, FIE 2013; Oklahoma City, OK; United States; 23 October 2013 through 26 October 2013
Merknad

QC 20140324

Tilgjengelig fra: 2014-03-24 Laget: 2014-03-21 Sist oppdatert: 2018-01-11bibliografisk kontrollert
6. Iteratively interventing with the "most difficult" topics of an algorithms and complexity course
Åpne denne publikasjonen i ny fane eller vindu >>Iteratively interventing with the "most difficult" topics of an algorithms and complexity course
(engelsk)Manuskript (preprint) (Annet vitenskapelig)
Identifikatorer
urn:nbn:se:kth:diva-152547 (URN)
Merknad

QS 2014

Tilgjengelig fra: 2014-09-29 Laget: 2014-09-29 Sist oppdatert: 2014-09-29bibliografisk kontrollert

Open Access i DiVA

Enstroem2014.pdf(562 kB)4187 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 562 kBChecksum SHA-512
69754d0938d0ee740cef4f9f62aed552cdbd413de640abf1287d5c90be28ab87dab10023b805a66b38f556450da9e4a1c84830ac75569249cf1596cdb0354f29
Type fulltextMimetype application/pdf

Søk i DiVA

Av forfatter/redaktør
Enström, Emma
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 4187 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 658 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf