Program pro výuku základů matematické logiky
| Thesis title in Czech: | Program pro výuku základů matematické logiky |
|---|---|
| Thesis title in English: | Teaching program for bases of mathematical logic |
| Academic year of topic announcement: | 2005/2006 |
| Thesis type: | Bachelor's thesis |
| Thesis language: | čeština |
| Department: | Department of Mathematics Education (32-KDM) |
| Supervisor: | doc. RNDr. Jarmila Robová, CSc. |
| Author: | hidden - assigned and confirmed by the Study Dept. |
| Date of registration: | 27.10.2005 |
| Date of assignment: | 27.10.2005 |
| Date and time of defence: | 30.06.2006 00:00 |
| Date of electronic submission: | 30.06.2006 |
| Date of submission of printed version: | 30.06.2006 |
| Date of proceeded defence: | 30.06.2006 |
| Opponents: | doc. RNDr. Oldřich Odvárko, DrSc. |
| Guidelines |
| 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.
|
| References |
| 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 |
| Preliminary scope of work |
| 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.
|