NDLI: Mathematical induction is a recursive technique

Please wait, while we are loading the content...

Starting a computational science program

SIGCSE special project showcase

Computing and music: a spectrum of sound

Science fiction prototyping and security education: cultivating contextual and societal thinking in computer security education and beyond

A cluster for CS education in the manycore era

Revising computer science learning objects from learner interaction data

Early participation of CS students in research

Educational advances in artificial intelligence

Learning through open source participation

The CS10K project: mobilizing the community to transform high school computing

Minimally invasive programming courses: learning OOP with(out) instruction

Can graduating students design: revisited

Sorting algorithms as special cases of a priority queue sort

Teaching requirements engineering to undergraduate students

Successful K-12 outreach strategies

Setting the stage for computing curricula 2013: computer science -- report from the ACM/IEEE-CS joint task force

It seemed like a good idea at the time

Analysis of a CS1 approach for attracting diverse and inexperienced students to computing majors

WebMapReduce: an accessible and adaptable tool for teaching map-reduce computing

Learning to love computer science: peer leaders gain teaching skill, communicative ability and content knowledge in the CS classroom

Multidisciplinary computer science through conducting robots

A computer scientist goes to washington: how to be effective in a world where facts are 10% of the equation

Top issues in providing successful undergraduate research experiences

Report on qualitative research methods workshop

NCATE standards for preparation of secondary computer science teachers

Recognizing computational thinking patterns

A course on probability theory for computer scientists

Teaching operating systems as how computers work

Using a student response system in CS1 and CS2

Teaching tips we wish they'd told us before we started, small college class edition

Understanding NSF funding opportunities

Role and value of quantitative instruments in gauging student perspectives in a computing curriculum

Kinetic art and embedded systems: a natural collaboration

TEXNH trees: a new course in data structures

IASSim: a programmable emulator for the princeton IAS/Von Neumann machine

Exploring careers while learning Alice 3D: a summer camp for middle school girls

CS Fulbright experiences abroad

CS principles: piloting a new course at national scale

Hands-on networking labs with embedded routers

Computer literacy as life skills for a web 2.0 world

Breadth in depth: a 1st year introduction to parallel programming

Animal tlatoque: attracting middle school students to computing through culturally-relevant themes

CodeWrite: supporting student-driven practice of java

Scratching the subject surface: infusing computing into K-12 curriculum

Nifty assignments

Experience report: getting novice programmers to THINK about improving their software development process

Ideas for adding soft skills education to service learning and capstone courses for computer science students

Teaching computer science majors about teaching computer science

The images of computing: engaging undergraduates in the broad issues of computer science

Teaching mobile computing and developing software to support computer science education

Rediscovering the passion, beauty, joy, and awe: making computing fun again, part 4

Progress in surfacing computer science in STEM

NSF/IEEE-TCPP curriculum initiative on parallel and distributed computing: core topics for undergraduates

Teaching introductory programming with popular board games

Distributed version control in the classroom

Investigating the effective implementation of pair programming: an empirical investigation

Case study: faculty professional development workshops for innovation diffusion

Three human computation projects

Security in computer literacy: a model for design, dissemination, and assessment

Games as motivation in computer design courses: I/O is the key

The impact of problem-oriented animated learning modules in a CS1-style course

Incorporating social issues of computing in a small, liberal arts college: a case study

Extreme apprenticeship method in teaching programming for beginners

The FCS1: a language independent assessment of CS1 knowledge

Getting algorithm visualizations into the classroom

Collaborative web-based learning of testing tools in SE courses

Women build games, seriously

Practical parallel and concurrent programming

Lessons learned from a PLTL-CS program

Nelson: a low-cost social robot for research and education

Initial experience with a computational thinking course for computer science students

Mathematical induction is a recursive technique

Structured linux kernel projects for teaching operating systems concepts

Effectiveness of cognitive apprenticeship learning (CAL) and cognitive tutors (CT) for problem solving using fundamental programming concepts

Cooperative expertise for multidisciplinary computing

Student attitudes and motivation for peer review in CS2

A full system x86 simulator for teaching computer organization

Camps on a shoestring: how we survived a summer

