Welkom in 15-251! In deze cursus wordt vanuit een filosofisch en historisch perspectief gekeken naar de ontwikkeling van de theoretische informatica. Vanaf het gebruik van een stapel stenen om getallen voor te stellen en te manipuleren, heeft de mens geleidelijk een abstract vocabulaire ontwikkeld om zijn wereld wiskundig voor te stellen. De ouden, met name de Grieken, beseften dat zij consequent over hun voorstellingen konden redeneren op een stapsgewijze manier. Met andere woorden, door te rekenen in abstracte modellen konden zij patronen in de wereld om hen heen beschrijven en voorspellen.
In deze cursus zullen we de ontwikkeling van de wiskunde opnieuw bekijken vanuit een computationeel oogpunt. Omgekeerd zullen we de aard van de wiskunde zelf wiskundig bestuderen. Wat is computation? Wat is in principe berekenbaar? Wat is bijzonder gemakkelijk, of bijzonder moeilijk om te berekenen? In hoeverre bepaalt de inherente aard van computation hoe we leren en denken over de wereld?
Vereisten: (15-122 of 15-150) en (21-127 of 21-128 of 15-151)
Organisatie
De colleges vinden elke dinsdag en donderdag plaats van 9.00 tot 10.20 uur in GHC 4401. Op vrijdag zijn er wekelijkse recitatie-onderdelen. De recitaties worden gebruikt om de lesstof aan te vullen en het werken aan problemen in kleine groepen te oefenen. Neem deel aan de recitatiesessie waarvoor je je hebt ingeschreven. Bij de meeste lezingen en recitaties wordt je aanwezigheid gecontroleerd. Dit telt mee voor je cijfer voor deelname aan het eind van het semester (zie het gedeelte over de beoordeling hieronder).
Woensdag van 18.30 tot 19.50 uur zijn er huiswerksessies. Meer informatie over deze sessies is te vinden in het gedeelte over het huiswerksysteem hieronder.
Bronnen
Er is geen verplichte tekst voor deze cursus. Het materiaal is vrij divers, en geen enkele standaardtekst bevat het. De colleges worden opgenomen en de links naar de video-opnames en de dia’s worden op de cursuswebsite geplaatst. Voor de meeste colleges wordt een aantekening gegeven. Als u boeken wilt bekijken die een deel van het cursusmateriaal bevatten, bevelen wij het volgende aan:
Communicatie met de cursusstaf
Elke student is verplicht zich aan te melden voor de Piazza-pagina van de cursus! Via Piazza worden mededelingen gedaan over de cursus, dus je moet Piazza elke dag raadplegen.
Als je een vraag hebt over een concept of een formulering bij een huiswerkprobleem, is de kans groot dat andere studenten in de klas dezelfde vraag hebben. Daarom raden we je aan om je vraag op Piazza te stellen. Houd de discussie beleefd en zorg ervoor dat u geen informatie over de huiswerkoplossingen geeft. Als je een vraag hebt die specifiek op jou betrekking heeft, stuur dan een e-mail naar je TA of een van de docenten. Als je een herbeoordelingsverzoek wilt doen, neem dan rechtstreeks contact op met de TA die de vraag heeft beoordeeld.
Iedere docent van de cursus heeft wekelijkse kantooruren – de tijden en locaties worden op de website van de cursus vermeld. U wordt sterk aangemoedigd om de kantooruren bij te wonen. Bij het maken van de huiswerkopdrachten wordt ervan uitgegaan dat u tijdens de kantooruren ondersteuning krijgt.
Grading
Uw cijfer hangt af van de volgende factoren.
Huiswerk. Er zijn 12 huiswerkopdrachten.
Tussentijdse examens. Er zijn twee midterm-examens (1 mrt, 19 apr, van 18.30 tot 21.30 uur). Noteert u alstublieft in uw agenda.
Eindexamen. Aan het einde van het semester is er een eindexamen.
Klasdeelname. Dit wordt voornamelijk gebaseerd op aanwezigheid. Andere factoren zijn het stellen en beantwoorden van vragen in de klas, in voordrachten en op het discussiebord.
Je cijfer wordt volgens de volgende tabel berekend.
| Cursusonderdeel | Gewicht |
| Homework | 30% |
| Midterm 1 | 20% |
| Midterm 2 | 20% |
| Final | 25% |
| Participatie | 5% |
Bij mid-semester, zullen de cut-offs voor de lettercijfers bekend worden gemaakt.
Als je cijfer aan het eind van het semester lager is dan een C, dan berekenen we je cijfer ook aan de hand van de volgende tabel en kennen we je het hogere cijfer toe. Het maximumcijfer dat je met het alternatieve beoordelingssysteem kunt krijgen, is een C.
| Cursusonderdeel | Gewicht |
| Homework | 30% (laagste 4 huiswerk half-gewogen) |
| Hogere Midterm | 30% |
| Final | 35% |
| Deelname | 5% |
Homework System
Homework is aantoonbaar het belangrijkste onderdeel van deze cursus. Het oplossen van de problemen is de enige manier om de stof onder de knie te krijgen.
Er zijn enkele algemene regels die gelden voor alle vragen in het huiswerk:
Als u twijfelt of iets binnen de regels valt of niet, aarzel dan niet om contact op te nemen met de cursusleiding.
Soorten vragen: Er zullen 4 soorten vragen in het huiswerk zitten en elke vraag zal duidelijk gelabeld worden met zijn type.
SOLO – Je moet zelf aan deze vragen werken. Naast de bovenstaande regels is het niet toegestaan deze vragen met iemand te bespreken, behalve met de cursusleiding.
GROUP – Deze vragen moeten in groepjes van 3 of 4 opgelost worden. Alleen aan deze vragen werken is niet toegestaan. U moet duidelijk uw groepsleden aangeven. Je mag van week tot week van groep veranderen, maar je mag maximaal één groep per week hebben. Anders dan je groepsleden mag je deze vragen bespreken met de cursusleiding.
OPEN COLLBORATIE – Je mag deze vragen bespreken met wie je maar wilt uit de klas. Behalve de algemene regels hierboven, zijn er geen extra regels voor dit type vragen.
PROGRAMMEREN – Niet alle huiswerkopdrachten zullen een programmeervraag bevatten, maar sommige misschien wel. De SOLO-regels zijn van toepassing op dit soort vragen. U moet uw programma’s in Autolab inleveren voor 18:30 uur op de dag dat het huiswerk klaar moet zijn.
Huiswerk Schrijfsessies: U levert niet voor elke vraag van het huiswerk een uitgeschreven oplossing in. Elke woensdag van 18.30 tot 19.50 uur in DH 2210 houden we een huiswerkschrijfsessie. In deze sessie zullen we willekeurig een subset van de huiswerkvragen kiezen, en je zult de oplossingen voor die problemen individueel moeten schrijven tijdens deze gecontroleerde setting. We verwachten dat je voor woensdagavond al geoefend zult hebben in het opschrijven van de oplossing van elke vraag in het huiswerk. Daarom zouden deze huiswerksessies relatief eenvoudig en stressvrij moeten zijn.
De kwaliteit van je opstel en presentatie is van groot belang, dus je moet ervoor zorgen dat je oplossingen heel duidelijk zijn uitgelegd. Als je ergens niet zeker van bent, of je denkt dat er een gat in je argumentatie zit, geef dit dan duidelijk aan in je schrijfsel (je verdient meer punten door dit te doen dan door een fout argument te schrijven!!). Probeer geen fout of onvolledig bewijs te verkopen! Als je een vraag helemaal blanco laat, verdien je 20% van de punten voor die vraag.
Het is heel belangrijk dat je van je fouten leert en ze corrigeert. Daarom mag je, nadat je je beoordeelde huiswerk hebt teruggekregen, oplossingen die je fout hebt gemaakt opnieuw inleveren (deadline wordt nog bekendgemaakt). Als je een volledig correcte en goed geschreven oplossing inlevert, krijg je 25% van de verloren punten voor die vraag terug.
Sjoemelen
We begrijpen dat de meesten van jullie nooit zouden overwegen om in welke vorm dan ook vals te spelen. Er is echter een kleine minderheid van studenten voor wie dit niet het geval is. In het verleden, toen we leerlingen betrapten op spieken, hebben ze vaak volgehouden dat ze de regels en straffen niet begrepen. Als onderdeel van het eerste huiswerk moet je bevestigen dat je het spiekbeleid hebt gelezen en begrepen. Lees de Carnegie Mellon University Policy on Academic Integrity. Hieronder volgen enkele duidelijke voorbeelden van spieken:
Consequenties: De straf voor spieken kan variëren van een aftrek van 10% op uw totale cursusgemiddelde (d.w.z. een verlaging met een lettercijfer) tot het direct zakken voor de cursus. Bovendien wordt in de meeste gevallen een brief naar de Dean of Student Affairs gestuurd en worden verdere consequenties door hen bepaald.
Extended-Time and Make-Up Policy
We zijn blij om studenten tegemoet te komen die extra tijd nodig hebben, goedgekeurd door het kantoor van Larry Powell. Neem contact op met een van de docenten als u in deze situatie verkeert.
Er worden geen overhoringen, tentamens of huiswerkbegeleiding gegeven, behalve in het geval van gedocumenteerde medische of familiale noodgevallen, of andere door de universiteit goedgekeurde afwezigheden. Een gewone verkoudheid of een computer die crasht, kunnen helaas niet worden beschouwd als een verontschuldigde afwezigheid.
Gezondheid en geluk
Wij hechten veel belang aan uw welzijn en geluk!!! Wees je ervan bewust dat iedereen van de cursusstaf altijd beschikbaar is voor advies of een praatje, en dat je zo vaak als je wilt naar de kantooruren moet komen voor academische en niet-academische gesprekken.
Weetje echter ook dat de universiteit diensten aanbiedt waar je op een bepaald moment tijdens het semester misschien gebruik van wilt maken. Als je er ooit niet zeker over bent, tegen een probleem aanloopt of meer informatie wilt, neem dan gerust contact op met de docenten.
Voor een uitgebreide lijst van de gezondheidsdiensten van CMU, klik hier.
CMU Police Department
Twijfel niet om de politie van CMU te bellen in geval van nood of als je gebruik wilt maken van hun diensten.
Counseling and Psychological Services (CAPS)
CAPS heeft tijdens de zomer een beperktere bezetting, maar is nog steeds beschikbaar voor u om gebruik van te maken. Ze bieden therapie, crisisondersteuning, enz. en je moet naar CAPS gaan voor counseling als je het moeilijk hebt, hoe klein je je problemen ook vindt. Als CAPS je niet op de juiste manier kan helpen, doen ze ook aan doorverwijzing en basisconsultaties om je te helpen vinden wat je nodig hebt.
University Health Services
Gezondheidsdiensten kunnen u op dezelfde manier helpen als een arts, maar ze bieden ook uitgebreid zorgbeheer en gezondheidsbevorderende diensten.
Note: Als UHS gesloten is, bel 1(844)881-7176.
15-251 Wellness help
Als je merkt dat je op de een of andere manier worstelt of gewoon wilt bespreken hoe je je voelt over 251 of gewoon een praatje wilt maken, neem dan contact op met een van de volgende mensen of je TA om een informele afspraak te maken.