16 Result(s)

Chapter and Conference Paper

PEM4PPM: A Cognitive Perspective on the Process of Process Mining

During the last decades, process mining (PM) has matured and rapidly increased in its adoption. Making sense of data is a main part of the work of PM analysts, which involves cognitive processes. Recent work h...

Elizaveta Sorokina, Pnina Soffer, Irit Hadar, Uri Leron… in Business Process Management (2023)

Chapter

Revisiting the Medical Diagnosis Problem: Reconciling Intuitive and Analytical Thinking

A recurrent concern in mathematics education—both theory and practice—is a family of mathematical tasks which elicit from most people strong immediate (“intuitive”) responses, which on further reflection turn ...

Lisser Rye Ejersbo, Uri Leron in Probabilistic Thinking (2014)

Chapter

Subgroups

Edit your proc name_group to obtain a new proc group_table which will define the same names G, o, e, i as name_group, but where o and i will be maps rather than funcs. For example, o will be the set of all pai...

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Rings

In arithmetic, there is the distributive law involving addition and multiplication: for all numbers a, b,c $$\begin{array}{*{20}{c}} {a(b + c) = ab ...

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Mathematical Constructions in ISETL

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Subgroups

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Rings

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Groups

Following is a list of some funcs that you worked with in the first chapter.

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

The Fundamental Homomorphism Theorem

In the last section of the previous chapter you constructed, given a group G and a subgroup H, the set of cosets GmodH and coset multiplication in ISETL. The cosets were always right cosets. In. the next few acti...

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Factorization in Integral Domains

Write a func dwr that accepts two inputs a, b, checks that they are integers and that b is not zero, and returns the pair [a div b, a mod b].

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Groups

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

The Fundamental Homomorphism Theorem

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Factorization in Integral Domains

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)

Chapter

Mathematical Constructions in ISETL

Use the documentation provided for your computer to make sure that you can answer the following questions.

Ed Dubinsky, Uri Leron in Learning Abstract Algebra with ISETL (1994)