truy cập nhanh hơn trình duyệt!
59 quan hệ: Alan Turing, Alfred North Whitehead, Aristoteles, Bertrand Russell, Boethius, Cambridge University Press, Charles Sanders Peirce, Chân lý, Châu Âu, Cơ học, Danh sách ký hiệu toán học, David Hilbert, Euclid, Georg Cantor, George Boole, Gottlob Frege, Hình học, Hilary Putnam, John von Neumann, Joseph Diaz Gergonne, Khoa học máy tính, Kurt Gödel, Lập luận, Lập trình logic, Lý tính, Lý thuyết đồ thị, Lý thuyết tập hợp, Lý trí, Logic hình thức, Logic mờ, Logic toán, Logos, Luận cứ, Luật, Luật pháp, Ludwig Wittgenstein, Ngụy biện, Nghịch lý, Nghịch lý Russell, Nhà triết học, Platon, Prolog, Số học, Số thực, Siêu hình học, Tam đoạn luận, Thế kỷ 20, Thuyết tương đối, Toán học, Trí tuệ nhân tạo, ..., Triết học, Triết học phân tích, Trung Cổ, Trung kỳ Trung Cổ, Tư duy phản biện, Xác suất, 1918, 1928, 1940. Mở rộng chỉ mục (9 hơn) »
Alan Turing
Alan Turing Alan Mathison Turing (23 tháng 6 năm 1912 – 7 tháng 6 năm 1954) là một nhà toán học, logic học và mật mã học người Anh thường được xem là cha đẻ của ngành khoa học máy tính.
Mới!!: Logic và Alan Turing · Xem thêm »
Alfred North Whitehead
Alfred North Whitehead OM, FRS (15 tháng 2 năm 1861 - 30 tháng 12 năm 1947) là một nhà toán học và triết gia Anh.
Mới!!: Logic và Alfred North Whitehead · Xem thêm »
Aristoteles
Aristoteles (Ἀριστοτέλης, Aristotélēs; phiên âm trong tiếng Việt là Aritxtốt; 384 – 322 TCN) là một nhà triết học và bác học thời Hy Lạp cổ đại, học trò của Platon và thầy dạy của Alexandros Đại đế.
Mới!!: Logic và Aristoteles · Xem thêm »
Bertrand Russell
Bertrand Arthur William Russell, Bá tước Russell III, OM, FRS (18 tháng 5 năm 1872 – 2 tháng 2 năm 1970), là một triết gia, nhà lôgic học, nhà toán học người Anh của thế kỷ 20.
Mới!!: Logic và Bertrand Russell · Xem thêm »
Boethius
Anicius Manlius Severinus Boëthius,, thường được gọi là Boethius (480-524/525) là nhà triết học người Ý.
Mới!!: Logic và Boethius · Xem thêm »
Cambridge University Press
Nhà xuất bản Đại học Cambridge (Cambridge University Press, CUP) là một nhà xuất bản của Đại học Cambridge.
Mới!!: Logic và Cambridge University Press · Xem thêm »
Charles Sanders Peirce
Charles Sanders Peirce (10 tháng 9 năm 1839-19 tháng 4 năm 1914) là một triết gia, nhà toán học, logic người Mỹ, thường được gọi là "cha đẻ của chủ nghĩa thực dụng".
Mới!!: Logic và Charles Sanders Peirce · Xem thêm »
Chân lý
Họa phẩm về nữ thần Chân Lý Chân lý là khái niệm để chỉ những tri thức có nội dung phù hợp với thực tế khách quan; sự phù hợp đó đã được kiểm tra và chứng minh bởi thực tiễn.
Mới!!: Logic và Chân lý · Xem thêm »
Châu Âu
Bản đồ thế giới chỉ vị trí của châu Âu Hình châu Âu tổng hợp từ vệ tinh Châu Âu về mặt địa chất và địa lý là một bán đảo hay tiểu lục địa, hình thành nên phần cực tây của đại lục Á-Âu, hay thậm chí Âu Phi Á, tùy cách nhìn.
Mới!!: Logic và Châu Âu · Xem thêm »
Cơ học
Cơ học là một ngành của vật lý nghiên cứu về chuyển động của vật chất trong không gian và thời gian dưới tác dụng của các lực và những hệ quả của chúng lên môi trường xung quanh.
Mới!!: Logic và Cơ học · Xem thêm »
Danh sách ký hiệu toán học
Danh sách này bao gồm những ký hiệu thông thường trong toán học.
Mới!!: Logic và Danh sách ký hiệu toán học · Xem thêm »
David Hilbert
David Hilbert (23 tháng 1 năm 1862, Wehlau, Đông Phổ – 14 tháng 2 năm 1943, Göttingen, Đức) là một nhà toán học người Đức, được công nhận như là một trong những nhà toán học có ảnh hưởng rộng lớn nhất của thế kỉ 19 đầu thế kỉ 20.
Mới!!: Logic và David Hilbert · Xem thêm »
Euclid
Euclid (tiếng Anh: Euclid /ˈjuːklɪd/, tiếng Hy Lạp: Εὐκλείδης Eukleidēs, phiên âm tiếng Việt là Ơ-clít), đôi khi còn được biết đến với tên gọi Euclid thành Alexandria, là nhà toán học lỗi lạc thời cổ Hy Lạp, sống vào thế kỉ 3 TCN.
Mới!!: Logic và Euclid · Xem thêm »
Georg Cantor
Georg Ferdinand Ludwig Philipp Cantor (phát âm tiếng Đức:ˈɡeɔʁk ˈfɛʁdinant ˈluːtvɪç ˈfɪlɪp ˈkantɔʁ; 3 tháng 3 năm 1845 – 6 tháng 1 năm 1918) là một nhà toán học người Đức, được biết đến nhiều nhất với tư cách cha đẻ của lý thuyết tập hợp, một lý thuyết đã trở thành một lý thuyết nền tảng trong toán học.
Mới!!: Logic và Georg Cantor · Xem thêm »
George Boole
George Boole sinh ngày 2-11-1815 ở London.
Mới!!: Logic và George Boole · Xem thêm »
Gottlob Frege
Friedrich Ludwig Gottlob Frege (ˈɡɔtloːp ˈfreːɡə; 8 tháng 11, 1848 – 26 tháng 6, 1925) là một nhà triết học, logic học, toán học người Đức.
Mới!!: Logic và Gottlob Frege · Xem thêm »
Hình học
Hình minh họa định lý Desargues, một kết quả quan trọng trong hình học Euclid Hình học là một phân nhánh của toán học liên quan đến các câu hỏi về hình dạng, kích thước, vị trí tương đối của các hình khối, và các tính chất của không gian.
Mới!!: Logic và Hình học · Xem thêm »
Hilary Putnam
Hilary Whitehall Putnam (sinh ngày 31 tháng 7 năm 1926) là một nhà triết học, toán học, và khoa học máy tính Hoa Kỳ gốc Do Thái, người có vai trò trung tâm trong triết học phân tích kể từ những năm 1960, đặc biệt trong lĩnh vực triết học tinh thần, triết học ngôn ngữ, triết học toán học, và triết học khoa học.
Mới!!: Logic và Hilary Putnam · Xem thêm »
John von Neumann
John von Neumann (Neumann János; 28 tháng 12 năm 1903 – 8 tháng 2 năm 1957) là một nhà toán học người Mỹ gốc Hungary và là một nhà bác học thông thạo nhiều lĩnh vực đã đóng góp vào vật lý lượng tử, giải tích hàm, lý thuyết tập hợp, kinh tế, khoa học máy tính, giải tích số, động lực học chất lưu, thống kê và nhiều lĩnh vực toán học khác.
Mới!!: Logic và John von Neumann · Xem thêm »
Joseph Diaz Gergonne
Joseph Diaz Gergonne (1771-1859) là nhà toán học người Pháp.
Mới!!: Logic và Joseph Diaz Gergonne · Xem thêm »
Khoa học máy tính
Khoa học máy tính nghiên cứu các cơ sở lý thuyết của thông tin và tính toán, cùng với các kỹ thuật thực tiễn để thực hiện và áp dụng các cơ sở này.
Mới!!: Logic và Khoa học máy tính · Xem thêm »
Kurt Gödel
Kurt Gödel (28 tháng 4 năm 1906 – 14 tháng 1 năm 1978) là một nhà toán học và logic học nổi tiếng người Áo, người đã được tờ tạp chí danh tiếng Times bình chọn là nhà toán học lớn nhất thế kỷ 20.
Mới!!: Logic và Kurt Gödel · Xem thêm »
Lập luận
Lập luận được định nghĩa rất khác nhau tùy theo ngữ cảnh của hiểu biết về lý tính như là một hình thức của tri thức.
Mới!!: Logic và Lập luận · Xem thêm »
Lập trình logic
Lập trình logic là một mẫu hình lập trình dựa trên logic toán trong các mối quan hệ và các suy luận.
Mới!!: Logic và Lập trình logic · Xem thêm »
Lý tính
Lý tính là một thuật ngữ dùng trong triết học và các khoa học khác về con người để chỉ các năng lực nhận thức của tâm thức con người.
Mới!!: Logic và Lý tính · Xem thêm »
Lý thuyết đồ thị
Hình vẽ một đồ thị có 6 đỉnh và 7 cạnh Trong toán học và tin học, lý thuyết đồ thị nghiên cứu các tính chất của đồ thị.
Mới!!: Logic và Lý thuyết đồ thị · Xem thêm »
Lý thuyết tập hợp
Một sơ đồ Venn mô phỏng phép giao của hai tập hợp. Lý thuyết tập hợp là ngành toán học nghiên cứu về tập hợp.
Mới!!: Logic và Lý thuyết tập hợp · Xem thêm »
Lý trí
Lý trí là khả năng của ý thức để hiểu các sự việc, sử dụng logic, kiểm định và khám phá những sự kiện; thay đổi và kiểm định hành động, kinh nghiệm và niềm tin dựa trên những thông tin mới hay có sẵn.
Mới!!: Logic và Lý trí · Xem thêm »
Logic hình thức
nhỏ Logic hình thức còn được biết đến trong toán học như là logic ký hiệu là ngành khoa học nằm trong miền giao thoa giữa toán học và triết học tự nhiên.
Mới!!: Logic và Logic hình thức · Xem thêm »
Logic mờ
Lôgic mờ (tiếng Anh: Fuzzy logic) được phát triển từ lý thuyết tập mờ để thực hiện lập luận một cách xấp xỉ thay vì lập luận chính xác theo lôgic vị từ cổ điển.
Mới!!: Logic và Logic mờ · Xem thêm »
Logic toán
Lôgic 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.
Mới!!: Logic và Logic toán · Xem thêm »
Logos
Logos (tiếng Hy Lạpː λόγος), xuất phát từ λέγω (phiên âm là lego, có nghĩa là "tôi nói") là một thuật ngữ nổi tiếng trong nhiều lĩnh vực khác nhau như triết học, tâm lý học, tu từ học và tôn giáo.
Mới!!: Logic và Logos · Xem thêm »
Luận cứ
Trong logic, một luận cứ là một cố gắng để thể hiện tính đúng đắn của một khẳng định được gọi là một kết luận, dựa trên tính đúng đắn của một tập các khẳng định được gọi là tiền đề (premise).
Mới!!: Logic và Luận cứ · Xem thêm »
Luật
Luật có thể có một trong các nghĩa sau.
Mới!!: Logic và Luật · Xem thêm »
Luật pháp
Luật pháp dưới góc độ luật học được hiểu như là tổng thể các quy tắc xử sự có tính bắt buộc chung, do Nhà nước đặt ra hoặc thừa nhận, thể hiện ý chí chung của một quốc gia, khu vực, được Nhà nước đảm bảo thực hiện bằng các biện pháp giáo dục, thuyết phục, và cưỡng chế.
Mới!!: Logic và Luật pháp · Xem thêm »
Ludwig Wittgenstein
Ludwig Josef Johann Wittgenstein (tiếng Đức: luːtvɪç ˈjoːzɛf ˈjoːhan ˈvɪtgənʃtaɪn), sinh 26 tháng 4 1889 - mất 29 tháng 4 1951, là một nhà triết học người Áo, người đã có công đóng góp quan trọng trong logic, triết học về toán, triết học tinh thần và triết học ngôn ngữ.
Mới!!: Logic và Ludwig Wittgenstein · Xem thêm »
Ngụy biện
Ngụy biện là việc sử dụng các lập luận một cách sai lầm, không hợp lý, cố ý vi phạm các quy tắc logic trong suy luận.
Mới!!: Logic và Ngụy biện · Xem thêm »
Nghịch lý
Nghịch lý là một khẳng định có vẻ như mâu thuẫn với chính nó, nhưng có thể đúng (hoặc đồng thời có thể sai).
Mới!!: Logic và Nghịch lý · Xem thêm »
Nghịch lý Russell
Trong toán học cơ sở, Nghịch lý Russell hay mâu thuẫn Russell (đặt tên theo nhà triết học Bertrand Russell, người tìm ra nó vào năm in 1901) cho thấy rằng thuyết tập hợp chất phác của Georg Cantor sẽ dẫn đến mâu thuẫn.
Mới!!: Logic và Nghịch lý Russell · Xem thêm »
Nhà triết học
Socrates chuẩn bị uống thuốc độc theo lệnh của tòa án. Họa phẩm của Jacques-Louis David, Metropolitan Museum of Art. Nhà triết học, hay triết gia, là người nghiên cứu về triết học, có đóng góp cho sự phát triển của triết học.
Mới!!: Logic và Nhà triết học · Xem thêm »
Platon
Plato (Πλάτων, Platō, "Vai Rộng"), khoảng 427-347 TCN, là một nhà triết học cổ đại Hy Lạp được xem là thiên tài trên nhiều lĩnh vực, có nhiều người coi ông là triết gia vĩ đại nhất mọi thời đại cùng với Sokrates là thầy ông.
Mới!!: Logic và Platon · Xem thêm »
Prolog
Prolog là một ngôn ngữ lập trình.
Mới!!: Logic và Prolog · Xem thêm »
Số học
Các bảng số học dành cho trẻ em, Lausanne, 1835 Số học là một phân nhánh toán học lâu đời nhất và sơ cấp nhất, được hầu hết mọi người thường xuyên sử dụng từ những công việc thường nhật cho đến các tính toán khoa học và kinh doanh cao cấp, qua các phép tính cộng, trừ, nhân, chia.
Mới!!: Logic và Số học · Xem thêm »
Số thực
Trong toán học, các số thực có thể được mô tả một cách không chính thức theo nhiều cách.
Mới!!: Logic và Số thực · Xem thêm »
Siêu hình học
Raphael (Stanza della Segnatura, Roma). Aristotle được xem như là "cha đẻ" của siêu hình học. Siêu hình học (tiếng Anh: Metaphysics bắt nguồn từ tiếng Hy Lạp: μετά (meta).
Mới!!: Logic và Siêu hình học · Xem thêm »
Tam đoạn luận
Tam đoạn luận là một cách suy luận trong suy luận diễn dịch Diễn dịch Tam đoạn luận là suy luận đi từ hai mệnh đề để tiến đến một kết luận tất yếu đã ngầm chứa trong hai mệnh đề đó.
Mới!!: Logic và Tam đoạn luận · Xem thêm »
Thế kỷ 20
Thế kỷ 20 là khoảng thời gian tính từ thời điểm năm 1901 đến hết năm 2000, nghĩa là bằng 100 năm, trong lịch Gregory.
Mới!!: Logic và Thế kỷ 20 · Xem thêm »
Thuyết tương đối
Phương trình nổi tiếng của Einstein dựng tại Berlin năm 2006. Thuyết tương đối miêu tả cấu trúc của không gian và thời gian trong một thực thể thống nhất là không thời gian cũng như giải thích bản chất của lực hấp dẫn là do sự uốn cong của không thời gian bởi vật chất và năng lượng.
Mới!!: Logic và Thuyết tương đối · Xem thêm »
Toán học
Euclid, nhà toán học Hy Lạp, thế kỷ thứ 3 trước Tây lịch, theo hình dung của họa sĩ Raphael, trong một chi tiết của bức họa "Trường Athens".Người đời sau không biết Euclid trông như thế nào, do đó miêu tả về Euclid trong các tác phẩm nghệ thuật tùy thuộc vào trí tượng tượng của người nghệ sĩ (''xem Euclid''). Toán học là ngành nghiên cứu trừu tượng về những chủ đề như: lượng (các con số), cấu trúc, không gian, và sự thay đổi.
Mới!!: Logic và Toán học · Xem thêm »
Trí tuệ nhân tạo
Trí tuệ nhân tạo hay trí thông minh nhân tạo (tiếng Anh: artificial intelligence hay machine intelligence, thường được viết tắt là AI) là trí tuệ được biểu diễn bởi bất cứ một hệ thống nhân tạo nào.
Mới!!: Logic và Trí tuệ nhân tạo · Xem thêm »
Triết học
Triết học là bộ môn nghiên cứu về những vấn đề chung và cơ bản của con người, thế giới quan và vị trí của con người trong thế giới quan, những vấn đề có kết nối với chân lý, sự tồn tại, kiến thức, giá trị, quy luật, ý thức, và ngôn ngữ.
Mới!!: Logic và Triết học · Xem thêm »
Triết học phân tích
Triết học phân tích là một trào lưu triết học.
Mới!!: Logic và Triết học phân tích · Xem thêm »
Trung Cổ
''Thánh Giá Mathilde'', chiếc thánh giá nạm ngọc của Mathilde, Tu viện trưởng Essen (973-1011), bộc lộ nhiều đặc trưng trong nghệ thuật tạo hình Trung Cổ. Thời kỳ Trung Cổ (hay Trung Đại) là giai đoạn trong lịch sử châu Âu bắt đầu từ sự sụp đổ của Đế quốc Tây Rôma vào thế kỷ 5, kéo dài tới thế kỉ 15, hòa vào thời Phục hưng và Thời đại khám phá.
Mới!!: Logic và Trung Cổ · Xem thêm »
Trung kỳ Trung Cổ
Các chiến binh Công giáo chiếm đóng Jerusalem trong cuộc Thập tự chinh thứ nhất. Giai đoạn giữa Trung Cổ là một thời kỳ lịch sử ở châu Âu kéo dài trong ba thế kỷ 11, 12, và 13.
Mới!!: Logic và Trung kỳ Trung Cổ · Xem thêm »
Tư duy phản biện
Tư duy phản biện hay là tư duy phân tích là một quá trình tư duy biện chứng gồm phân tích và đánh giá một thông tin đã có theo các cách nhìn khác cho vấn đề đã đặt ra nhằm làm sáng tỏ và khẳng định lại tính chính xác của vấn đề.
Mới!!: Logic và Tư duy phản biện · Xem thêm »
Xác suất
Từ xác suất (probability) bắt nguồn từ chữ probare trong tiếng Latin và có nghĩa là "để chứng minh, để kiểm chứng".
Mới!!: Logic và Xác suất · Xem thêm »
1918
1918 (số La Mã: MCMXVIII) là một năm thường bắt đầu vào thứ Ba trong lịch Gregory.
Mới!!: Logic và 1918 · Xem thêm »
1928
1928 (số La Mã: MCMXXVIII) là một năm nhuận bắt đầu vào Chủ Nhật trong lịch Gregory.
Mới!!: Logic và 1928 · Xem thêm »
1940
1940 (số La Mã: MCMXL) là một năm nhuận bắt đầu vào thứ Hai trong lịch Gregory.
Mới!!: Logic và 1940 · Xem thêm »
Chuyển hướng tại đây:
Logic học, Luận lý học, Lô gích, Lô-gic, Lô-gíc, Lô-gích, Lôgic, Lôgic học, Lôgíc, Lô–gíc, Suy luận logic.
