August 25, 2021

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: Nikozil Samukasa
Country: Armenia
Language: English (Spanish)
Genre: Politics
Published (Last): 27 February 2014
Pages: 58
PDF File Size: 15.28 Mb
ePub File Size: 18.44 Mb
ISBN: 871-8-91916-939-6
Downloads: 16176
Price: Free* [*Free Regsitration Required]
Uploader: Mazuktilar

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 vamdrunen. In review of these sections, working exercises together on the whiteboard was especially helpful. The class then worked through example problems together or worked through newly assigned exercises that class members were encouraged to attempt.

If you work with others, your homework must be written up independently in your own words. 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. This is review, so if you don’t understand it, it’s okay.

Under no circumstances can you look at another student’s completed written work. Do what you can. 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. Your lowest homework score will be dropped.

Also, read the posted solutions and compare them to your own. To use our time together most effectively, it helps if you have grappled with the ideas and you bring some of your scratch work and attempts. To better understand the proofs we first made sure that there was a solid knowledge of definitions. Contents [ show ]. Just get what you can out of it.


LaTeX is a wonderful free 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. The most difficult aspect of chapter 2 was the lab, language processor, and additional information can be found on the Lab Page.

I encourage students who plan to observe holy days that coincide duscrete class meetings or assignment due dates to consult with me as soon as possible so that we may reach a mutual understanding of how you can meet the terms of your religious observance and also the requirements for this course. You may neither give nor receive help. Tuesday, May 16 at 2: Very few homework problems can be solved by looking up a similar problem from class and making small adjustments.

If you want to keep digital records of your work, I recommend learning how to type your solutions. Therefore, several weeks were set aside to review the material as to understand it more fully before moving on to finish the book. Writing “I worked with Sam on this problem” or “Mary helped me with this problem” suffices.

In addition to your written work, you should email me the text of the ML programs that you write for each assignment. However, you may mathenatics specifically look for solutions to homework problems, and you may not solicit help for homework problems from online forums.

Both centered on cardinality, disjointness, and partitions. Homework will be posted to the course webpage, and will include a mixture of computations, explanations, proofs, and programming. As a result, clarity disscrete exposition and the proper use of mathematical terminology are as vital to your solutions as having the correct idea. Book of Proof by Richard Hammack. Understand the relationship between programs and proofs. I also recommend and will sometimes refer to Discrete Mathematics: If you enjoy working in groups, I strongly encourage mathmatics to work with others in the class to solve the homework problems.


Books, written notes, computers, phones, and calculators are not permitted.

Discrete Mathematics and Functional Programming

Vandrundn graded homework is returned, spend time reading the comments and reflecting on how you can improve your writing. How to Prove It by Daniel Ddiscrete. Learn new ways to justify the correctness of a program, as well as conceptual techniques to help understand the run time of a program. Chapter 1 did not encounter many problems and was covered relatively quickly. For additional references on mathematical writing and notation, I recommend the following: I’m thinking that as we do review we will add the mathemaatics into the peggy plus plus wiki.

Retrieved from ” http: On MathLAN, you can access the interpreter by typing “sml”, although I recommend typing “rlwrap sml” so that the arrow keys behave as expected. Consult the general Grinnell College policy on Academic Honesty and the associated booklet for general information.

A major goal of this course is to learn how to express your mathematical ideas correctly and to write convincing proofs. Grinnell College makes reasonable accommodations for students with documented disabilities.

Discrete Mathematics and Functional Programming

We will also spend a great deal of time learning to write mathematical proofs. We have detailed our findings so that future classes may focus on the most relevant sections and spend less time on fruitless endeavors. Learn how to interpret mathematical language and symbols properly, and how to communicate mathematical ideas effectively. Learning math requires practice, patience, and endurance.

Overall difficulties and suggestions are discussed for all chapters we worked through.