Excel a diskrétna matematika

Na cvikách s poistnými matematikmi vznikol nápad zakomponovať do výuky aj program Excel, resp. Google Sheets.

Nasledujúce odkazy ukazujú tabuľky, ktoré minimalistickým spôsobom (programujeme čo najmenej políčok, zvyšok len Copy & Paste) poukazujú na zaujímavé fenomény.

Skúste porozumieť čo a ako daná tabuľka počíta.

Tabuľky sa nedajú editovať, môžte si však spraviť vlastnú kópiu a tú meniť. Excel od Windowsu a Google Sheet nie sú úplne kompatibilné, preto niektoré funkcie z jedného programu nemusia fungovať v druhom. Často ide iba o odlišnú syntax (bodkočiarky namiesto čiarok a pod.), niekedy však chýbajú funkcie.

Ak máte nejaký nápad, kde by sa dala nejaká matematická myšlienka zabaliť do excelu, dajte mi, prosím, vedieť.

  • 1. T:"V limite to ide k zlatému rezu ..."
        S:"Ale my sme limity ešte predsa nemali ..."
  • 2. Vyrábame tabuľku pravdivostných hodnôt, ktorá sa vlastne vyrobí sama
  • 3. Toto nie je excel, ale stránky, na ktorých sú dokazovače/overovače formúl. Používajú iné axiómy a odvodzovacie pravidlá, preto to nemusí vyzerať povedomo.
        umsu.de - skúste dosadiť napríklad "(\forall x(Fx\toGx))\to(\forall x Fx \to \forall x Gx)" a porovnajte s DÚ 5.1.