Introducing networking and distributed systems concepts in an undergraduate-accessible wireless sensor networks course

Exploring the appeal of socially relevant computing: are students interested in socially relevant problems?

Encouraging parallel thinking through explicit coordination modeling

K-12 game programming course concept using textual programming

e-learning experience using recommender systems

Measuring the effectiveness of error messages designed for novice programmers

Interdisciplinary teaching: introductory programming via creative writing

Implementing a computer science endorsement program for secondary school teachers

On the design of an educational infrastructure for the blind and visually impaired in computer science

Human computer interaction that reaches beyond desktop applications

A snapshot of current practices in teaching the introductory programming sequence

LIFT: taking GUI unit testing to new heights

Beyond clickers: using ClassQue for multidimensional electronic classroom interaction

Analysis of undergraduate teaching evaluations in computer science

Training students to steal: a practical assignment in computer security education

VIREOS: an integrated, bottom-up, educational operating systems project with FPGA support

Evaluating the use of learning objects in CS1

Using undergraduate teaching assistants in a small college environment

Expressing computer science concepts through Kodu game lab

Online vs. face-to-face pedagogical code reviews: an empirical comparison

Two experiments using learning rate to evaluate an experimenter developed tool for splay trees

Software studio: teaching professional software engineering

Contextualized approaches to introductory computer science: the key to making computer science relevant or simply bait and switch?

Teaching concurrency-oriented programming with Erlang

Tutoring for retention

An introduction to AI course with guide robot programming assignments

A model for piloting pathways for computational thinking in a general education curriculum

Teaching discrete structures: a systematic review of the literature

LINQ ROX!: integrating LINQ into the database curriculum

Can algotutor change attitudes toward algorithms

Teaching biologists to compute using data visualization

Applying data structures in exams

IBCM: the itty bitty computing machine a one-week module to teach machine language in computing courses

Introducing computer science to K-12 through a summer computing workshop for teachers

Follow the river and you will find the C

Increasing engagement and enrollment in breadth-first introductory courses using authentic computing tasks

Modules in community: injecting more parallelism into computer science curricula

Introducing computational thinking in education courses

A web-based generation and delivery system for active code reading

Which aspects of novice programmers' usage of an IDE predict learning outcomes

Gumshoe: a model for undergraduate computational journalism education

Building a community to support HS CS teachers: the disciplinary commons for computing educators

Enhancing participation and education in CS through guided research projects in underserved communities

App inventor and real-world motivation

Reviewing CS1 exam question content

Promoting creativity in the computer science design studio

Overcoming barriers among Israeli and Palestinian students via computer science

The use of evidence in the change making process of computer science educators

The novice programmer's "device to think with"

An engineering approach to teaching writing.

A study on attitudes and emphases in computer science teacher preparation

Reaching out to aid in retention: empowering undergraduate women

Smart smartphone development: iOS versus android

Mathematical induction is a recursive technique

Content Provider	ACM Digital Library
Author	Drysdale, Robert L. Scot
Abstract	Many students find that proof by induction is one of the most difficult topics in discrete mathematics. Even students who are able to write inductive proofs in a Discrete Mathematics course often find it difficult to write inductive proofs in Data Structures, Algorithms, Theory of Computation, and other computer science courses. Part of the reason for this is that discrete mathematics courses tend to emphasize weak induction over the natural numbers, but strong induction over recursively defined structures is much more useful in computer science. This paper argues that learning and using proof by induction is easier if the recursive nature of proof by induction is made explicit, especially for students familiar with recursion. It can be useful to view an inductive proof as a template for a recursive program that takes a specific instance as a parameter and generates a complete direct proof for that instance. The abstract idea of assuming and invoking an inductive hypothesis is replaced by the concrete idea of making a recursive call to prove a lemma. Viewing induction as a recursive process allows us to give a rule for determining what base cases need to be proved in strong induction and simplifies creating correct inductive proofs.
Starting Page	269
Ending Page	274
Page Count	6
File Format	PDF
ISBN	9781450305006
DOI	10.1145/1953163.1953246
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2011-03-09
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Pedagogy Proof by induction Discrete mathematics
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in