Results 21 to 30 of about 391,075 (200)
Logic Integer Programming Models for Signaling Networks
, 2008 We propose a static and a dynamic approach to model biological signaling networks, and show how each can be used to answer relevant biological questions. For this we use the two different mathematical tools of Propositional Logic and Integer Programming.
Haus U.-U. +5 more
core +3 more sources
An Alleged Tension between Non-classical Logics and Applied Classical Mathematics [PDF]
, 2023 Sebastian Horvat, Iulian D. Toader
openalex +1 more source
, 2006 "[M]athematicians care no more for logic than logicians for mathematics." Augustus de Morgan, 1868. Proofs are traditionally syntactic, inductively generated objects.
Hughes, Dominic
core +4 more sources
Teka-Teki Logika untuk Meningkatkan Minat Belajar Siswa Sanggar Kegiatan Belajar Balikpapan Timur [PDF]
, 2019 The success of mathematics learning is supported by the teacher's proficiency in carrying out teaching activities and awareness of students in participating in learning activities.
Musdolifah, A. (Ari) +1 more
core +2 more sources
Classical Mathematics for a Constructive World
, 2010 Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively by dependent type theory and classical reasoning is typically supported by ...
Geuvers +8 more
core +1 more source
Bulletin of Symbolic Logic, 2008 AbstractThe last decade has seen an enormous development in infinite-valued systems and in particular in such systems which have become known as mathematical fuzzy logics.The paper discusses the mathematical background for the interest in such systems of mathematical fuzzy logics, as well as the most important ones of them.
openaire +2 more sources
Collector\u27s Corner, Round 5 [PDF]
, 2011 Martin Gardner\u27s 300th article for Scientific American appeared in their August, 1998 issue (Cover: New Thinking about Back Pain). It\u27s title A Quarter-Century of Recreational Mathematics, highlights Gardner\u27s 297 Mathematical Games columns ...
Farrell, Jeremiah
core +2 more sources
Eksperimentasi Model Pembelajaran Kooperatif Tipe Group Investigation (Gi), Think Pair Share (Tps), Dan Pembelajaran Langsung Pada Materi Aljabar Ditinjau Dari Kecerdasan Majemuk Siswa SMP Negeri Se-kota Surakarta Tahun Pelajaran 2015/2016 [PDF]
, 2016 This research aimed to find out: 1) which one providing better mathematics learning achievement: Group Investigation (GI) model, Think Pair Share (TPS) model, or direct instructional model, 2) which one providing better mathematics learning achievement:
Budiyono, B. (Budiyono) +2 more
core
Review of: "Impossibilities, mathematics, and logic" [PDF]
, 2023 Robert Stalnaker
openalex +1 more source
Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]
, 2008 In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core +2 more sources