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: Brakus Zulkirisar
Country: Botswana
Language: English (Spanish)
Genre: Video
Published (Last): 24 August 2012
Pages: 490
PDF File Size: 11.95 Mb
ePub File Size: 1.7 Mb
ISBN: 132-5-69711-578-8
Downloads: 53625
Price: Free* [*Free Regsitration Required]
Uploader: Fenrirg

How to Prove It by Daniel Velleman.

Chapter 1 did not encounter many problems and was covered relatively quickly. You can not write a communal solution and all copy it down.

Discrete Structures

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. 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. Alternatively, you can use a package manager like Homebrew on a Mac. Learn how to abstract away essential ideas and to represent data using sequences, relations, graphs, and other combinatorial models.

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. Thursday, May 18 at 2: Most students should anticipate spending about 12 hours a week devoted to the course. If you do collaborative work or receive help form somebody in the course, you must acknowledge this on the corresponding problem s. Understand the relationship between pgogramming and proofs.


Do what you can. Sign In Don’t have an account? Contents [ show ].

Discrete Mathematics and Functional Programming

Many of the concepts discussed in earlier chapters is review of Gersting with additional introduction of ML. Set aside time to discret think about the material and how it fits together, in addition to the time you give yourself to work on the mathekatics. This is review, so if you don’t understand it, it’s okay. Learn new ways to justify the correctness of a program, as well as conceptual techniques to help understand the run time of a program.

References for this chapter:.

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

Just get what you can out of it. Much of your learning will happen outside of class. Book of Proof by Richard Hammack.

Section 2 MWF To better understand the proofs we first made sure that there was a solid knowledge of definitions. Chapter 1 sections 8 and 9 were vzndrunen to chapter 7 sections 9 and 10 and therefore were reviewed together. If discrehe plan to do any kind of mathematical or scientific writing in the future, you will likely use LaTeX, so taking vandgunen time dizcrete to familiarize yourself with it will greatly pay off in the long run.

Retrieved from ” http: Learn some fundamental combinatorial concepts: 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 neither give nor receive help. An Open Vanrdunen by Oscar Levin, which is available online. Students should then speak with me as early as possible in the semester we can discuss ways to ensure your full participation in the course and mathematucs your accommodations.


Your lowest homework score will be dropped. 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.

Failing to acknowledge such collaboration or assistance is a violation of academic honesty. However, you may not specifically look for solutions to homework problems, and you may not solicit help for homework problems from online forums. One of the most difficult parts of your mathematical education is learning how to transition from having no idea, to obtaining vague hunches, to seizing on key ideas, to writing correct proofs.

I’m thinking that as we do review programmlng will add the subjects into the peggy plus plus wiki. If you bring your ideas and scratch work, we can focus on how to help you manage these transitions. In review of these sections, working exercises together on the whiteboard was especially helpful.