Proof technology in mathematics research and teaching:
Gespeichert in:
Weitere Verfasser: | , , |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
Cham, Switzerland
Springer
[2019]
|
Schriftenreihe: | Mathematics education in the digital era
Volume 14 |
Schlagworte: | |
Beschreibung: | viii, 379 Seiten Illustrationen, Diagramme |
ISBN: | 9783030284824 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV046350878 | ||
003 | DE-604 | ||
005 | 20201116 | ||
007 | t | ||
008 | 200123s2019 a||| |||| 00||| eng d | ||
020 | |a 9783030284824 |9 978-3-030-28482-4 | ||
035 | |a (OCoLC)1140126513 | ||
035 | |a (DE-599)BVBBV046350878 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-20 | ||
082 | 0 | |a 370 |2 23 | |
084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
245 | 1 | 0 | |a Proof technology in mathematics research and teaching |c Gila Hanna, David A. Reid, Michael de Villiers, editors |
264 | 1 | |a Cham, Switzerland |b Springer |c [2019] | |
264 | 4 | |c © 2019 | |
300 | |a viii, 379 Seiten |b Illustrationen, Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 1 | |a Mathematics education in the digital era |v Volume 14 | |
650 | 4 | |a Mathematics Education | |
650 | 4 | |a Technology and Digital Education | |
650 | 4 | |a Structures and Proofs | |
650 | 4 | |a Critical Thinking | |
650 | 4 | |a Teaching and Teacher Education | |
650 | 4 | |a Mathematics—Study and teaching | |
650 | 4 | |a Educational technology | |
650 | 4 | |a Proof theory | |
650 | 4 | |a Critical Thinking | |
650 | 4 | |a Teaching | |
650 | 0 | 7 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Mathematikunterricht |0 (DE-588)4037949-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Unterrichtstechnologie |0 (DE-588)4078641-9 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Beweistheorie |0 (DE-588)4145177-6 |2 gnd |9 rswk-swf |
689 | 0 | 0 | |a Mathematikunterricht |0 (DE-588)4037949-8 |D s |
689 | 0 | 1 | |a Unterrichtstechnologie |0 (DE-588)4078641-9 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Beweistheorie |0 (DE-588)4145177-6 |D s |
689 | 1 | |5 DE-604 | |
689 | 2 | 0 | |a Automatisches Beweisverfahren |0 (DE-588)4069034-9 |D s |
689 | 2 | |5 DE-604 | |
700 | 1 | |a Hanna, Gila |d 1934- |0 (DE-588)172124794 |4 edt | |
700 | 1 | |a Reid, David A. |4 edt | |
700 | 1 | |a Villiers, Michael de |d 1956- |0 (DE-588)1075912776 |4 edt | |
776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-28483-1 |
830 | 0 | |a Mathematics education in the digital era |v Volume 14 |w (DE-604)BV040724639 |9 14 | |
999 | |a oai:aleph.bib-bvb.de:BVB01-031727371 |
Datensatz im Suchindex
_version_ | 1804180857086279680 |
---|---|
any_adam_object | |
author2 | Hanna, Gila 1934- Reid, David A. Villiers, Michael de 1956- |
author2_role | edt edt edt |
author2_variant | g h gh d a r da dar m d v md mdv |
author_GND | (DE-588)172124794 (DE-588)1075912776 |
author_facet | Hanna, Gila 1934- Reid, David A. Villiers, Michael de 1956- |
building | Verbundindex |
bvnumber | BV046350878 |
classification_rvk | SK 130 |
ctrlnum | (OCoLC)1140126513 (DE-599)BVBBV046350878 |
dewey-full | 370 |
dewey-hundreds | 300 - Social sciences |
dewey-ones | 370 - Education |
dewey-raw | 370 |
dewey-search | 370 |
dewey-sort | 3370 |
dewey-tens | 370 - Education |
discipline | Pädagogik Mathematik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02215nam a2200601 cb4500</leader><controlfield tag="001">BV046350878</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20201116 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">200123s2019 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030284824</subfield><subfield code="9">978-3-030-28482-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1140126513</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046350878</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">370</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proof technology in mathematics research and teaching</subfield><subfield code="c">Gila Hanna, David A. Reid, Michael de Villiers, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2019</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 379 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Mathematics education in the digital era</subfield><subfield code="v">Volume 14</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics Education</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Technology and Digital Education</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Structures and Proofs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Critical Thinking</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Teaching and Teacher Education</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics—Study and teaching </subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Educational technology</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Proof theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Critical Thinking</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Teaching</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematikunterricht</subfield><subfield code="0">(DE-588)4037949-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Unterrichtstechnologie</subfield><subfield code="0">(DE-588)4078641-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematikunterricht</subfield><subfield code="0">(DE-588)4037949-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Unterrichtstechnologie</subfield><subfield code="0">(DE-588)4078641-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Beweistheorie</subfield><subfield code="0">(DE-588)4145177-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Automatisches Beweisverfahren</subfield><subfield code="0">(DE-588)4069034-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Hanna, Gila</subfield><subfield code="d">1934-</subfield><subfield code="0">(DE-588)172124794</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Reid, David A.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Villiers, Michael de</subfield><subfield code="d">1956-</subfield><subfield code="0">(DE-588)1075912776</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-030-28483-1</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Mathematics education in the digital era</subfield><subfield code="v">Volume 14</subfield><subfield code="w">(DE-604)BV040724639</subfield><subfield code="9">14</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031727371</subfield></datafield></record></collection> |
id | DE-604.BV046350878 |
illustrated | Illustrated |
indexdate | 2024-07-10T08:42:25Z |
institution | BVB |
isbn | 9783030284824 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031727371 |
oclc_num | 1140126513 |
open_access_boolean | |
owner | DE-20 |
owner_facet | DE-20 |
physical | viii, 379 Seiten Illustrationen, Diagramme |
publishDate | 2019 |
publishDateSearch | 2019 |
publishDateSort | 2019 |
publisher | Springer |
record_format | marc |
series | Mathematics education in the digital era |
series2 | Mathematics education in the digital era |
spelling | Proof technology in mathematics research and teaching Gila Hanna, David A. Reid, Michael de Villiers, editors Cham, Switzerland Springer [2019] © 2019 viii, 379 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Mathematics education in the digital era Volume 14 Mathematics Education Technology and Digital Education Structures and Proofs Critical Thinking Teaching and Teacher Education Mathematics—Study and teaching Educational technology Proof theory Teaching Automatisches Beweisverfahren (DE-588)4069034-9 gnd rswk-swf Mathematikunterricht (DE-588)4037949-8 gnd rswk-swf Unterrichtstechnologie (DE-588)4078641-9 gnd rswk-swf Beweistheorie (DE-588)4145177-6 gnd rswk-swf Mathematikunterricht (DE-588)4037949-8 s Unterrichtstechnologie (DE-588)4078641-9 s DE-604 Beweistheorie (DE-588)4145177-6 s Automatisches Beweisverfahren (DE-588)4069034-9 s Hanna, Gila 1934- (DE-588)172124794 edt Reid, David A. edt Villiers, Michael de 1956- (DE-588)1075912776 edt Erscheint auch als Online-Ausgabe 978-3-030-28483-1 Mathematics education in the digital era Volume 14 (DE-604)BV040724639 14 |
spellingShingle | Proof technology in mathematics research and teaching Mathematics education in the digital era Mathematics Education Technology and Digital Education Structures and Proofs Critical Thinking Teaching and Teacher Education Mathematics—Study and teaching Educational technology Proof theory Teaching Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematikunterricht (DE-588)4037949-8 gnd Unterrichtstechnologie (DE-588)4078641-9 gnd Beweistheorie (DE-588)4145177-6 gnd |
subject_GND | (DE-588)4069034-9 (DE-588)4037949-8 (DE-588)4078641-9 (DE-588)4145177-6 |
title | Proof technology in mathematics research and teaching |
title_auth | Proof technology in mathematics research and teaching |
title_exact_search | Proof technology in mathematics research and teaching |
title_full | Proof technology in mathematics research and teaching Gila Hanna, David A. Reid, Michael de Villiers, editors |
title_fullStr | Proof technology in mathematics research and teaching Gila Hanna, David A. Reid, Michael de Villiers, editors |
title_full_unstemmed | Proof technology in mathematics research and teaching Gila Hanna, David A. Reid, Michael de Villiers, editors |
title_short | Proof technology in mathematics research and teaching |
title_sort | proof technology in mathematics research and teaching |
topic | Mathematics Education Technology and Digital Education Structures and Proofs Critical Thinking Teaching and Teacher Education Mathematics—Study and teaching Educational technology Proof theory Teaching Automatisches Beweisverfahren (DE-588)4069034-9 gnd Mathematikunterricht (DE-588)4037949-8 gnd Unterrichtstechnologie (DE-588)4078641-9 gnd Beweistheorie (DE-588)4145177-6 gnd |
topic_facet | Mathematics Education Technology and Digital Education Structures and Proofs Critical Thinking Teaching and Teacher Education Mathematics—Study and teaching Educational technology Proof theory Teaching Automatisches Beweisverfahren Mathematikunterricht Unterrichtstechnologie Beweistheorie |
volume_link | (DE-604)BV040724639 |
work_keys_str_mv | AT hannagila prooftechnologyinmathematicsresearchandteaching AT reiddavida prooftechnologyinmathematicsresearchandteaching AT villiersmichaelde prooftechnologyinmathematicsresearchandteaching |