Program pro výuku základů matematické logiky
| Název práce v češtině: | Program pro výuku základů matematické logiky |
|---|---|
| Název v anglickém jazyce: | Teaching program for bases of mathematical logic |
| Akademický rok vypsání: | 2005/2006 |
| Typ práce: | bakalářská práce |
| Jazyk práce: | čeština |
| Ústav: | Katedra didaktiky matematiky (32-KDM) |
| Vedoucí / školitel: | doc. RNDr. Jarmila Robová, CSc. |
| Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
| Datum přihlášení: | 27.10.2005 |
| Datum zadání: | 27.10.2005 |
| Datum a čas obhajoby: | 30.06.2006 00:00 |
| Datum odevzdání elektronické podoby: | 30.06.2006 |
| Datum odevzdání tištěné podoby: | 30.06.2006 |
| Datum proběhlé obhajoby: | 30.06.2006 |
| Oponenti: | doc. RNDr. Oldřich Odvárko, DrSc. |
| Zásady pro vypracování |
| Student se seznámí s uvedenou literaturou z matematické logiky a současnými učebnicemi, které jsou věnovány zadanému tématu. Dále prostuduje možnosti vývojového prostředí Delphi a na základě získaných znalostí a dovedností vypracuje výukový program v prostředí Delphi.
|
| Seznam odborné literatury |
| Tarski, A.: Úvod do logiky. Academia, Praha 1966
Šedivý aj.: Úlohy o výrocích a mmožinách. SPN, Praha 1972 Mráz, V.: Logika pro pedagogy. SPN, Praha 1983 Thiele, R.: Matematické důkazy. SNTL, Praha 1985 Lischner, R.: Delphi v kostce. Computer Press, Praha 2000 Pirkl, J.: Komponenty v Delphi. Computer Press, Praha 2002 |
| Předběžná náplň práce |
| Cílem bakalářské práce je vytvořit výukový program pro základy matematické logiky. Součástí programu je zařazení souboru testovacích úloh pro uživatele.
|