Logic and Probability (Stanford Encyclopedia of Philosophy)
First published Thu Mar 7, 2013; substantive revision Thu Aug 17, 2023 Logic and probability theory are two of the main tools in the formal study of reasoning, and have been fruitfully applied in areas as diverse as philosophy, artificial intelligence, cognitive science and mathematics. This entry discusses the major proposals to combine logic and probability theory, and attempts to provide a clas
The Philosophy of Computer Science (Stanford Encyclopedia of Philosophy)
First published Tue Aug 20, 2013; substantive revision Tue Jan 19, 2021 The philosophy of computer science is concerned with the ontological and methodological issues arising from within the academic discipline of computer science, and from the practice of software development and its commercial and industrial deployment. More specifically, the philosophy of computer science considers the ontology
The Lambda Calculus (Stanford Encyclopedia of Philosophy)
First published Wed Dec 12, 2012; substantive revision Tue Jul 25, 2023 The \(\lambda\)-calculus is, at heart, a simple notation for functions and application. The main ideas are applying a function to an argument and forming functions by abstraction. The syntax of basic \(\lambda\)-calculus is quite sparse, making it an elegant, focused notation for representing functions. Functions and arguments
Logic and Artificial Intelligence (Stanford Encyclopedia of Philosophy)
First published Wed Aug 27, 2003; substantive revision Tue Feb 27, 2024 Artificial Intelligence (referred to hereafter by its nickname, “AI”) is the subfield of Computer Science devoted to developing programs that enable computers to display behavior that can (broadly) be characterized as intelligent.[1] Many of the most influential figures in AI’s early days had ambitious goals and views about ho
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Cosmological Argument (Stanford Encyclopedia of Philosophy)
Search Engines and Ethics (Stanford Encyclopedia of Philosophy)
Plural Quantification (Stanford Encyclopedia of Philosophy)
