15-251 Nagy elméleti ötletek az informatikában

Üdvözöljük a 15-251-ben! Ez a kurzus filozófiai és történelmi szempontból vizsgálja az elméleti informatika fejlődését. Attól kezdve, hogy az emberek egy halom követ használtak a számok ábrázolására és manipulálására, fokozatosan kifejlesztettek egy absztrakt szókincset, amellyel matematikailag ábrázolni tudták a világukat. Az ókoriak, különösen a görögök, rájöttek, hogy ábrázolásaikról következetesen, lépésről lépésre tudnak gondolkodni. Más szóval, absztrakt modellekben való számítással le tudták írni és meg tudták jósolni az őket körülvevő világ mintáit.”

Ebben a kurzusban a matematika fejlődését tekintjük át újra a számítás szemszögéből. Megfordítva, matematikailag fogjuk tanulmányozni magának a számításnak a természetét. Mi a számítás? Mi az, ami elvileg kiszámítható? Mi az, amit különösen könnyű, vagy különösen nehéz kiszámítani? Milyen mértékben alakítja a számítás eredendő természete azt, ahogyan tanulunk és gondolkodunk a világról?

Előfeltételek: (15-122 vagy 15-150) és (21-127 vagy 21-128 vagy 15-151)

Szervezés

Az előadásokat minden kedden és csütörtökön 9:00 és 10:20 között tartjuk a GHC 4401-ben. Péntekenként heti rendszerességgel tartanak szavaló szekciókat. Az ismétlések az előadások anyagának kiegészítésére és a kiscsoportos problémamegoldás gyakorlására szolgálnak. Kérjük, vegyen részt azon az előadáson, amelyre feliratkozott. A legtöbb előadáson és ismétlésen jelenléti ívet veszünk fel. Ez beleszámít a félév végi részvételi jegybe (lásd az Értékelés című részt alább).

Ezen kívül szerdánként 18:30-tól 19:50-ig “Házi feladatok írására szolgáló ülések” lesznek. További információ ezekről a foglalkozásokról az alábbi Házi feladatok rendszere részben található.

Források

