Tematy programów uczących Instytutu Matematyki i Kryptologii WAT

Za pomocą każdego z programów można nauczyć się, jak rozwiązywać zadania

rachunkowe pojawiające się w zastosowaniach matematyki w praktyce

inżynierskiej, oraz zrozumieć związane z nimi pojęcia. Do korzystania

z programów do probabilistyki potrzebny jest drukowany zestaw zadań,

dostępny w laboratorium.

Logika

1. Rachunek zdań - badanie formuł zdaniowych i określanie ich wartości

logicznych metodą zero-jedynkową - ZDANIA.

2. Tautologie rachunku zdań - badanie, czy formuła zdaniowa jest tautologią

(tożsamością logiczną), wykorzystywanie tautologii w wywodach logicznych -

TAUTOL.

3. Rachunek kwantyfikatorów - zastosowania rachunku kwantyfikatorów

w wywodach logicznych - KWANTYF.

Algebra

4. Rozwiązywanie układów algebraicznych równań liniowych metodą Gaußa

- badanie, czy układ jest zgodny i czy ma jednoznaczne rozwiązanie,

wyznaczanie rozwiązania - METGAUSS.

5. Zastosowanie metody Gaußa do rozwiązywania algebraicznych zadań

rachunkowych - obliczanie wyznaczników, znajdowanie macierzy odwrotnych

i rozwiązywanie równań macierzowych - ZASTMGAU.

Rachunek prawdopodobieństwa i statystyka matematyczna

6. Podstawowe rozkłady prawdopodobieństwa - badanie właściwości

podstawowych rozkładów prawdopodobieństwa: dwumianowego (Bernoulliego),

Poissona, normalnego (Gaußa), Studenta, 2, dwuwymiarowego normalnego -

PRPR.

7. Weryfikacja hipotez parametrycznych - sprawdzanie hipotez o wartościach

parametrów rozkładów zmiennych losowych: wartości oczekiwanej, wariancji

i odchylenia standardowego - WHP.

8. Estymacja przedziałowa - szacowanie wartości parametrów rozkładów

zmiennych losowych za pomocą przedziałów ufności - PRZEDZUF.

9. Weryfikacja hipotez nieparametrycznych - sprawdzanie hipotez

o rozkładach zmiennych losowych za pomocą testu 2 lub testu  Kołmogorowa

- WERHIP.

10. Analiza korelacji i regresji - obliczanie współczynników korelacji i regresji

dla dwu zmiennych losowych, analiza zależności - AKR.