アルアカ - Arcadia Academia

Arcadia Academiaは「エンジニアリングを楽しむ」を合言葉に日本のデジタル競争力を高めることをミッションとするテックコミュニティです。

TS離散数学 タグの投稿一覧

証明技術の基礎

Featured image of the post

数学やコンピュータサイエンス、論理学などの分野で重要な「証明技術」は、命題や理論が正しいことを示すための方法論です。証明技術を使うことで、ある仮定から導かれる結論を厳密に立証することが可能になります。この記事では、TypeScriptでの実装しつつ証明技術の基礎をわかりやすく解説し、主な証明の種類とその使い方を紹介します。

論理(Logic)の基礎: 命題論理と述語論理

Featured image of the post

論理(Logic)は、数学やコンピュータサイエンスの基礎であり、正確な推論や証明を行うための重要なツールです。特に命題論理と述語論理は、情報工学や離散数学において基本的な役割を果たします。この記事では、論理の基本概念とその応用について解説します。

TypeScriptで学ぶ離散数学

Featured image of the post

離散数学を効率よく学ぶためのステップを紹介します。