Welcome to 15-251! このコースでは、理論的なコンピュータサイエンスの発展について、哲学的・歴史的な観点から見ていきます。 人間は、石を積み上げて数を表現し操作することから、次第に数学的に世界を表現するための抽象的な語彙を発達させてきました。 古代人、特にギリシア人は、その表現について一貫して段階的な推論が可能であることを理解した。 言い換えれば、抽象的なモデルで計算することにより、周囲の世界のパターンを記述し、予測することができたのです。
このコースでは、計算の観点から数学の発展を再検討します。 逆に言えば、計算の本質そのものを数学的に研究することになる。 計算とは何か？ 原理的に計算可能なものは何か？ 計算が特に容易なもの、あるいは特に困難なものは何であろうか？ 計算の本質が、私たちの学習方法や思考方法をどの程度形作っているのか？
前提条件 (15-122 or 15-150) and (21-127 or 21-128 or 15-151)
Organization
Lectures will be held at GHC 4401 every Tuesday and Thursday from 9:00am to 10:20am. 毎週金曜日にレシテーションを行います。 講義の補足や少人数での問題演習に利用します。 申し込んだ暗誦会には必ず出席してください。 ほとんどの講義と暗誦会には出席を取ることにしています。 これは学期末の参加成績に反映されます（下記の成績評価の項を参照）。
また、水曜日の午後6時30分から午後7時50分は「宿題書き出しセッション」に充てられます。 このセッションについての詳細は、下記の「宿題システム」のセクションをご覧ください。
リソース
このコースには必修テキストはありません。 教材はかなり多岐にわたっており、標準的なテキストには含まれていません。 講義は録画され、スライドと同様に録画ビデオへのリンクがコースウェブサイトで提供されます。 ほとんどの講義で講義ノートを提供します。 講義内容の一部が掲載されている書籍をご覧になりたい場合は、以下をお勧めします。
講座スタッフとのコミュニケーション
受講者は必ずピアッツァページに登録してください！（Piazza: Piazzaのページには、講座に参加するすべての人が登録します）。
講義のコンセプトや宿題の表現について質問がある場合、クラスの他の受講生も同じ質問を持っている可能性が高いです。 したがって、質問をPiazzaに投稿することを強くお勧めします。 その際、宿題の解答に関する情報を与えないように注意し、丁寧な議論を心がけてください。 もし、あなた個人に関する質問であれば、TAか講師の一人にメールを送ってください。
コーススタッフの全員が毎週オフィスアワーを設けています。時間と場所はコースのウェブサイトに掲載されています。 オフィスアワーに出席することが強く推奨されます。
成績評価
成績は、以下の要素によって決まります。
Midterm Exams. 3月1日、4月19日の午後6時30分から午後9時30分まで、2回の中間試験を行います。
Final Exam. 学期末に期末試験を行います。
授業への参加。 主に出席率で判断します。
授業への参加度：これは主に出席率に基づくもので、その他に授業中、レシテーション、掲示板での質問と回答が含まれます。
| Course Component | Weight |
| Homework | 30% |
| Midterm 1 | 20% |
| Midterm 2 | 20% |
| Final | 25% |
| 参加 | 5% |
中間期において。学期。 レターグレードのカットオフを発表する予定です。
学期末のレターグレードがC以下の場合、以下の表を使って成績も計算し、高いほうのグレードを割り当てます。 代替成績評価方式で取得できる最大レターグレードはCです。
| Course Component | Weight |
| Homework | 30% (下位4つの宿題は半額)加重） |
| 中間テスト | 30% |
| 期末テスト | 35% |
| Participation | 5% |
Homework System
Homework は間違いなくこのコースで最も重要な要素です。 9154>
宿題のすべての問題に適用される一般的なルールがあります：
ルールの範囲内かどうか疑問がある場合は、遠慮なくコーススタッフに連絡してください。
問題の種類。 宿題には4種類の問題があり、それぞれの問題にはその種類が明記されています。
SOLO – これらの問題は各自で取り組む必要があります。 上記のルールに加え、コーススタッフ以外の人とこれらの問題について議論することはできません。
GROUP – これらの問題は、3人または4人のグループで解かなければなりません。 一人での作業は禁止されています。 グループのメンバーを明確に示す必要があります。 週ごとにグループを変えてもかまいませんが、1週間に1グループまでとします。 9154>
OPEN COLLABORATION – クラスの好きな人とこの問題について議論することができます。
PROGRAMMING – すべての宿題がプログラミング問題を含んでいるわけではありませんが、いくつかは含むかもしれません。 SOLOルールはこのようなタイプの問題にも適用されます。 あなたは宿題が提出される日の午後6時30分までにAutolabにプログラムを提出しなければなりません。
Homework Writing Sessions: 宿題のすべての問題に対する解答を書き上げたものを提出するわけではありません。 毎週水曜日の午後6時30分から7時50分まで、DH2210で宿題を書くセッションを行います。 このセッションでは、宿題の中からランダムに問題を選び、その問題の解答をこのプロクタリングの場で個々に書いていただきます。 水曜日の夜までに、宿題の全問題の解答を書き出す練習をしてきていることが予想されます。 したがって、これらの宿題を書くセッションは、比較的簡単でストレスがないはずです。
あなたの書き込みとプレゼンテーションの質は非常に重要ですので、あなたの解決策が非常に明確に説明されていることを確認する必要があります。 もし何か確信が持てなかったり、自分の議論にギャップがあると思うのであれば、それらをライティングアップで明確に示してください（間違った議論を書くよりも、そうする方がより多くのポイントを獲得できます！！）。 間違った証明や不完全な証明を売ろうとしないこと! もし問題を完全に空白にした場合、その問題の20%のクレジットを獲得することになります。
自分の間違いから学び、それを修正することは非常に重要なことです。 このため、採点済みの宿題が戻ってきた後、間違えてしまった解答の再提出を許可します（期限はお知らせします）。
不正行為
私たちは、皆さんのほとんどが、どのような形であれ、不正行為を考えていないことを理解しています。 しかし、ごく一部の学生には、そうでない人もいます。 過去に私たちが不正行為を見つけたとき、彼らはしばしば、ルールや罰則を理解していないと主張しました。 最初の宿題として、不正行為に関するポリシーを読み、理解したことを確認することが求められます。 カーネギーメロン大学学問的誠実性に関する方針」をお読みください。 以下は、cheatingの明確な例です。
Extended-Time and Make-Up Policy
Larry Powellのオフィスによって承認された延長時間を必要とする学生には、喜んで対応させていただきます。
小テストや試験、宿題を書くセッションの補習は、医療や家族の緊急事態、または大学が認めた欠席を証明する場合を除き、行いません。
Well-being and Happiness
私たちは、あなたの健康と幸福をとても大切に思っています! コーススタッフの誰もが、いつでも相談やおしゃべりをすることができ、学業や学業以外の話をするために、好きなだけオフィスアワーに出席することができることを意識しておいてください。
CMUのヘルスサービスの包括的なリストについては、ここをクリックしてください。
CMU Police Department
緊急時や彼らのサービスを利用したい場合は、迷わずCMU警察に電話してください。
Counseling and Psychological Services (CAPS)
CAPS は夏の間はスタッフが限られていますが、利用することは可能です。 CAPSではセラピーや危機管理サポートなどを提供しており、自分がどんなに小さな問題だと思っていても、悩んでいるのであればCAPSにカウンセリングの依頼をするべきです。 CAPSが適切な手助けができない場合は、紹介や基本的な相談も行っているので、必要なものを見つけることができます。
大学ヘルスサービス
ヘルスサービスは、医師と同じようにあなたを助けてくれますが、包括的にケアマネジメントや健康促進のサービスも行っています
Note: UHSが休みの時は 1(844)881-7176.
15-251 Wellness help
何か悩んでいることや、251についてどう感じているかを相談したい、ただおしゃべりしたい、そんなときは以下の人やTAに声をかけて、気軽にミーティングができるようにしましょう。