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: Mikagami Doukus
Country: China
Language: English (Spanish)
Genre: Automotive
Published (Last): 24 March 2008
Pages: 36
PDF File Size: 2.92 Mb
ePub File Size: 8.67 Mb
ISBN: 470-4-81027-801-8
Downloads: 84857
Price: Free* [*Free Regsitration Required]
Uploader: Samujinn

Retrieved from ” http: Learn how to abstract away essential ideas and to represent data using sequences, relations, graphs, and other combinatorial models. Homework will be posted to the course webpage, and will include a mixture of computations, explanations, proofs, and programming. Thursday, May 18 at 2: Students need to provide documentation to the Coordinator for Disability Resources, Autumn Wilke, located on the 3rd floor of the Rosenfield Center x Relying on pattern matching and mimicry of past solutions will not lead to success.

Much of your learning will happen outside of class. Alternatively, you can use a package manager like Homebrew on a Mac. Spend your time trying to internalize rather than memorize.

However, you may not specifically look for solutions to homework problems, and you may not solicit help for homework problems from online forums. If you work with others, your homework must be written up independently in your own words. Examine and learn from how the solutions differ from yours in ideas, language, and organization. Chapter 1 sections 8 and 9 were precursors to chapter 7 sections 9 and 10 and therefore were reviewed together.

Discrete Mathematics and Functional Programming | Peggy++ Wiki | FANDOM powered by Wikia

We agreed that several sections had been worked through too quickly. Homework assignments will be due every other class period. Learning math requires practice, patience, and endurance. 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.

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. Please just copy and paste the text into the body your email. Understand the relationship between programs and proofs.


Discrete Mathematics and Functional Programming

Learn some fundamental combinatorial concepts: If you are stuck on a problem, begin by working on simple examples mathematice special cases. 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.

It isn’t worth it. Please take the time to write your solutions neatly and carefully! Both centered on cardinality, disjointness, and partitions. If you bring your ideas and scratch work, we can focus on how to help you manage these transitions. An example assignment for an entire week follows:.

Do not be alarmed if your homework has many comments about how to improve nobody starts out as an expert. How to Prove It by Daniel Velleman. Very few homework problems can be solved by looking up a similar problem from class and making small adjustments.

Core material can be progdamming in chapters and additional concepts are found in chapters Under no circumstances can you look at another student’s completed written work. 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.

Develop your functional programming abilities in Standard ML. We found that by spending extra time on these sections we were able to tie up some holes in our collective understanding of proofs and how to execute algorithms relying on quantification. A major goal of this course is mathemtics learn how to express your mathematical ideas correctly and to write convincing proofs.

Grinnell College makes reasonable accommodations for students with documented disabilities. If you want to keep digital records of your work, Mathematjcs recommend learning how to type your solutions. You may neither give nor receive help. The class then worked through example problems together or worked through newly assigned exercises that class members were encouraged to attempt.


Writing “I worked with Sam on this problem” or “Mary helped me with this problem” suffices. If you enjoy working in groups, I strongly encourage you to work with others in the class to solve the homework problems. In addition to your written work, you should email me the text of the ML programs that you write for each assignment.

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. On MathLAN, you can access the interpreter by typing “sml”, although I recommend typing “rlwrap sml” so that the arrow keys behave as expected. Learn how to interpret mathematical language and symbols properly, and how to communicate mathematical ideas effectively. 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.

Discrete Mathematics and Functional Programming Vital statistics. We found that more time should be spent on chapters and skipped the last half of chapter 9 and all of mmathematics 10 after deeming them to be interesting but not necessarily constructive. 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.

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 understanding of how you can meet the terms of your religious observance and also the requirements for this course.