Search Constraints

Start Over
Filtering by: Creator Lange, C. B. Remove constraint Creator: Lange, C. B. Academic Affiliation Mathematics Remove constraint Academic Affiliation: Mathematics Non-Academic Affiliation Oregon State University. Honors College Remove constraint Non-Academic Affiliation: Oregon State University. Honors College

Search Results

  • The Axiom of Choice and Homotopy Type Theory

    Creator:
    Schneider, Eric
    Abstract:
    In this work we introduce some basic concepts within homotopy type theory (HoTT), a proposed alternative mathematical foundation to classical set theory. In particular, our discussion revolves around the Axiom of Choice (AC). In Part I, we introduce the classical AC and some of its most important equivalents. In Part...
    Resource Type:
    Honors College Thesis
    Full Text:
    ⊢ A .= B type Γ ⊢ B .= C type Γ ⊢ A .= C type . Similarly, the basic rules for judgmental equality

  • Characterization of binary trees

    Creator:
    Brandstetter, Griffin
    Abstract:
    In "Level Number Sequences for Trees" Flagotet and Prodinger investigate the problem of counting the number of level number sequences associated to binary trees of $n$ binary nodes. I convert this problem into terms of exterior nodes or "leaves" and leaf number sequences. "Polynomial representation" is then defined to address...
    Resource Type:
    Honors College Thesis
    Full Text:
    . Definition 2.4. Given a tree with nodes a and b, b is said to be the child of a if a and b are connected by

  • Community Engagement in Mathematics through Outreach Programs

    Creator:
    Riley, Kerala
    Abstract:
    Mathematics outreach typically consists of community events that show the exciting applications of mathematics, particularly to K-12 students. The goal of mathematics outreach events is to increase student interest and involvement in mathematics-related activities. Students start to develop a stigma against mathematics by the end of elementary school. Outreach events...
    Resource Type:
    Honors College Thesis
    Full Text:
    students in these grade levels, so I made three different versions of a worksheet, version A, B, and C

  • Analysis of Student Engagement with Applied Calculus Problems

    Creator:
    Gumpinger, Lynn M.
    Abstract:
    Applied problems are a necessity for a well-rounded and rigorous education in mathematics. This thesis summarizes the literature about student engagement with applied problems in order to develop a set of criteria for what makes an engaging and meaningful applied mathematics problem. Based on a review of the literature, this...
    Resource Type:
    Honors College Thesis
    Full Text:
    terms of a and P(t). b. Find 𝜕2𝑃 𝑑𝑡2 and express it in terms of a and P(t). c. Determine the