Difference between revisions of "Mathematics"
Jump to navigation
Jump to search
EndreyMark (talk | contribs) (→General: Paul Taylor: Practical Foundations of Mathematics. →Topics: : reference to various branches of mathematics) |
EndreyMark (talk | contribs) (Categorizing under Category:Theoretical foundations) |
||
| Line 10: | Line 10: | ||
* [[Computer science]] |
* [[Computer science]] |
||
* [[Combinatory logic]] |
* [[Combinatory logic]] |
||
| + | |||
| + | [[Category:Theoretical foundations]] |
||
Revision as of 10:37, 7 June 2006
General
Paul Taylor: Practical Foundations of Mathematics. Free online book on mathematics, huge areas of mathematics are described thoroughly, many of them closely related to computer science and functional programming (relational algebra, category theory, Curry-Howard isomorphism).