Discrete Mathematics and Functional Programming. Author: Thomas VanDrunen Thomas VanDrunen, Functional programming as a discrete mathematics. Discrete Mathematics and Functional Programming is a textbook on discrete mathematics and functional programming in ML by Thomas VanDrunen. Of course discrete math is not exactly a very deep branch, but still it gives you a /Discrete-Mathematics-Functional-Programming-VanDrunen/dp/

Author: Faera Malak
Country: Turkey
Language: English (Spanish)
Genre: Career
Published (Last): 5 March 2016
Pages: 344
PDF File Size: 5.25 Mb
ePub File Size: 1.49 Mb
ISBN: 112-7-49812-347-3
Downloads: 76797
Price: Free* [*Free Regsitration Required]
Uploader: Zulushakar

If you are stuck on a problem, begin mahhematics working on simple examples and special cases. Homework assignments will be due every other class period. Relying on pattern matching and mimicry of past solutions will not lead to success. Unlike some of your past experiences in mathematics, there will typically be many correct answers to each problem.

Learn new ways to justify the correctness of a program, as well as conceptual techniques to help understand the run time of a program. You may ask students outside the course for help, but you need to make sure they understand the academic honesty policies for the course and you need to cite their assistance as well. If you enjoy working in groups, I strongly encourage you to work with others in the class to solve the homework problems.


If you bring your ideas and scratch work, we can focus on how to help you manage these transitions. Set aside time to simply think about the material and how it fits together, in addition to the time you give yourself to work on the homework.

I really enjoy funnctional with students. You may look at other sources, but you must cite other books or online sources if they provide you with an idea that helps you solve a problem.

Discrete Mathematics and Functional Programming

Contents [ show ]. For additional references on mathematical writing and notation, I recommend the following: It isn’t worth it. If you want to keep digital records of your work, I recommend learning how discrtee type your solutions. Your lowest homework score will be dropped.

I also recommend and will sometimes refer to Discrete Mathematics: Writing and Proof by Ted Sundstrom. Consult mathemagics general Grinnell College policy on Academic Honesty and the associated booklet for general information. Both centered on cardinality, disjointness, and partitions.

Also, read the posted solutions and compare them to your own. An Open Introduction by Oscar Levin, which is available online. When graded homework is returned, spend time reading the comments and reflecting on how you can improve your writing. Learning math requires practice, patience, and endurance. On MathLAN, you can access the interpreter by typing “sml”, although I recommend typing “rlwrap sml” so that the arrow keys behave as expected.


How to Prove It by Daniel Velleman.

We will also spend a great deal of time learning to write mathematical proofs. Homework will be posted to the course webpage, and will include a mixture of computations, explanations, proofs, and probramming.

Overall difficulties and suggestions are discussed for all chapters we worked through. Don’t be afraid to “play” and “experiment”.

Discrete Mathematics and Functional Programming

We agreed that several sections had been worked through too quickly. Section 2 MWF References for this chapter:. Spend your time trying to internalize rather than memorize.

Understand the relationship between programs and proofs. Tuesday, May 16 at 2: So try to think of ways to explain things as you would want gandrunen to be explained to you. Please just copy and paste the text into the body your email.

Grinnell College makes reasonable accommodations for students with documented disabilities.