課程
横断型教育プログラム
共通授業科目
学部・研究科
学年
学期
時限
曜日
講義使用言語
実務経験のある教員による
授業科目
授業科目
学内のオンライン授業の情報漏洩防止のため，URLやアカウント、教室の記載は削除しております。
最終更新日：2025年4月21日
授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。
最終更新日：2025年4月21日
授業計画や教室は変更となる可能性があるため、必ずUTASで最新の情報を確認して下さい。
UTASにアクセスできない方は、担当教員または部局教務へお問い合わせ下さい。
ディジタル回路
情報技術の基礎となるディジタル回路を理解する．
時間割／共通科目コード
コース名
教員
学期
時限
FEN-EE2c02L1
FEN-EE2c02L1
ディジタル回路
入江 英嗣
金曜2限
マイリストに追加
マイリストから削除
回路とシステムの基礎
時間割／共通科目コード
コース名
教員
学期
時限
FEN-AM2610L1
FEN-AM2610L1
回路とシステムの基礎
門内 靖明
火曜3限、金曜3限
マイリストに追加
マイリストから削除
情報論理
計算機科学の基礎となる記号論理学と，計算可能性の理論について，入門的な講義を行う．
具体的には以下の項目について解説する．
記号論理学：
等式論理を用いた形式論理の導入，
命題論理の構文論と意味論，構造帰納法による証明，極大無矛盾集合による完全性証明
一階述語論理の構文論と意味論，Herbrandの定理
計算可能性の理論：
原子帰納的関数，帰納的関数，クリーネの標準形定理，
ゲーデルの不完全性定理
In this lecture, we introduce basic concepts of symbolic logic and computability theory.
The main topics are as follows.
Symbolic logic:
syntax and semantics of propositional logic, proofs by structural induction,
proofs of completeness by using a maximally consistent set,
syntax and semantics of first-order predicate logic, Herbrand's theorem
Computability theory:
primitive recursive functions, recursive functions, Kleene's normal form theorem,
Gödel's incompleteness theorems
時間割／共通科目コード
コース名
教員
学期
時限
0510014
FSC-IS3014L1
情報論理
谷中 瞳
水曜2限
マイリストに追加
マイリストから削除
回路学第一
センサ、アクチュエータ、ディスプレイ、コンピュータ、通信機、など、あらゆるデバイス・装置は電気回路によって動作している。電気回路・電子回路を理解し、設計できるようになることは、現代のハードウェアの限界を見通しながら、それらのシステムを自在に設計する力を獲得することとほぼ同義である。また、等価回路は線形システムを幅広く記述することができ、複雑な物理システムの振る舞いを理解するツールともなる。本講義では、電気回路の理解を確実なものにするとともに、オペアンプ、スイッチング回路など、幅広く適用可能なアナログ電子回路の基本要素の理解とその活用スキル習得までを目標とする。
時間割／共通科目コード
コース名
教員
学期
時限
FEN-MP3c00L1
FEN-MP3c00L1
回路学第一
篠田 裕之
月曜1限
マイリストに追加
マイリストから削除
回路学第二
分布定数系回路をきっかけに，回路の中でも波動として取り扱わなければならないものについて概説する．
また，対象とする範囲をマイクロ波から光，あるいは音まで広げ，工学に現れる波動現象について広く理解することを目的とする．
時間割／共通科目コード
コース名
教員
学期
時限
FEN-MP3c01L1
FEN-MP3c01L1
回路学第二
牧野 泰才
火曜4限
マイリストに追加
マイリストから削除
電気回路基礎
時間割／共通科目コード
コース名
教員
学期
時限
FEN-PE2c00L1
FEN-PE2c00L1
電気回路基礎
榛葉 健太
木曜2限
マイリストに追加
マイリストから削除
電子回路I
電子回路は、電源から供給されるエネルギーを入力信号に応じて能動的に制御し、出力する電気回路である。非線形な素子を用いるので、設計は初学者には難しく感じられるが、講義する手法を用いれば、おどろくほど見通しよく解析・設計をすることができる。本講義は電子回路を理解し設計できるようになるための手法の基礎を学ぶ。
時間割／共通科目コード
コース名
教員
学期
時限
FEN-EE3c05L1
FEN-EE3c05L1
電子回路I
三田 吉郎
金曜1限
マイリストに追加
マイリストから削除
電子回路II
電子回路について、より深い学習を行なう。
前半では主に線形化による回路解析手法を学び、後半では非線形成分を含むより高度な電子回路、独特な方式の電子回路を学ぶ。
時間割／共通科目コード
コース名
教員
学期
時限
FEN-EE3c09L1
FEN-EE3c09L1
電子回路II
三田 吉郎
金曜1限
マイリストに追加
マイリストから削除
電子回路工学
デジタル回路の基礎
時間割／共通科目コード
コース名
教員
学期
時限
FEN-PE3c01L1
FEN-PE3c01L1
電子回路工学
森田 剛
火曜2限
マイリストに追加
マイリストから削除
電気回路理論第一
電気回路理論の基礎を理解する
時間割／共通科目コード
コース名
教員
学期
時限
FEN-EE2c01L1
FEN-EE2c01L1
電気回路理論第一
関野 正樹
火曜3限、火曜4限
マイリストに追加
マイリストから削除
1-10 / 全6483件
