Math Questions
Explore questions in the Math category that you can ask Spark.E!
spec Stack[sort Elem] = Nat thenfree type Stack[Elem] ::= emptyStack|push(Elem, Stack[Elem])op pop : Stack[Elem] →? Stack[Elem]∀ s : Stack[Elem], e : Elem• def pop(s) ⇔ ¬(s = emptyStack) %{ dpp }%• pop(push(e, s)) = s %{ pp }%op peek : Stack[Elem] →? Elem∀ s : Stack[Elem], e : Elem• def peek(s) ⇔ ¬(s = emptyStack) %{ dpk }%• peek(push(e, s)) = e %{ pk }%op height : Stack[Elem] → Nat∀ s : Stack[Elem]• height(emptyStack) = 0 %{ h0 }%• height(push(e, s)) = s(height(s)) %{ hs }%endÉvaluer avec une stratégie leftmost-outermost : h(pu(pk(pu(e, eS)), pp(pu(e', eS))))Nat|h|s[e]|pu|---------------|e---------------s[e]|---------------|pk-------------pp|---------------|s[e]------------s[e]|---------------|pu-------------pu|----|----------|----|e---eS--------e'---eS
Arjun peut taper 40 mots par minute. Dalia peut taper 55 mots par minute. Si Arjun et Dalia tapent chacun pendant 30 minutes, combien de mots taperont-ils au total ?
Tout nombre non premier peut se décomposer en produit de facteurs premiers. Cette décomposition est unique a l'ordre des facteurs près
On dit qu'une fraction est irréductible lorsque son numérateur et son dénominateur sont premiers entre eux
20% des élèves d'une classe jouent d'un instrument de musique. Exprimer ce pourcentage sous forme de ratio.
spec Person =sort Personneops A : Personne ; B : Personne ; C : Personnepred __ estAmiDe __ : Personne ⨯ PersonneendTraduire en CASL :Au moins une personne est ami de C
spec Nat_with_< = Nat thenpred __ < __ : Nat × Nat∀i, j : Nat• 0 < suc(j) %{ 0< }%• ¬(i < 0) %{ <0 }%• suc(i) < suc(j) ⇔ i < j %{ s<s }%endÉvaluer :s(s(0)) < s(0)
donner les 2 types de stratégies de comptage verbal/sur les doigts
décrire le dvlpt de la multiplication simple et de la division simple ?
différence minimale ayant une significativité d'un point de vue pratique (clinique) =
il faut donc trouver le bon équilibre entre la puissance désirée et
est-ce que c'est les tests paramétriques ou non-paramétriques les plus puissants?
l'ensemble des nombres ℕ, ℤ, ℚ, ℝ négatifs non nuls
Les nombres Réels (l'ensemble de tous les nombres que l'on rencontre en mathématiques)
l'ensemble des nombres ℕ, ℤ, ℚ, ℝ non nuls. (Tout sauf 0)
l'ensemble des nombres ℕ, ℤ, ℚ, ℝ positifs non nuls.
l'ensemble des nombres rationnels (les nbrs qui peuvent s'écrire en fraction, tous les décimaux + les autres)
Comment appelle t on les nombres qui emplifit les fractions
l'ensemble des nombres ℕ, ℤ, ℚ, ℝ positifs ou nul. (Tout au dessus de 0)
l'ensemble des nombres entiers relatifs {...; -3; -2; -1; 0; 1; 2; 3;...} -pas de décimaux