Nieco rozszerzony wykład ze Wstępu do Matematyki z naciskiem na zagadnienia obliczeniowe i interakcję z komputerem. Autorem tej koncepcji wykładu jest Henryk Michalewski. Elementy klikalne nie działają na stronie dydmat i ogólnie dość słabo działa formatowanie - wersję tego wykładu bez defektów można znaleźć na portalu wdm. Program wykładu jest obliczony na około 15 tygodni i obejmuje następujące tematy:
- przykłady dowodów w matematyce; na kolejnych wykładach pojawią się przykładowe dowody z“Elementów” Euklidesa, dowody arytmetyczne, dowody w rachunku zdań i dowody teoriomnogościowe.
- operacje na zbiorach skończonych: dodawanie, sumy, wyróżnanie, zbiór potęgowy.
- suma i produkt w kategorii zbiorów,
- pojęcie mocy zbioru, tw. Cantora, tw. Cantora-Schrödera-Bernsteina,
- relacje równoważności,
- relacje porządku,
- dobre porządki.
Created with Madoko.net.