Bine ați venit la 15-251! Acest curs va avea o perspectivă filosofică și istorică asupra dezvoltării informaticii teoretice. De la utilizarea unei grămezi de pietre pentru a reprezenta și manipula numere, oamenii au dezvoltat progresiv un vocabular abstract cu ajutorul căruia să își reprezinte matematic lumea. Anticii, în special grecii, și-au dat seama că puteau raționa în mod consecvent asupra reprezentărilor lor într-o manieră pas cu pas. Cu alte cuvinte, calculând în modele abstracte, ei puteau descrie și prezice tipare în lumea din jurul lor.
În acest curs, vom revedea dezvoltarea matematicii din punct de vedere computațional. Invers, vom studia matematic natura calculului în sine. Ce este calculul? Ce este calculabil, în principiu? Ce este deosebit de ușor, sau deosebit de greu de calculat? În ce măsură natura inerentă a calculului modelează modul în care învățăm și gândim despre lume?
Condiții prealabile: (15-122 sau 15-150) și (21-127 sau 21-128 sau 15-151)
Organizare
Cursurile vor avea loc în fiecare marți și joi, de la ora 9:00 la 10:20, la GHC 4401. În zilele de vineri vor exista secțiuni de recitare săptămânale. Recitațiile vor fi folosite pentru a completa materialul de curs și pentru a exersa lucrul pe probleme în grupuri mici. Vă rugăm să participați la sesiunea de recitare la care v-ați înscris. Se va ține cont de prezența la majoritatea cursurilor și repetițiilor. Acest lucru va fi luat în considerare în nota dvs. de participare la sfârșitul semestrului (a se vedea secțiunea de notare de mai jos).
În plus, miercurea, de la 18:30 la 19:50, vor fi folosite pentru „sesiuni de redactare a temelor pentru acasă”. Mai multe informații despre aceste sesiuni pot fi găsite în secțiunea Sistem de teme pentru acasă de mai jos.
Resurse
Nu există un text obligatoriu pentru acest curs. Materialul este destul de divers și niciun text standard nu îl conține. Prelegerile vor fi înregistrate, iar linkurile către înregistrările video, precum și către slide-uri vor fi furnizate pe site-ul cursului. Oferim note de curs pentru majoritatea prelegerilor. Dacă doriți să vă uitați la cărți care conțin o parte din materialul de curs, vă recomandăm următoarele:
Comunicare cu cadrele didactice ale cursului
Care student este obligat să se înscrie pe pagina Piazza a cursului! Anunțurile legate de curs vor fi făcute folosind Piazza, așa că trebuie să verificați Piazza în fiecare zi.
Dacă aveți o întrebare despre un concept de curs sau formularea unei probleme de temă, există o mare probabilitate ca și alți studenți din clasă să aibă aceeași întrebare. Astfel, vă recomandăm cu insistență să vă postați întrebarea în Piazza. Vă rugăm să păstrați discuția politicoasă și să aveți grijă să nu dați informații despre soluțiile temelor de casă. Dacă aveți o întrebare care vă este specifică personal, vă rugăm să trimiteți un e-mail la AT sau la unul dintre instructori. Dacă doriți să faceți o cerere de recorectare, vă rugăm să contactați direct TA care a notat întrebarea respectivă.
Către toți cei din staff-ul cursului vor avea ore de birou săptămânale – orele și locațiile sunt afișate pe site-ul cursului. Sunteți puternic încurajați să participați la orele de birou. De fapt, temele pentru acasă sunt pregătite pornind de la ipoteza că veți primi sprijin în timpul orelor de birou.
Notarea
Nota dvs. va depinde de următorii factori.
Temele pentru acasă. Vor fi 12 teme pentru acasă.
Examene intermediare. Vor fi 2 examene intermediare (1 martie, 19 aprilie, de la 18:30 la 21:30). Vă rugăm să vă notați în calendare.
Examen final. Va fi un examen final la sfârșitul semestrului.
Participare la clasă. Aceasta se va baza în principal pe prezență. Alți factori includ adresarea și răspunsul la întrebări în clasă, în recitări și pe forumul de discuții.
Nota numerică va fi calculată în conformitate cu următorul tabel.
| Componenta cursului | Pondere |
| Tereme de casă | 30% |
| Meciul 1 | 20% |
| Mediul semestrului 2 | 20% |
| Final | 25% |
| Participare | 5% |
La jumătatea-…semestru, vor fi anunțate notele de trecere cu literă.
În cazul în care nota literară de la sfârșitul semestrului este sub C, atunci vom calcula, de asemenea, nota dvs. folosind următorul tabel și vom atribui nota cea mai mare. Nota maximă pe care o puteți primi cu sistemul alternativ de notare este un C.
| Componenta cursului | Pondere |
| Tereme de casă | 30% (cele mai mici 4 teme de casă înjumătățite)ponderate) |
| Mediu mai mare | 30% |
| Final | 35% |
| Participare | 5% |
Sistemul temelor
Teremele sunt, fără îndoială, cea mai importantă componentă a acestui curs. Rezolvarea problemelor este singura modalitate de a dobândi stăpânirea materiei.
Există câteva reguli generale care se aplică tuturor întrebărilor din temele pentru acasă:
Dacă aveți dubii dacă ceva este sau nu în conformitate cu regulile, nu ezitați să contactați personalul cursului.
Tipuri de întrebări: Vor fi 4 tipuri de întrebări în temele pentru acasă și fiecare întrebare va fi etichetată clar cu tipul ei.
SOLO – Trebuie să lucrați singur la aceste întrebări. În plus față de regulile menționate mai sus, nu aveți voie să discutați aceste întrebări cu nimeni, cu excepția personalului de curs.
GROUP – Aceste întrebări trebuie rezolvate în grupuri de 3 sau 4 persoane. Nu este permis să lucrați la aceste întrebări doar de unul singur. Trebuie să indicați în mod clar membrii grupului dumneavoastră. Vă puteți schimba grupul de la o săptămână la alta, dar puteți avea cel mult un grup pe săptămână. În afară de membrii grupului dumneavoastră, puteți discuta aceste întrebări cu personalul cursului.
COLABORARE DESCHISĂ – Puteți discuta aceste întrebări cu oricine doriți din clasă. În afară de regulile generale menționate mai sus, nu există reguli suplimentare pentru acest tip de întrebări.
PROGRAMARE – Nu toate temele pentru acasă vor conține o întrebare de programare, dar unele ar putea conține. Regulile SOLO se aplică acestor tipuri de întrebări. Trebuie să vă trimiteți programele la Autolab până la ora 18:30 în ziua în care tema de casă trebuie să fie predată.
Sesiuni de redactare a temelor de casă: Nu veți preda în scris soluțiile la fiecare întrebare a temei pentru acasă. În fiecare miercuri, de la 18:30 la 19:50, la DH 2210, vom avea o sesiune de scriere a temelor pentru acasă. În cadrul acestei sesiuni vom alege la întâmplare un subset de întrebări din temele pentru acasă și vi se va cere să scrieți soluțiile la aceste probleme în mod individual în acest cadru supravegheat. Ne așteptăm ca, înainte de miercuri seara, să fi exersat deja scrierea soluțiilor la fiecare întrebare din temele pentru acasă. Prin urmare, aceste sesiuni de scriere a temelor ar trebui să fie relativ simple și lipsite de stres.
Calitatea scrierii și a prezentării contează foarte mult, așa că ar trebui să vă asigurați că soluțiile dvs. sunt explicate foarte clar. Dacă nu sunteți siguri de ceva sau credeți că există o lacună în argumentația dvs., indicați-le clar în redactarea dvs. (veți câștiga mai multe puncte făcând acest lucru decât să scrieți o argumentație greșită!!!). Nu încercați să vindeți o demonstrație greșită sau incompletă! Dacă lăsați o întrebare complet goală, veți câștiga 20% din creditul pentru acea întrebare.
Este foarte important să învățați din greșelile voastre și să le corectați. Din acest motiv, după ce veți primi temele notate înapoi, vi se va permite să retrimiteți soluțiile pe care le-ați greșit (termenul limită va fi anunțat). Dacă înapoiați o soluție complet corectă și bine scrisă, veți primi înapoi 25% din creditul pierdut pentru acea întrebare.
Cheating
Înțelegem că majoritatea dintre voi nu s-ar gândi niciodată să trișeze sub nicio formă. Există, totuși, o mică minoritate de elevi pentru care nu este cazul. În trecut, atunci când i-am prins pe elevi copiind, aceștia au insistat adesea asupra faptului că nu au înțeles regulile și sancțiunile. Ca parte a primei teme pentru acasă, vi se va cere să recunoașteți că ați citit și ați înțeles politicile privind copiatul. Vă rugăm să citiți Politica Universității Carnegie Mellon privind integritatea academică. Următoarele sunt câteva exemple clare de copiat:
Consecințe: Sancțiunea pentru trișare poate varia de la o deducere de 10% din media generală a cursului (adică o scădere a notei la literă) până la picarea directă a cursului. În plus, în cele mai multe cazuri, se trimite o scrisoare decanului pentru afaceri studențești, iar consecințele ulterioare sunt stabilite de către acesta.
Politica de prelungire a timpului și de recuperare
Suntem bucuroși să ne adaptăm studenților care au nevoie de o prelungire a timpului aprobată de biroul lui Larry Powell. Vă rugăm să contactați unul dintre instructori dacă vă aflați în această situație.
Nu se vor administra teste, examene sau sesiuni de redactare a temelor de casă de recuperare, cu excepția cazului în care sunt documentate urgențe medicale sau familiale, sau alte absențe aprobate de universitate. O banală răceală sau blocarea computerului, din păcate, nu se califică drept absențe scuzate.
Bunăstării și fericirii
Ne pasă foarte mult de bunăstarea și fericirea ta!!! Fiți conștienți de faptul că toți cei care fac parte din personalul de curs sunt întotdeauna disponibili pentru a vă oferi sfaturi sau pentru a sta de vorbă și ar trebui să participați la orele de birou ori de câte ori doriți pentru conversații academice și non-academice.
Să știți însă și că universitatea oferă servicii de care ați putea dori să profitați la un moment dat în timpul semestrului. Dacă vreodată nu sunteți sigur cu privire la acestea, întâmpinați o problemă sau doriți mai multe informații, nu ezitați să contactați instructorii.
Pentru o listă completă a serviciilor de sănătate de la CMU, vă rugăm să faceți clic aici.
Departamentul de poliție al CMU
Nu ezitați să sunați la poliția CMU atunci când vă aflați într-o situație de urgență sau dacă sunteți interesat să profitați de serviciile lor.
Counseling and Psychological Services (CAPS)
CAPS are un personal mai limitat în timpul verii, dar este în continuare disponibil pentru a fi folosit. Aceștia oferă terapie, sprijin în situații de criză etc. și ar trebui să apelați la CAPS pentru consiliere dacă vă confruntați cu dificultăți, indiferent cât de mici credeți că sunt problemele dvs. Dacă CAPS nu vă poate ajuta în mod corespunzător, ei fac, de asemenea, trimiteri și consultații de bază pentru a vă ajuta să găsiți ceea ce aveți nevoie.
University Health Services
Serviciile de sănătate vă pot ajuta în același mod în care o face un medic, dar oferă, de asemenea, servicii complete de gestionare a îngrijirii și de promovare a sănătății.
Nota: Când UHS este închis, sunați la 1(844)881-7176.
15-251 Ajutor pentru bunăstare
Dacă vă aflați în dificultate în vreun fel sau pur și simplu doriți să discutați despre cum vă simțiți în legătură cu 251 sau pur și simplu să stați de vorbă, contactați una dintre următoarele persoane sau pe asistentul dvs. tehnic pentru a stabili o întâlnire ocazională.