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: Nishicage Mikatilar
Country: Vietnam
Language: English (Spanish)
Genre: Education
Published (Last): 19 January 2008
Pages: 484
PDF File Size: 2.63 Mb
ePub File Size: 10.45 Mb
ISBN: 853-9-47573-390-1
Downloads: 97168
Price: Free* [*Free Regsitration Required]
Uploader: Bat

Most students should anticipate spending about 12 hours a week devoted to the course. Consult the general Grinnell College policy on Academic Honesty and the associated booklet for general information.

Discrete Mathematics and Functional Programming

Just get what you can out of it. Grinnell College makes reasonable accommodations for students with documented disabilities.

The process of abstracting from special cases to general patterns is difficult at first, but the only way to improve is not to be afraid to try. Please just copy and paste the text into the body your email. If you bring your ideas and scratch work, we can focus on how to help you manage these transitions.

Discrete Mathematics and Functional Programming

If you plan to do any kind of mathematical or scientific writing in the future, you will likely use LaTeX, so taking the time now to familiarize yourself with it will greatly pay off in the long run.

When graded homework is returned, spend time reading the comments and reflecting on how you can improve your writing. If you want to keep digital records of your work, I recommend learning how to type your solutions. So try to think of ways to explain things as you would want them to be explained to you.


During this review, class members were encouraged to read through the sections and find any particular questions they had then bring those to class discussion. 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.

In review of these sections, working exercises together on the whiteboard was especially helpful. You may neither give nor receive help.

Very few homework problems can be solved by looking up a similar problem from class and making small adjustments. However, you may not specifically look for solutions to homework problems, and you may peogramming solicit help for homework problems from online forums. An Open Introduction by Oscar Levin, which is available online. Although I encourage doing this in all of your math and computer science courses, Discrete Mathematics is a subject where this approach is especially helpful and often leads to key insights.

Students should then speak with me as early as possible in the semester we can discuss ways to ensure your full participation in dsicrete course and coordinate your accommodations.

Learn how to abstract away essential ideas and to represent data using sequences, relations, graphs, and other combinatorial models. I encourage students who plan to observe holy days that coincide with class meetings or assignment due dates to consult with me as soon as possible so that we may reach a mutual funcctional of how you can meet the terms of your religious observance and also the requirements for this course.

References for this chapter:. Tuples are a foundational part of ML and before moving on it is imperative that everyone has a solid understanding of this concept. It isn’t worth it.

Core material can be found in chapters and additional concepts are found in chapters Sign In Don’t have an account? Chapter 3 sections 11, 12, and 14 focus on quantification, a foundational concept that is pertinent to the majority of the proofs in later sections. In addition to your written work, you should email me the text of the ML programs that you write for each assignment. Failing to acknowledge such collaboration or assistance is a violation of academic honesty.


This is review, so if you don’t understand it, it’s okay. Homework is due at the beginning of class i. Unless you have a serious emergency that you bring to my attention before a homework assignment is due, late homework will not be accepted after the class in which it is due. Understand the relationship between programs and proofs. Under no circumstances can you look at another student’s completed written work. LaTeX is a wonderful vaandrunen typesetting system which produces high-quality documents at the cost of only a small amount of additional effort beyond the nontrivial start-up cost of learning to use it.

As a result, clarity of exposition and the proper use of mathematical terminology are as vital to fuhctional solutions as having the correct idea.

Don’t be afraid to “play” and “experiment”. Solutions to the homework will be posted to the course webpage. Section 2 MWF Work to engage with and deeply understand the material.

Many of the concepts discussed in earlier chapters is review of Gersting with additional introduction of ML.