APICe » Courses » Class » LMC0910 » Schedule, Slides, and Software

Hide line numbers 1: 1 Schedule, Slides, and Software 2: 3: Slides for lessons in room can be obtained [here|http://campus.cib.unibo.it/19531/]. 4: 5: Software: 6: 7: * {attach:tuprolog|2p-2.2beta-20081112.jar}, its {attach:manual|tuprolog-guide.pdf}, {attach:sources|src.zip}, and {attach:APIs|api.zip} (These are versions to be used only by students of this course, for the open-source version please visit [http://sourceforge.net/projects/tuprolog/]) 8: 9: <table border="1" style="width: 97%"> <tbody><tr><td style="width: 90px">*Code*\\ 10: </td><td style="width: 256px"> *Description*</td> 11: <td style="width: 180px">*Date*</td> 12: <td style="font-weight: bold; width: 154px">Room</td><td style="font-weight: bold; width: 91px">Time</td> 13: </tr> <tr><td>0 \\ 14: </td><td>Introduction\\ 15: </td><td>Mon, 21/9</td><td>V2\\ 16: </td><td>14-16.30</td></tr><tr> <td>1a \\ 17: </td><td style="width: 256px">Computational Models\\ 18: </td> 19: <td style="width: 180px">Mon, 21/9</td> 20: <td style="width: 154px">V2</td><td style="width: 91px">14-16.30</td> 21: </tr> <tr><td>1b\\ 22: </td><td>Abstract Data Types \\ 23: </td><td>Wed, 23/9 \\ 24: </td><td>V2\\ 25: </td><td>11-13</td></tr><tr> <td>1c\\ 26: </td><td style="width: 256px">Functional Maude</td> 27: <td style="width: 180px">Wed, 23/9</td> 28: <td style="width: 154px">V2</td><td style="width: 91px">11-13</td> 29: </tr> <tr> <td>L1\\ 30: </td><td style="width: 256px">Lab-Maude</td> 31: <td style="width: 180px">Fri, 25/9</td> 32: <td style="width: 154px">LELE</td><td style="width: 91px">14-17</td> 33: </tr> <tr> <td>2a\\ 34: </td><td style="width: 256px">Prolog 1\\ 35: </td><td style="width: 180px">Mon, 28/9\\ 36: </td> 37: <td style="width: 154px">V2 \\ 38: </td><td style="width: 91px">14-16.30 \\ 39: </td></tr> 40: <tr><td>2a \\ 41: </td><td>Prolog 2\\ 42: </td><td style="width: 180px">Wed, 30/9\\ 43: </td><td style="width: 154px">V2\\ 44: </td><td style="width: 91px">11-13 \\ 45: </td></tr><tr> <td>L-P1 \\ 46: </td><td style="width: 256px">Lab-Prolog 1\\ 47: </td> 48: <td style="width: 180px">Fri, 1/10 </td> <td style="width: 154px">LELE \\ 49: </td><td style="width: 91px">14-17\\ 50: </td></tr> <tr><td>2b \\ 51: </td><td>Prolog 3 \\ 52: </td><td style="width: 180px">Mon, 4/10\\ 53: </td><td style="width: 154px">V2 \\ 54: </td><td style="width: 91px">14-16.30 \\ 55: </td></tr><tr><td>2b \\ 56: </td><td>Prolog 4 \\ 57: </td><td style="width: 180px">Wed, 6/10 \\ 58: </td><td style="width: 154px">V2 \\ 59: </td><td style="width: 91px">11-13 \\ 60: </td></tr><tr><td>L-P2 \\ 61: </td><td>Lab-Prolog 2</td><td style="width: 180px">Fri, 8/10 \\ 62: </td><td style="width: 154px">LELE \\ 63: </td><td style="width: 91px">14-17 \\ 64: </td></tr> 65: <tr> <td>2b \\ 66: </td><td style="width: 256px">Prolog 5 \\ 67: </td> 68: <td style="width: 180px">Mon, 11/10 \\ 69: </td> <td style="width: 154px">V2 \\ 70: </td><td style="width: 91px">14-16.30 \\ 71: </td></tr> <tr><td>2c</td><td>Metaprogramming \\ 72: </td><td>Thu, 14/10 \\ 73: </td><td>V1\\ 74: </td><td>11-13 \\ 75: </td></tr><tr><td>L-P3 \\ 76: </td><td>Lab-Prolog3 \\ 77: </td><td>Fri, 15/10 \\ 78: </td><td>LELE \\ 79: </td><td>14-17 \\ 80: </td></tr><tr> 81: <td>2d \\ 82: </td><td style="width: 256px">Metainterpretation \\ 83: </td> <td style="width: 180px">Mon, 18/10 \\ 84: </td> <td style="width: 154px">V2 \\ 85: </td><td style="width: 91px">14-16.30 \\ 86: </td></tr> <tr> <td>2e \\ 87: </td><td style="width: 256px">Java-Prolog \\ 88: </td> 89: <td style="width: 180px">Wed, 20/10 \\ 90: </td> <td style="width: 154px">V2 \\ 91: </td><td style="width: 91px">11-13 \\ 92: </td></tr> <tr> <td>L-JP</td><td style="width: 256px">Lab-JavaProlog \\ 93: </td> 94: <td style="width: 180px">Fri, 22/10 \\ 95: </td> <td style="width: 154px">LELE \\ 96: </td><td style="width: 91px">14-17</td></tr> <tr> <td>3a 97: </td><td style="width: 256px">Basic Logics</td> 98: <td style="width: 180px">Mon 25/10 \\ 99: </td><td style="width: 154px">V2 \\ 100: </td><td style="width: 91px">14-16.30 \\ 101: </td> 102: </tr> 103: <tr><td>3a\\ 104: </td><td>Basic Logics \\ 105: </td><td>Wed, 27/10 \\ 106: </td><td>V2 \\ 107: </td><td>11-13 \\ 108: </td></tr><tr><td>3b \\ 109: </td><td>Other Logics \\ 110: </td><td>Fri, 29/10 \\ 111: </td><td>V2 \\ 112: </td><td>14-16 \\ 113: </td></tr><tr><td>4a \\ 114: </td><td>Grammars \\ 115: </td><td>Mon, 2/11</td><td>V2 \\ 116: </td><td>14-16.30 </td></tr><tr><td>4b \\ 117: </td><td>Basic Parsing \\ 118: </td><td>Wed, 4/11 \\ 119: </td><td>V2 \\ 120: </td><td>11-13 </td></tr><tr><td>L-Par \\ 121: </td><td>Lab-Parsing \\ 122: </td><td>Fri, 6/11 \\ 123: </td><td>LELE  \\ 124: </td><td>14-17 \\ 125: </td></tr><tr><td>4c\\ 126: </td><td>Compilation\\ 127: </td><td>Mon, 9/11 \\ 128: </td><td>V2 \\ 129: </td><td>14-16.30 </td></tr><tr><td>4d\\ 130: </td><td>Parsing and Interpretation in Java \\ 131: </td><td>Wed, 11/11 \\ 132: </td><td>V2\\ 133: </td><td>11-13 </td></tr><tr><td>L-Comp \\ 134: </td><td>Lab-Compilation</td><td>Fri, 13/11 \\ 135: </td><td>LELE \\ 136: </td><td>14-17 \\ 137: </td></tr><tr><td>4e \\ 138: </td><td>Operational Semantics\\ 139: </td><td>Mon, 16/11 \\ 140: </td><td>V2 \\ 141: </td><td>14-16.30 \\ 142: </td></tr><tr><td>4f\\ 143: </td><td>Maude for Op. Semantics\\ 144: </td><td>Wed, 18/11 \\ 145: </td><td>V2 \\ 146: </td><td>11-13 \\ 147: </td></tr><tr><td>L-OpSem\\ 148: </td><td>Lab-Operational Semantics\\ 149: </td><td>Fri, 20/11 \\ 150: </td><td>LELE\\ 151: </td><td>14-17 \\ 152: </td></tr><tr><td>5a \\ 153: </td><td>Petri Nets \\ 154: </td><td>Mon, 23/11 \\ 155: </td><td>V2 \\ 156: </td><td>14-16.30 \\ 157: </td></tr><tr><td>5b \\ 158: </td><td>Model-Checking \\ 159: </td><td>Thu, 26/11 \\ 160: </td><td>V1 \\ 161: </td><td>9-11</td></tr><tr><td>L-MC \\ 162: </td><td>Lab-ModelChecking \\ 163: </td><td>Fri, 27/11 \\ 164: </td><td>LELE \\ 165: </td><td>14-17 \\ 166: </td></tr><tr><td>5c\\ 167: </td><td>Process Algebras 1 \\ 168: </td><td>Mon, 30/11 \\ 169: </td><td>V2 \\ 170: </td><td>14-16.30 \\ 171: </td></tr><tr><td>5d \\ 172: </td><td>Process Algebras 2\\ 173: </td><td>Wed, 2/12 \\ 174: </td><td>V2 \\ 175: </td><td>11-13 \\ 176: </td></tr><tr><td>5e</td><td>Stochastic Models \\ 177: </td><td>Fri, 4/12 \\ 178: </td><td>V2</td><td>14-16</td></tr><tr><td>5f\\ 179: </td><td>Stochastic ModelChecking \\ 180: </td><td>Thu, 10/12 \\ 181: </td><td>V1 \\ 182: </td><td>9-11 \\ 183: </td></tr><tr><td>L-PRISM\\ 184: </td><td>Lab-PRISM</td><td>Fri, 11/12 \\ 185: </td><td>LELE \\ 186: </td><td>14-17 \\ 187: </td></tr><tr><td>SEM-BIO\\ 188: </td><td>Computational Models for Biological Systems\\ 189: </td><td>Mon, 14/12 \\ 190: </td><td>V2 \\ 191: </td><td>14-16.30 \\ 192: </td></tr><tr><td>L-SPIM\\ 193: </td><td>Lab-SPIM\\ 194: </td><td>Thu, 17/12 \\ 195: </td><td>LELE\\ 196: </td><td>9-12\\ 197: </td></tr></tbody></table>