Vietnamese Logic toán Cited by user SCPswinger on 03 May 2024 Logic toán là một ngành con của toán học có liên hệ gần gũi với cơ sở toán học, khoa học máy tính lý thuyết, logic triết học.
Japanese ツェルメロ集合論 Cited by user Kabe-wall on 09 Nov 2023 ツェルメロ集合論(、時々 Z- と表記される)とは、1908年にエルンスト・ツェルメロの影響力のある論文から始まった、現代のツェルメロ=フレンケル集合論(ZF)やその拡張であるフォン・ノイマン=ベルナイス=ゲーデル集合論(NBG)などの始祖である.
Greek Αξίωμα της ζεύξης Cited by user Projethomere on 31 Jul 2023 Στην αξιωματική θεωρία συνόλων και στους κλάδους της λογικής, των μαθηματικών και της επιστήμης των υπολογιστών που τη χρησιμοποιούν, το αξίωμα της ζεύξης είναι ένα από τα…
Serbian Исказни рачун Cited by user Dcirovic on 26 Jun 2023 У математичкој логици, исказни рачун представља формални систем у коме се формуле, односно логички искази, који се називају још и исказне формуле, граде од логичких промје…
Serbian Георг Кантор Cited by user Dcirovic on 04 Jan 2023 Георг Кантор био је немачки математичар и утемељивач теорије скупова.
Spanish Lógica matemática Cited by user Basquetteur on 20 May 2022 La lógica matemática, también llamada lógica simbólica, lógica teorética, lógica formal o logística, es el estudio formal y simbólico de la lógica, y su aplicación a…
Hebrew תורת הטיפוסים Cited by user Chasidishe Hacker on 17 Apr 2022 במתמטיקה, לוגיקה ומדעי המחשב, תורת הטיפוסים מתייחסת באופן כללי למחלקה של מערכות פורמליות, שבה לכל ערך יש טיפוס, המודד באופן מסוים את רמת המורכבות של האובייקט, והפעולות מוג…
Japanese ツェルメロ=フレンケル集合論 Cited by user Kabe-wall on 25 Mar 2022 ツェルメロ=フレンケル集合論は、単一の原始概念の形式化、すなわち整礎的純粋集合の概念の形式化を目的としているため、議論領域内のすべての対象(entity)はそのような集合となる。したがって、ツェルメロ=フレンケル集合論における公理は純粋集合のみに言及し、そのモデルにurelements (集合の元であって、それ自体が集合ではないもの)が含ま…
Serbian Дискретна математика Cited by user Dcirovic on 20 Dec 2021 десно|мини|250px| Дискретна математика изучава и [[Граф|графове као на слици због занимљивих математичких својстава као и због практичне примене на реалне проблеме и разво…
English Georg Cantor Cited by user Anomalocaris on 17 Jul 2020 Georg Ferdinand Ludwig Philipp Cantor (, ; – January 6, 1918) was a German mathematician.
Romanian Georg Cantor Cited by user Andrei Stroe on 21 Jul 2017 Georg Ferdinand Ludwig Philipp Cantor a fost un matematician german.
German Satz von Cantor-Bernstein-Schröder Cited by user Lómelinde on 05 Aug 2016 Der Satz von Cantor-Bernstein-Schröder oder kurz Äquivalenzsatz ist ein Satz der Mengenlehre über die Mächtigkeiten zweier Mengen.
English Zermelo–Fraenkel set theory Cited by user Bender235 on 24 Sep 2014 In mathematics, Zermelo–Fraenkel set theory with the axiom of choice, named after mathematicians Ernst Zermelo and Abraham Fraenkel and commonly abbreviated ZFC, is one…
French Paradoxe de Russell Cited by user Dfeldmann on 13 Nov 2011 Le paradoxe de Russell, ou antinomie de Russell, est un paradoxe très simple de la théorie des ensembles (Russell lui-même parle de théorie des classes, en un sens équival…
English History of logic Cited by user Citation bot 1 on 03 May 2010 The history of logic is the study of the development of the science of valid inference (logic).