Informatyka MIMUW

  • Materiały
Strona główna › Logika dla informatyków › Uzupełniające materiały z logiki › Po co nam teoria mnogości? Naiwna teoria mnogości, naiwna indukcja, naiwne dowody niewprost

Test 1

wt., 11/09/2010 - 10:51 — Mirek Rachelski

Czy zbiór bocianów jest elementem zbioru wszystkich ptaków?

‹ "Naiwne" dowody niewprost w górę Rachunek zdań ›
  • Wersja do wydruku