Printer Friendly

Browse Mathematical logic topic

Articles

1-111 out of 111 article(s)
Title Author Type Date Words
IMP with exceptions over decorated logic. Ekici, Burak Report Aug 1, 2018 21517
Identifying, promoting, and assessing reasoning focused on analysing. Bragg, Leicha A.; Herbert, Sandra; Davidson, Aylie Essay Jun 22, 2018 2410
The 'art' of ratio: Using a hands-on ratio task to explore student thinking. O'Keeffe, Lisa; White, Bruce Essay Jun 22, 2018 2992
Counterexamples in Model Checking--A Survey. Debbi, Hichem Report Jun 1, 2018 16683
Neutrosophic modal logic. Smarandache, Florentin Report Mar 1, 2017 4393
Modal Logic Axioms Valid in Quotient Spaces of Finite CW-Complexes and Other Families of Topological Spaces. Nogin, Maria; Xu, Bing Report Jan 1, 2017 1976
Fuzzy logic vs. neutrosophic logic: operations logic. Bouzina, Salah Report Dec 1, 2016 4209
Proof and rhetoric: the structure and origin of proof--from ancient Greece to Abraham Lincoln's speech in defence of the union and Paul Keating's Mabo speech. Padula, Janice Report Jan 1, 2016 3450
On the analysis of indirect proofs: contradiction and contraposition. Jourdan, Nicolas; Yevdokimov, Oleksiy Report Jan 1, 2016 4059
Ideological systems and its validation: a neutrosophic approach. Nescolarde-Selva, Josue; Uso-Domenech, Jose Luis Report Sep 1, 2015 8931
Modeling and analyzing non-functional requirements interdependencies with neutrosofic logic. Betancourt-Vazquez, Ameirys; Perez-Teruel, Karina; Leyva-Vazquez, Maikel Report Sep 1, 2015 1133
Phronesis: vol. 60, no. 2, 2015. Sep 1, 2015 219
Primacy of quantum logic in the natural world. Larson, Cynthia Sue Jul 1, 2015 5003
Galileo's new mathematical philosophy. Peterson, Mark A. Essay May 1, 2015 10096
Rough neutrosophic multi-attribute decision-making based on rough accuracy score function. Mondal, Kalyan; Pramanik, Surapati Report Mar 1, 2015 5171
Informational time. Quznetsov, Gunn Report Oct 1, 2014 2600
Australian curriculum linked lessons: reasoning in number and algebra. Day, Lorraine Report Sep 22, 2014 1777
Analysis of 6(4) - valued memory. Guzan, M. Report Jun 1, 2014 3287
A case-based reasoning method for remanufacturing process planning. Zhou, Fan; Jiang, Zhigang; Zhang, Hua; Wang, Yan Report Jan 1, 2014 5421
Recovering intuition from automated formal proofs using tableaux with superdeduction. Delahaye, David; Jacquel, Melanie Report Jun 1, 2013 9246
Relations for marginal and joint moment generating functions of extended type I generalized logistic distribution based on lower generalized order statistics and characterization. Kumar, Devendra Report May 1, 2013 3689
An enhanced matrix-free secant method via predictor-corrector modified line search strategies for solving systems of nonlinear equations. Waziri, M.Y.; Majid, Z.A. Report Jan 1, 2013 4200
Formalization of linear space theory in the higher-order logic proving system. Zhang, Jie; Mao, Danwen; Guan, Yong Report Jan 1, 2013 2608
Efficient algorithms for optimal 4-bit reversible logic system synthesis. Li, Zhiqiang; Chen, Hanwu; Yang, Guowu; Liu, Wenjie Report Jan 1, 2013 6485
Permanence and global attractivity of a discrete logistic model with impulses. Gao, Chunyu; Guo, Qingxi Report Jan 1, 2013 2263
From routine to rich: developing an algebraic reasoning task for a middle/upper primary class. Bridge, Courtney; Day, Lorraine; Hurrell, Derek Dec 22, 2012 2769
Developing "algebraic thinking": two key ways to establish some early algebraic ideas in primary classrooms: we encourage readers to review this article twice--once to comprehend the arguments put forth--and a second time to appreciate the nuances of what Christine Ormond has written. Ormond, Christine Dec 22, 2012 3653
Cognitive Rationality and Its Logic-Mathematical Language. Masalova, Svetlana Abstract Dec 1, 2012 161
Logics for multiagent systems. van der Hoek, Wiebe; Wooldridge, Michael Report Sep 22, 2012 12431
Semillatice-ordered semigroups with apartness representation problem. Romano, Daniel A. Report Jul 1, 2012 4116
"Twenty percent free!" So how much does the original bar weigh? Ngarewa Hawera and Merilyn Taylor describe a rich task based on a real world situation that stimulated a great deal of mathematical reasoning. Their research on how students attempted the task is most revealing. Hawera, Ngarewa; Taylor, Merilyn Dec 3, 2011 2002
Approximation in variation by the Kantorovich operators/ Kantorovichi operaatoritega lahendamine variatsiooni mottes. Kivinukk, Andi; Metsmagi, Tarmo Report Dec 1, 2011 2768
Mathematical and fuzzy logic models in prediction of geological and geomechanical properties of rock mass by excavation data on underground works/Matematinis IR neraiskiosios logikos modeliai aprasant geologines IR geomechanines uolienos savybes, naudojant pozeminio kasinejimo duomenis. Torno, Susana; Torano, Javier; Menendez, Mario; Gent, Malcolm; Velasco, Judith Report Jun 1, 2011 5570
Deep transfer: a Markov logic approach. Davis, Jesse; Domingos, Pedro Report Mar 22, 2011 1383
On using automated deduction techniques for loci computing in dynamic geometry environments. Botana, Francisco Report Feb 1, 2011 1693
Computing fixed points and cycles for the discrete logistic equation. Thompson, S. Report Feb 1, 2011 3545
The logical heart of a classic proof revisited: a guide to Godel's 'incompleteness' theorems. Padula, Janice Jan 1, 2011 6183
Leaning on Socrates: to derive the pythagorean theorem. Percy, Andrew; Carr, Alistair Report Jun 22, 2010 1790
An analysis of current trends in CBR research using multiview clustering. Greene, Derek; Freyne, Jill; Smyth, Barry; Cunningham, Padraig Report Jun 22, 2010 10240
On density of truth of the intuitionistic logic in one variable. Kostrzycka, Zofia Report Jan 1, 2008 5315
A symbolic approach to teaching geometry. Majewski, Miroslaw Feb 1, 2007 4465
Hot ideas: early years problem solving. Way, Jenni Dec 22, 2006 924
Guess what ...? Ben Colmer looks at the difference between a "guess" and an "estimate" and provides compelling reasons to develop children's estimation skills for use in everyday life. Colmer, Ben Dec 22, 2006 1550
Coin on a chessboard. Turner, Paul Sep 22, 2006 2242
Collecting coupons--a mathematical approach. Croucher, John S. Jul 1, 2006 1744
First one home the long way round. Sherman, Brian Jul 1, 2006 2372
Mobiles phones and patterns: Teresa Gadaleta provides an excellent example of using technology to create relevance for students and promote mathematical learning. Gadaleta, Teresa Jun 22, 2006 1715
Challenges facing pre-service secondary teachers. Olson, Jo Clay Jun 22, 2006 2792
Springfield theory: mathematical references abound on The Simpsons. Klarreich, Erica Jun 10, 2006 1360
Diversions. Squire, Barry Mar 22, 2006 660
Further mathematical patterns. de Mestre, Neville Mar 22, 2006 688
A spreadsheet project. Hyde, Hartley Mar 22, 2006 1480
Modelling and the transit of Venus. Quinn, Dave; Berry, Ron Jan 1, 2006 4480
Teaching children to understand operations in early childhood: Jad Ladhams shares effective teaching strategies that emerged from a rather special situation in remote Western Australia, bit should be useful for teachers in all schools. Ladhams Jad Dec 22, 2005 3744
Helping children with words in word problems: Eula Monroe and Robert Panchyshyn from the USA, provide advice on removing some of the barriers to students working with word problems. Monroe, Eula; Panchyshyn, Robert Dec 22, 2005 1018
Numbers, factors and sums! Perfect? Lovely! Squire, Barry Dec 22, 2005 1227
Discovery. de Mestre, Neville Dec 22, 2005 806
Proceedings of the Conference of the International Group for the Psychology of Mathematics Education (29th, Melbourne, Australia, July 10-15, 2005). Volume 2. Chick, Helen L., Ed.; Vincent, Jill L., Ed. Report Jul 1, 2005 863
Fractal music: the mathematics behind 'techno' music. Padula, Janice Jun 22, 2005 3850
Hands-on numbers. de Mestre, Neville Jun 22, 2005 960
2005 International Conference on Natural Computation (ICNC'05) and International Conference on Fuzzy Systems and Knowledge Discovery (FSKD'05), Changsha, China, 27-29 August 2005. May 1, 2005 414
The Development of Logico-mathematical Knowledge in a Block-building Activity at Ages 1-4. Kelley, Michael Mar 22, 2005 277
The pyramid collection. Neville, Gary Mar 22, 2005 2323
Diversions. Squire, Barry Mar 22, 2005 1278
Generalization of the divisor products and proper divisor products sequences. Fangchi, Liang Jan 1, 2005 1071
An improved algorithm for calculating the sum-of-factorials function. Perry, Jon Jan 1, 2005 680
Designing online mathematical investigation. Liang, Hai-Ning Sep 22, 2004 8071
The development of logico-mathematical knowledge in a block-building activity at ages 1-4. Kato, Yasuhiko Sep 22, 2004 7117
The development of logico-mathematical knowledge in a block-building activity at ages 1-4--Kamii, Miyakawa, & Kato. Kelley, Michael F. Brief Article Sep 22, 2004 269
Proportional Reasoning of Quasi-Illiterate Adults. Alatorre, Silvia; Figueras, Olimpia Abstract Jul 1, 2004 171
Elementary School Students' Use of Mathematically-Based and Practically-Based Explanations: The Case of Multiplication. Levenson, Esther; Tirosh, Dina; Tsamir, Pessia Abstract Jul 1, 2004 185
Non-Examples and Proof by Contradiction. Antonini, Samuele Report Jul 1, 2003 160
Levels of Sophistication in Elementary Students Reasoning about Length. Battista, Michael T. Report Jul 1, 2003 171
One Line Proof: What Can Go Wrong? Gholamazad, Soheila; Liljedahl, Peter; Zazkis, Rina Report Jul 1, 2003 164
Mathematical Proof as Formal Procept in Advanced Mathematical Thinking. Chin, Erh-Tsung Report Jul 1, 2003 293
Using Research to Inform Practice: Children Make Sense of Division of Fractions. Bulgar, Sylvia Report Jul 1, 2003 183
The Assessment of Mathematical Logic: Abstract Patterns and Familiar Contexts. Teppo, Anne R.; Esty, Warren W.; Kirkpatrick, Kay Report Jul 1, 2003 162
The development of children's understanding of equality and inequality relationships in numerical symbolic contexts. Morris, Anne K. Mar 22, 2003 14663
Great Garlands. (Problem Solvers). Swarthout, Mary Brief Article Dec 1, 2001 825
Short Proofs Are Narrow--Resolution Made Simple. BEN-SASSON, ELI; WIGDERSON, AVI Mar 1, 2001 10640
Improved Master Theorems for Divide-and-Conquer Recurrences. ROURA, SALVADOR Mar 1, 2001 19586
Orthologic and Quantum Logic: Models and Computational Elements. RAWLING, J. P.; SELESNICK, S. A. Jul 1, 2000 14064
Existential Second-Order Logic Over Strings. EITER, THOMAS; GOTTLOB, GEORG; GUREVICH, YURI Jan 1, 2000 31481
What Is Your Millennial Age? Welchman, Rosamond Dec 1, 1999 1594
Sharing and Groundness Dependencies in Logic Programs. CODISH, MICHAEL; SONDERGAARD, HARALD; STUCKEY, PETER J. Sep 1, 1999 15219
And the answer is ... symbolic literacy. Witherspoon, Mary Lou Mar 1, 1999 2210
Subitizing: what is it? Why teach it? Clements, Douglas H. Mar 1, 1999 3531
Counting cubes. Olson, Melfried Mar 1, 1999 529
Responses to the "shuffling a line" problem. Olson, Melfried Mar 1, 1999 1009
Are you puzzled? Welchman, Rosamond Mar 1, 1999 1606
Induction and indefinite extensibility: the Godel sentence is true, but did someone change the subject? Shapiro, Stewart Jul 1, 1998 12602
Algorithm 781: Generating Hilbert's Space-Filling Curve by Recursion. BREINHOLT, GREG; SCHIERZ, CHRISTOPH Jun 1, 1998 2310
An abstract machine for tabled execution of fixed-order stratified logic programs. Sagonas, Konstantinos; Swift, Terrance May 1, 1998 21382
A student's imaging in solving a nonroutine task. Reynolds, Anne; Wheatley, Grayson H. Oct 1, 1997 3356
Symbolic model checking for event-driven real-time systems. Yang, Jin; Mok, Aloysius K.; Wang, Farn Mar 1, 1997 12197
Precise flow-insensitive may-alias analysis is NP-hard. Horwirtz, Susan Jan 1, 1997 2299
Lightweight closure conversion. Steckler, Paul A.; Wand, Mitchell Jan 1, 1997 13338
Young kids fail symbol-minded tasks. Brief Article Aug 26, 1995 404
Is arithmetic consistent? Priest, Graham Jul 1, 1994 6339
Symbolic logic. Asimov, Isaac Reference Source Jan 1, 1994 138
Symbolic logic and mathematics. Asimov, Isaac Reference Source Jan 1, 1994 127
Financial bombs. MacNeal, Edward Dec 22, 1993 1834
Logical implication and the ambiguity of extensional logic. Pols, Edward Dec 1, 1993 10368
The 5th Generation Project: personal perspectives. Shapiro, Ehud; Warren, David H.D. Cover Story Mar 1, 1993 1185
Robert Kowalski. Kowalski, Robert Cover Story Mar 1, 1993 5366
Koichi Furukawa. Furukawa, Koichi Cover Story Mar 1, 1993 4132
Kazunori Ueda. Ueda, Kazunori Cover Story Mar 1, 1993 9978
Ken Kahn. Kahn, Ken Cover Story Mar 1, 1993 5240
The impact of logic programming on databases. Grant, John; Minker, Jack Mar 1, 1992 13063
An incremental constraint solver. Freeman-Benson, Bjorn N.; Maloney, John; Borning, Alan technical Jan 1, 1990 8400
Using induction to design algorithms. Manber, Udi technical Nov 1, 1988 11995

Terms of use | Privacy policy | Copyright © 2020 Farlex, Inc. | Feedback | For webmasters