![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| BdidaFormulaPage.rtf | 2006-11-19 17:33 | 3.4M | |
| bdida07a.html | 2007-01-26 02:14 | 26K | |
| ex1-logic.doc | 2006-10-24 16:06 | 51K | |
| ex2-logic.pdf | 2006-10-31 21:32 | 48K | |
| ex2-logic.ps | 2006-10-31 21:27 | 504K | |
| ex3-sets.doc | 2006-11-07 18:09 | 71K | |
| ex4-sets.doc | 2006-11-15 09:53 | 98K | |
| ex5-functions.doc | 2006-11-20 22:57 | 499K | |
| ex6-relations.doc | 2006-11-28 14:58 | 126K | |
| ex7-cardinalities.doc | 2006-12-07 00:31 | 77K | |
| ex8-cardinalities.doc | 2006-12-13 14:53 | 63K | |
| ex9-cardinalities.doc | 2006-12-19 16:44 | 75K | |
| ex10-combinatorics.rtf | 2006-12-28 21:36 | 170K | |
| ex11-combinatorics.doc | 2007-01-03 10:51 | 49K | |
| ex11-tarsi-genfunc.doc | 2007-01-04 17:09 | 95K | |
| ex12-avron-genfunc.doc | 2007-01-10 10:03 | 44K | |
| ex12-sonny-recursion-genfunc.doc | 2007-01-10 17:49 | 38K | |
| ex12-tarsi-recursion.doc | 2007-01-10 17:48 | 45K | |
| ex13-amir-uri-genfunc.doc | 2007-01-17 20:29 | 74K | |
| ex13-avron-recursion.doc | 2007-01-17 09:52 | 48K | |
| ex13-sonny.rtf | 2007-01-17 20:29 | 228K | |
| ex13-tarsi.rtf | 2007-01-17 20:30 | 231K | |
| ex14-avron.rtf | 2007-01-23 22:54 | 258K | |
| ex14-tarsi.rtf | 2007-01-25 15:06 | 203K | |