- ベストアンサー
数学基礎論の学べる大学
19500618の回答
- 19500618
- ベストアンサー率11% (2/17)
しつこい様ですが、論理演算→ブール代数でしょう。 制御・コンヒュータだと思いますよ。
関連するQ&A
- 数学基礎論・論理学を大学で専攻するには
私は欧州で哲学専攻の大学院生です。哲学をやっていくうちに、数学に興味がわいてきました。 数学の中でも数学基礎論や数理論理学です。 哲学の博士論文が終わったら、数学を学びたいと思います。UKかIrelandの大学を考えています。Open University (日本の放送大学のようなもの)も選択肢です。 数学は、学部生の時の統計・経済数学くらいしか覚えていません。 大学院で数学基礎論や数理論理学を専攻するためには、それ以外の分野の数学をどの程度やっておくべきでしょうか？できれば具体的な分野名や良書がある場合には書籍名なども教えてください。
- ベストアンサー
- 数学・算数
- 「Q&A数学基礎論入門」の中の問題の答がわかりませ
お世話になります。 「Q&A数学基礎論入門」(久馬栄道著・共立出版)を読んでいます。 次の問題がわかりません。 P.55 ∈に関する帰納法 ∀x(∀y∈xＡ(y)→Ａ(x))→∀xＡ(x) 問題24 自然数に関する帰納法では 0 で成り立つことがはじめに必要であるが、 ∈に関する帰納法ではこのようなものがない。なぜか考えよ。 (次にこう書いてあります) 命題論理でＡ→ＢのＡがＦならば、この式がいつでもＴであることを 思い出せ（そして x∈φの真理値がＦであることも)。 ずーと考えました。でもわかりません。 どなたか答を教えて下さいませんか。 よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 論理学と数学（とくに高校数学）
論理学に関する質問です。 高校数学では 公理・定義→定理→問題を解く という構図が考えられると思います。また、最初に選ぶ公理系しだいでいろいろな体系ができるのではと思っています。 A1. ここで論理学における規則はどこに関わってきますか。 A2. 「A⇒B」という命題はAもBも真ならば、命題も真なはずです。「1=1⇒素数は無限に存在する」という命題は数学的には真なはずですが、まったく証明では使えない。ならば論理学だけでは数学上の証明にとって不十分ではないですか。また不十分ならば数学と論理学はどのようにこの問題を回避しているのですか。 数学（高校数学）を勉強しているのですが、前から数学と論理学は密接に関係があると思ってきました。しかし、高校生で、論理学については学ぶ機会がありません。できれば僕の論理学に対する無知も考慮に入れて上記の2問にお答えいただけると幸いです。
- 締切済み
- 哲学・倫理・宗教学
- 高校～大学数学について
大学での数学の授業ではあるのですが 内容的には高校レベルかと思います（そう、自分では思っていたのですが、塾の先生曰く大学レベルだそうで） 質問は以下の内容を全く無知の状態から決められた時間内に理解することは可能かということです。 通信制のため、スクーリングでの授業で 90分×5時限×3日間です。 成績は、授業中の中での演習問題と科目修得試験で決まります。 論理数学に関しては １．集合：集合の定義と記法、集合の演算、集合の演算の性質 ２．〃 ：直積、演習 ３．写像：写像の定義、単射と全射、逆写像 ４．〃 ：写像の合成、演習 ５．関係：関係の定義、関係の表現、合成と逆関係、関係の和と共通部分 ６．〃 ：関係の性質、同値関係と同値類、順序関係 ７．〃 ：演習 他に命題論理に4時限（内１時限演習） 述語論理に3時限（内1時限演習） 他1時限は総括です。 また、高校数学Ａの集合と論理を未習の場合は、教科書の例題に目を通す程度はしておいてくださいとの事です。 塾で集合の最初のほうだけは習ったので、例題に目を通す程度の同じぐらいの事にはなっているかと思いますが それ以外写像や関係、命題・述語論理は習った事がありません。 この状態で15時限の授業を受けてもちんぷんかんぷんでしょうか？ 授業で使うテキストは既に手元にありますがそれを見ると、 塾で習ったように一から集合はこういうことであるとか、 こういうふうに書き表すとか、そういうところから書かれてあります。 他の単元も定義から書かれています。 もし、関係って？命題論理って？の状態で受けても単位取得できるぐらいなのであれば 塾の勉強を他科目にあてようかと思っているもので… テキストまでアップすることができないため、 限られた情報の中でですが、どう思われるでしょうか？ 基礎数学は 三角関数2時限（一般角と狐度法・三角関数・逆三角関数／演習） 複素数3時限（複素数と複素数平面／ドモアブルの定理・オイラーの公式／演習） 他に指数関数・対数関数3時限、ベクトル3時限、数列と関数の極限3時限です。 また、 高校数学Iの2次関数、三角比を既習であることを前提とした授業です。 数学IIの指数関数、対数関数、三角関数、数学Ｂのベクトル、数列 数学IIIの極限を未習の場合は、例題に目を通す程度はしておいてください（必須ではありません） とあります。 未だに保管してある高校時代の教科書を見たところ、1年の2学期初めから不登校になったので 2次関数と三角比は未習でした。 たぶん1学期は1章やっただけで終わったと思います（私の持っている教科書では2次関数は3章、三角比は4章です） 基礎数学に関しても、2次関数と三角比が既習であれば、 ベクトルや三角関数の知識が無くても理解可能でしょうか？ 2次関数と三角比が既習であることを前提とした授業という文面を今の今まで見過ごしていたのですが その部分は私は未習ですが、指数関数・対数関数、またベクトルの基礎の部分は理解可能でした。 （少し塾で習ったので） 2次関数と三角比はどの部分に関わってくるのでしょうか？ （三角比は三角関数かとは思うのですが、2次関数はどこでしょうか？） 後、2次関数は中学でも少し習いましたが、中学の2次関数で習わず、数学Iの2次関数で習う部分はどこでしょうか？（中学は普通の公立中学です）
- 締切済み
- 数学・算数
- 大学数学と高校数学の関連性について
こんにちは 春から、大学の情報科学部に進学することになりまして そこで、大学の数学と高校の数学の関連の深い分野について教えて欲しいです。 高校数学については基礎的な問題は解けますが、上位国公立などの問題になると厳しくなります。 物理や化学も同様です。 自分で調べたところ、微積分やベクトルと書いてありました 以前先生に聞いたこともあるのですが、「学部により違うから詳しくはわからん」と言われました。 また 復習などをするならば、難問も解けなければなりませんか？ 自分の学力に自信があまりないので心配です。
- ベストアンサー
- 数学・算数
- 基礎論（集合論）の問題が解けません
基礎論の入門書にある問題が解けません。解答がついていないので、教えてもらえればありがたいです。 問題だけを挙げても意味不明になりそうなので、少し前のところから、なるべく丸写ししたいと思います。 以下、問題です。よろしくお願いします。 ＜に関する帰納法（正則性の公理と同等） （注！ 記号が自由にならないので、「ｙはｘの元（要素）である」をｙ＜ｘ、全称量化記号（Ａを逆さまにしたやつ）をＡと表記します） 数学において帰納法といえば、普通は自然数に関する帰納法をいう。 ＜に関する帰納法というのは、集合にも同じような性質があったほうがよいという要請を公理の形で書いたものである。 ＜に関する帰納法とは次のようなものである。 Ａｘ（Ａｙ＜ｘＡ（ｙ）→Ｐ（ｘ））→ＡｘＰ（ｘ） つまり自然数に関する帰納法はｎ－１について成り立つならばｎでも成り立つとき、すべての自然数でも成り立つということであるが、＜に関する帰納法はｙ＜ｘとなるすべてのｙで成り立つならばｘでも成り立つとき、すべての集合でも成り立つということを述べている。 問題 自然数に関する帰納法では０で成り立つことがはじめに必要であるが、＜に関する帰納法ではこのようなものがない。なぜか考えよ。 ヒント：命題論理でｐ→ｑのｐがＦ（＝偽）ならば、この式はいつでもＴ（＝真）であることを思い出せ（そして、ｘ＜φの真偽値がＦであることも）。
- 締切済み
- 数学・算数
- 論理的思考ができる人なら数学もわかる？
高校の時に数学が苦手、嫌いだった人でも、論理的思考ができる人なら必ず数学を理解できると思うのですが、どう思われますか？数学が嫌いな人が数学をおもしろく感じるようになるかは怪しいですが。 数学科でやるような数学だと文系でも理解しやすい気がします。特に数学基礎論は高校数学よりも論理だけで理解しやすいと思うのですが（僕は数学基礎論についてはあまり知りませんが）。 数学科の（元）学生に回答して欲しいです。もちろん数学科関係者でない方も回答よろしくお願いします
- ベストアンサー
- 数学・算数
- 集合論に関する質問です
質問カテゴリー 数学の集合論 背景 現在、独学で数学の集合論を勉強しようとしていますが、初歩の初歩 で躓いています。 現状 下記問題の証明の方向性がわからない。 問題１ 集合A,Bに対して同値であることを示しなさい。 (1)A⊂B (2)A∩B＝A 問題２ 集合A,Bに対して同値であることを示しなさい。 (1)A⊂B (2)A∪B＝B 上記の問題の証明方法と集合論を学習する上でのコツなどご教授頂きたく宜しくお願いします。
- ベストアンサー
- 数学・算数