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: Shaktile Durn
Country: Guadeloupe
Language: English (Spanish)
Genre: Health and Food
Published (Last): 24 December 2013
Pages: 352
PDF File Size: 6.29 Mb
ePub File Size: 6.58 Mb
ISBN: 537-5-56320-411-1
Downloads: 10560
Price: Free* [*Free Regsitration Required]
Uploader: Kazragal

Discrete Mathematics and Functional Programming

Thursday, May 18 mathemayics 2: We agreed that several sections had been worked through too quickly. 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.

Examine and learn from how the solutions differ from yours in ideas, language, and organization. Develop your functional programming abilities in Standard ML. Learn the logic of mathematical arguments, different ways to prove a statement, and how to construct your own proofs. How to Discrrete It by Daniel Velleman. Learn how to interpret mathematical language and symbols properly, and how to communicate mathematical ideas effectively. Don’t be afraid to “play” and “experiment”. Tuesday, May 16 funxtional 2: 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.

Much of your learning will happen outside of class.

We found that more time should be spent on chapters and skipped the last half of chapter 9 and all of chapter 10 after deeming them to be interesting but not necessarily constructive. Most students should anticipate spending about 12 hours a week devoted to the course. 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.

  AD009 03 PDF

Just get what you can out of it. Both centered on cardinality, disjointness, and partitions. If you are stuck on a problem, begin by working on simple examples and special cases.

Books, written notes, computers, phones, and calculators are not permitted. Your lowest homework score will be dropped. Book of Proof by Richard Hammack.

You may neither give vanrdunen receive help. Grinnell College makes reasonable accommodations for students with documented disabilities. You may look at other sources, but you must cite other books or online pprogramming if they provide you with an idea that helps you solve a problem.

Please take the time to write your solutions neatly and carefully! In addition to your written work, you should email me the text of the ML programs that you write for each assignment. Chapter 3 sections 11, 12, and 14 focus on quantification, a foundational progranming that is pertinent to the majority of the proofs in later sections.

If you enjoy working in groups, I strongly encourage you to work with others in the class to solve the homework problems. The most difficult aspect of chapter 2 was the lab, language processor, and additional information can be found on the Lab Page. 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. As a result, clarity of exposition and the proper use of mathematical terminology are as vital to your solutions as having the correct idea.

  IBM X3400 M2 PDF

However, you may not specifically look for solutions to homework problems, and you may not solicit help for homework problems from online forums. Unlike some of your past experiences in mathematics, there will typically be many correct answers to each problem.

Writing and Proof by Ted Sundstrom.

Learning math requires practice, patience, and endurance. Relying on pattern matching and mimicry of past solutions will not lead to success. It isn’t worth it. When graded homework is returned, spend time reading the comments and reflecting on how you can improve your writing.

Discrete Mathematics and Functional Programming

Understand the relationship between programs and proofs. About halfway through the year we found that there were many points we did not fully understand and that this lack of understanding was only further retarding our progress.

Failing to acknowledge such collaboration or assistance is a violation of academic honesty. If you work with others, your homework must be written up independently in your own words.