A kurzushoz nincs kötelező szöveg. Az anyag meglehetősen változatos, és egyetlen szabványos szöveg sem tartalmazza. Az előadásokat rögzítjük, és a videofelvételek, valamint a diák linkjeit a kurzus weboldalán biztosítjuk. Az előadások többségéhez jegyzeteket is biztosítunk. Ha olyan könyveket szeretne megnézni, amelyek a tananyag egy részét tartalmazzák, a következőket ajánljuk:

  • “Bevezetés a számításelméletbe” Michael Sipser
  • “A számítás természete” Cristopher Moore és Stephan Mertens
  • Kommunikáció a kurzus munkatársaival

    Minden hallgatónak fel kell iratkoznia a kurzus Piazza oldalára! A kurzussal kapcsolatos bejelentések a Piazza segítségével fognak történni, ezért minden nap ellenőrizni kell a Piazza oldalt.

    Ha kérdése van egy előadás koncepciójával vagy egy házi feladat megfogalmazásával kapcsolatban, jó esély van rá, hogy a többi hallgatónak az órán ugyanez a kérdése. Ezért erősen javasoljuk, hogy a kérdését tegye fel a Piazza-ra. Kérjük, tartsa udvariasan a vitát, és ügyeljen arra, hogy ne adjon ki információkat a házi feladatok megoldásairól. Ha olyan kérdése van, amely személyesen Önre vonatkozik, kérjük, írjon e-mailt a tanársegédnek vagy az egyik oktatónak. Ha átminősítési kérelmet szeretne benyújtani, kérjük, forduljon közvetlenül ahhoz a tanársegédhez, aki az adott kérdést osztályozta.

    A kurzus munkatársai közül mindenki heti rendszerességgel tart fogadóórát – az időpontokat és a helyszíneket a kurzus honlapján tesszük közzé. Erősen ajánlott, hogy részt vegyen az irodai órákon. Valójában a házi feladatok azzal a feltételezéssel készülnek, hogy az irodai órákon segítséget fog kapni.

    Besorolás

    A jegye a következő tényezőktől függ.

    Házi feladatok. 12 házi feladat lesz.

    Haladásközi vizsgák. Két félévközi vizsga lesz (márc. 1., ápr. 19., 18:30-tól 21:30-ig). Kérjük, jegyezzék be a naptárukba.

    záróvizsga. A félév végén lesz egy záróvizsga.

    Osztályon való részvétel. Ez főként a jelenléten fog alapulni. További tényezők közé tartozik a kérdések feltevése és megválaszolása az órán, az előadásokon és a vitafórumon.

    A számszerű jegyét az alábbi táblázat szerint számoljuk ki.

    Kurzuskomponens Súly
    Házi feladat 30%
    1. félév 20%
    félév 2 20%
    záró 25%
    részvétel 5%

    Félidőben-Félév közepén, A félév során kihirdetésre kerülnek az osztályzati ponthatárok.

    Ha a félév végi betűjeles jegye C alatt van, akkor az alábbi táblázat alapján is kiszámítjuk a jegyét, és a magasabb osztályzatot adjuk. Az alternatív osztályozási rendszerrel maximálisan C betűjeles osztályzatot kaphat.

    Tantárgykomponens Súly
    Házi feladat 30% (a legalacsonyabb 4 házi feladat fele-súlyozva)
    magas félévközi 30%
    záró 35%
    részvétel 5%

    Házi feladat rendszer

    A házi feladat vitathatatlanul a tantárgy legfontosabb eleme. A feladatok megoldása az egyetlen módja az anyag elsajátításának.

    Van néhány általános szabály, amely a házi feladatokban szereplő összes kérdésre vonatkozik:

  • Az írott anyagot nem oszthatja meg senkivel.
  • A feladatok megoldását nem vitathatod meg a Piazza vagy más vitafórumon. (A Piazza-n nyugodtan feltehetsz olyan kérdéseket, amelyek nem árulnak el megoldási ötleteket.)
  • Nem kérhetsz válaszokat a házi feladatokra, azaz nem kérhetsz senkitől megoldást egy problémára a házi feladat megírása előtt.
  • Az interneten általános fogalmak keresése megengedett. Tilos konkrét kulcsszavakra guglizni, amelyek történetesen valamelyik házi feladat kérdésben szerepelnek.
  • A forrásokat mindig idézni kell, beleértve azokat az embereket is, akikkel együtt dolgozott.
  • A házi feladat kollaboratív részeinél 15 percig kell gondolkodnia egy problémán, mielőtt elkezdi megvitatni azt valaki mással.
  • Ha nyilvánosan látható táblán/feketetáblán dolgozol, a munka végeztével minden tartalmat le kell törölnöd.
  • Ha kétségeid vannak azzal kapcsolatban, hogy valami szabályos-e vagy sem, ne habozz a kurzus munkatársaihoz fordulni.

    Kérdéstípusok: A házi feladatban 4 típusú kérdés lesz, és minden kérdésen egyértelműen fel lesz tüntetve a típusa.

    SOLO – Ezeket a kérdéseket egyedül kell kidolgoznia. A fent említett szabályokon kívül ezeket a kérdéseket senkivel sem szabad megbeszélni, kivéve a kurzus munkatársaival.

    GROUP – Ezeket a kérdéseket 3 vagy 4 fős csoportokban kell megoldani. Egyedül dolgozni ezeken a kérdéseken nem szabad. A csoporttagokat egyértelműen meg kell jelölnie. Hétről hétre változtathatod a csoportodat, de hetente legfeljebb egy csoportod lehet. A csoporttagjaidon kívül a kurzus munkatársaival is megbeszélheted ezeket a kérdéseket.

    NYILVÁNOS EGYÜTTMŰKÖDÉS – Ezeket a kérdéseket bárkivel megbeszélheted az osztályból. A fent említett általános szabályokon kívül nincsenek további szabályok az ilyen típusú kérdésekre vonatkozóan.

    PROGRAMOZÁS – Nem minden házi feladat fog tartalmazni programozási kérdést, de néhány tartalmazhat. Az ilyen típusú kérdésekre a SOLO szabályok vonatkoznak. A programokat a házi feladat esedékességének napján 18:30-ig kell beküldeni az Autolabba.

    Házi feladatok írása: A házi feladat minden kérdésére nem adtok be kiírt megoldásokat. Minden szerdán 18:30-tól 19:50-ig a DH 2210-es teremben házi feladatíró foglalkozást tartunk. Ezen az ülésen véletlenszerűen kiválasztunk egy részhalmazt a házi feladatok kérdéseiből, és ezen a proktorált keretek között kell majd egyénileg megírnia a megoldásokat ezekre a feladatokra. Elvárjuk, hogy szerda este előtt már begyakorolta a házi feladat minden kérdésének megoldásának leírását. Ezért ezeknek a házi feladatok megírásának viszonylag egyszerűnek és stresszmentesnek kell lennie.

    Az írás és a prezentáció minősége nagyon sokat számít, ezért ügyeljen arra, hogy a megoldásai nagyon világosan legyenek kifejtve. Ha valamiben nem vagy biztos, vagy úgy gondolod, hogy hiányosság van az érvelésedben, ezeket egyértelműen jelezd az írásodban (ezzel több pontot kapsz, mintha egy rossz érvelést írnál!!!). Ne próbálj meg rossz vagy hiányos bizonyítást eladni! Ha egy kérdést teljesen üresen hagysz, akkor az adott kérdésre a pont 20%-át kapod.

    Nagyon fontos, hogy tanulj a hibáidból, és javítsd ki őket. Ezért miután visszakapod a leosztályozott házi feladatodat, újra beadhatod a hibás megoldásokat (a határidőt majd meghirdetjük). Ha teljesen helyes és jól megírt megoldást adsz be, akkor az adott kérdésért elvesztett kredit 25%-át visszakapod.

    Csalás

    Megértjük, hogy legtöbbeteknek soha nem jutna eszébe csalás semmilyen formában. Van azonban a diákoknak egy kis kisebbsége, akiknél ez nem így van. A múltban, amikor csaláson kaptuk a diákokat, gyakran ragaszkodtak ahhoz, hogy nem értették a szabályokat és a büntetéseket. Az első házi feladat részeként el kell ismernetek, hogy elolvastátok és megértettétek a csalásra vonatkozó szabályokat. Kérjük, olvassa el a Carnegie Mellon University szabályzatát a tanulmányi integritásról. Az alábbiakban néhány egyértelmű példa a csalásra:

  • Egy másik hallgatótól való másolás vizsga vagy házi feladat írásakor.
  • Egy SOLO-probléma megbeszélése a házi feladat írás előtt valakivel, aki nem tagja a kurzus tantestületének.
  • Guglizni bizonyos kulcsszavak után, amelyek véletlenül megjelennek a házi feladat egyik kérdésében.
  • A megírt megoldás vázlatának megmutatása egy másik hallgatónak.
  • Segítség kérése valakitől, akit nem ismer el a megoldásán.
  • Vizsgával kapcsolatos információk átvétele olyan hallgatótól, aki már letette a vizsgát.
  • A 15-251-es infrastruktúra bármely részének feltörésére tett kísérlet.
  • Más munkájának megnézése az AFS-en, még akkor is, ha a fájljogosultságok ezt lehetővé teszik.
  • Hazudozás a kurzus munkatársainak.
  • Következmények: A csalásért járó büntetés a kurzus teljes átlagának 10%-os csökkentésétől (azaz a jegyek csökkenésétől) a kurzus közvetlen megbuktatásáig terjedhet. Továbbá a legtöbb esetben levelet küldünk a hallgatói ügyek dékánjának, és a további következményeket ők határozzák meg.

    Hosszabbítás és pótlás szabályzata

    Örömmel alkalmazkodunk azokhoz a hallgatókhoz, akiknek Larry Powell irodája által jóváhagyott hosszabbításra van szükségük. Kérjük, vegye fel a kapcsolatot az egyik oktatóval, ha ilyen helyzetbe kerül.

    Nem adunk be pótvizsgát, vizsgát vagy házi feladatot, kivéve dokumentált orvosi vagy családi vészhelyzet, illetve egyéb, az egyetem által jóváhagyott hiányzás esetén. A nátha vagy a számítógép összeomlása sajnos nem minősül igazolt hiányzásnak.

    Jólét és boldogság

    Nekünk nagyon fontos az Ön jóléte és boldogsága!!! Legyél tisztában azzal, hogy a kurzusok munkatársai közül mindenki bármikor rendelkezésre áll, hogy tanácsot adjon vagy beszélgessen veled, és olyan gyakran látogasd az irodai órákat, amilyen gyakran csak szeretnéd, hogy tudományos és nem tudományos jellegű beszélgetéseket folytass.

    Mindemellett azt is tudd, hogy az egyetem olyan szolgáltatásokat nyújt, amelyeket a félév során valamikor igénybe vehetsz. Ha valaha is bizonytalan vagy ezekkel kapcsolatban, problémába ütközöl, vagy további információra vágysz, bátran fordulj az oktatókhoz.

    A CMU egészségügyi szolgáltatásainak átfogó listájáért kattints ide.

    CMU Rendőrség

    Ne habozz felhívni a CMU rendőrségét, ha vészhelyzet van, vagy ha szeretnéd igénybe venni a szolgáltatásaikat.

  • Honlap: http://www.cmu.edu/police/welcome.html
  • Sürgősségi telefonszám: 412-268-2323
  • Nem sürgősségi telefonszám: 412-268-6232
  • Tanácsadási és pszichológiai szolgáltatások (CAPS)

    A nyár folyamán a CAPS korlátozott létszámmal működik, de továbbra is az Ön rendelkezésére áll. Terápiát, krízistámogatást stb. kínálnak, és érdemes a CAPS-hez fordulnod tanácsadásért, ha problémáid vannak, függetlenül attól, hogy milyen kicsinek gondolod a problémáidat. Ha a CAPS nem tud neked megfelelően segíteni, akkor is vállalnak beutalókat és alapvető konzultációkat, hogy segítsenek megtalálni azt, amire szükséged van.

  • Hours: Hétfőtől péntekig 8:30-17:00
  • Telefonszám: 412-268-2922
  • Helyszín: 2. emelet, Morewood Gardens, E-Tower
  • University Health Services

    Az egészségügyi szolgálat ugyanúgy tud segíteni Önnek, mint az orvos, de átfogó gondozási és egészségfejlesztési szolgáltatásokat is nyújtanak.

  • Hours:
    Figyelem: Amikor az UHS zárva van, hívja az 1(844)881-7176-os számot.
  • A HealthConnect-en keresztül történő időpont-egyeztetéshez kattintson ide.
  • Komprehensive Care Manager: Diane Dawson, 412-268-9171
  • 15-251 Wellness help

    Ha úgy találod, hogy valamilyen módon küzdesz, vagy egyszerűen csak szeretnéd megbeszélni, hogyan érzed magad 251 vagy csak beszélgetni, keresd fel az alábbi személyek egyikét vagy a TA-t, hogy egy kötetlen találkozót szervezzünk.

  • Anil Ada (oktató): Haeupler Bernhard (oktató):
  • Bernhard Haeupler (oktató):
  • Anna Tan (vezető CA):
  • Chris Liu (vezető CA):
  • Vélemény, hozzászólás?

    Az e-mail-címet nem tesszük közzé.