发布求助
文献互助 智能选刊 最新文献

Third International Congress on Tools for Teaching Logic最新文献

筛选
英文 中文
Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned 计算机辅助逻辑教学的十年:2000-2010:经验教训
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_16
Antonia Huertas
{"title":"Ten Years of Computer-Based Tutors for Teaching Logic 2000-2010: Lessons Learned","authors":"Antonia Huertas","doi":"10.1007/978-3-642-21350-2_16","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_16","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"106 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114313676","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 20
Variables in Mathematics Education 数学教育中的变量
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_7
Susanna S. Epp
{"title":"Variables in Mathematics Education","authors":"Susanna S. Epp","doi":"10.1007/978-3-642-21350-2_7","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_7","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"82 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117061481","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students 熊猫:全民自然演绎的证明助手。一个为本科生提供的Gentzen风格校对助手
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_11
O. Gasquet, François Schwarzentruber, M. Strecker
{"title":"Panda: A Proof Assistant in Natural Deduction for All. A Gentzen Style Proof Assistant for Undergraduate Students","authors":"O. Gasquet, François Schwarzentruber, M. Strecker","doi":"10.1007/978-3-642-21350-2_11","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_11","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121086426","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 22
Teaching Logic in Philosophy 哲学中的逻辑教学
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_5
Begoña Carrascal
{"title":"Teaching Logic in Philosophy","authors":"Begoña Carrascal","doi":"10.1007/978-3-642-21350-2_5","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_5","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"141 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121606609","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment 在黑板电子学习环境下设计基本符号逻辑入门课程
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_30
F. Zenker, Christian Gottschall, A. Newen, R. Riel, G. Vosgerau
{"title":"Designing an Introductory Course to Elementary Symbolic Logic within the Blackboard E-learning Environment","authors":"F. Zenker, Christian Gottschall, A. Newen, R. Riel, G. Vosgerau","doi":"10.1007/978-3-642-21350-2_30","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_30","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128910947","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Teaching Sound Principles about Invalidity 教导关于无效的正确原则
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_21
Carlos A. Oller
{"title":"Teaching Sound Principles about Invalidity","authors":"Carlos A. Oller","doi":"10.1007/978-3-642-21350-2_21","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_21","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115871751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Araucaria-PL: Software for Teaching Argumentation Theory 论证理论教学软件
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_4
Katarzyna Budzynska
{"title":"Araucaria-PL: Software for Teaching Argumentation Theory","authors":"Katarzyna Budzynska","doi":"10.1007/978-3-642-21350-2_4","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_4","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121055690","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
The Question of the Question in Critical Thinking? 批判性思维中问题的问题?
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_12
R. Girle
{"title":"The Question of the Question in Critical Thinking?","authors":"R. Girle","doi":"10.1007/978-3-642-21350-2_12","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_12","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128339269","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Concrete Epistemic Modal Logic: Flatland 具体认知模态逻辑:平面
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_9
O. Gasquet, François Schwarzentruber
{"title":"Concrete Epistemic Modal Logic: Flatland","authors":"O. Gasquet, François Schwarzentruber","doi":"10.1007/978-3-642-21350-2_9","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_9","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131953679","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Logic Training through Algorithmic Problem Solving 通过算法解决问题进行逻辑训练
Third International Congress on Tools for Teaching Logic Pub Date : 2011-06-01 DOI: 10.1007/978-3-642-21350-2_8
J. Ferreira, A. Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, L. Barbosa, J. Oliveira
{"title":"Logic Training through Algorithmic Problem Solving","authors":"J. Ferreira, A. Mendes, Alcino Cunha, Carlos Baquero, Paulo F. Silva, L. Barbosa, J. Oliveira","doi":"10.1007/978-3-642-21350-2_8","DOIUrl":"https://doi.org/10.1007/978-3-642-21350-2_8","url":null,"abstract":"","PeriodicalId":174714,"journal":{"name":"Third International Congress on Tools for Teaching Logic","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115953020","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 14
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信