Active Learning of Recursive Functions by Ultrametric Algorithms

2014 ◽  
pp. 246-257
Author(s):  
Rūsiņš Freivalds ◽  
Thomas Zeugmann
Keyword(s):  
Active Learning ◽  
Recursive Functions

Learning via queries in [+, <]

1992 ◽  
Vol 57 (1) ◽  
pp. 53-81 ◽  
Author(s):  
William I. Gasarch ◽  
Mark G. Pleszkoch ◽  
Robert Solovay
Keyword(s):  
Active Learning ◽  
Query Language ◽  
Independent Interest ◽  
Decidability Result ◽  
Presburger Arithmetic ◽  
First Order ◽  
Recursive Functions ◽  
Bounded Number ◽  
Open Question ◽  
Primitive Recursive

AbstractWe prove that the set of all recursive functions cannot be inferred using first-order queries in the query language containing extra symbols [+ , <]. The proof of this theorem involves a new decidability result about Presburger arithmetic which is of independent interest. Using our machinery, we show that the set of all primitive recursive functions cannot be inferred with a bounded number of mind changes, again using queries in [+, <]. Additionally, we resolve an open question in [7] about passive versus active learning.

Active Learning Through Use of Learning and Study Strategies

1990 ◽  
Vol 35 (5) ◽  
pp. 471-472
Author(s):  
Herbert J. Klausmeier
Keyword(s):  
Active Learning ◽  
Study Strategies ◽  
Learning And Study Strategies

A randomized controlled trial of an online, modular, active learning training program for behavioral activation for depression.

2017 ◽  
Vol 85 (8) ◽  
pp. 814-825 ◽  
Author(s):  
Ajeng J. Puspitasari ◽  
Jonathan W. Kanter ◽  
Andrew M. Busch ◽  
Rachel Leonard ◽  
Shira Dunsiger ◽  
...  
Keyword(s):  
Randomized Controlled Trial ◽  
Active Learning ◽  
Training Program ◽  
Behavioral Activation ◽  
Controlled Trial ◽  
Randomized Controlled

Stimulating Active Learning in Aging and Diversity

2008 ◽  
Author(s):  
Lisa Wagner ◽  
Chandra M. Mehrotra
Keyword(s):  
Active Learning

Evaluating Two Active Learning Projects for Psychometrics Courses

2006 ◽  
Author(s):  
Kimberly A. Barchard ◽  
Larry A. Pace
Keyword(s):  
Active Learning ◽  
Learning Projects
Sign in / Sign up

Export Citation Format

Share Document