7 found
Sort by:
Disambiguations:
M. Ben-Ari [3]Mordechai Ben-Ari [3]Morechai Ben-Ari [1]
  1. M. Ben-Ari (2005). Just a Theory: Exploring the Nature of Science. Prometheus Books.
  2. Mordechai Ben-Ari (2005). Situated Learning in 'This High-Technology World'. Science and Education 14 (3-5):367-376.
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Morechai Ben-Ari (2004). On Random Numbers and Design. Science and Education 13 (3):235-241.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. M. W. Aulls, M. Ben-Ari, A. Berarroch, M. Bunge, L. M. Burko, L. Cardellini, M. Cini, A. Cordero, K. C. De Berg & J. Dodick (2003). Abd-El-Khalick, F., 787 Adúriz-Bravo, A., 27 Allchin, D., 315 Astore, WJ, 185. Science and Education 12:807-808.
    No categories
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  5. Mordechai Ben-Ari (2003). The NOMA of Yishayahu Leibowitz. Science and Education 12 (7):719-723.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  6. Mordechai Ben-Ari (2001). Theory-Guided Technology in Computer Science. Science and Education 10 (5):477-484.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. M. Ben-Ari (1993/2003). Mathematical Logic for Computer Science. Prentice Hall.
    Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare logic;- Z;- (...)
    Direct download  
     
    My bibliography  
     
    Export citation