3.TICTTL 2011:西班牙萨拉曼卡
帕特里克·布莱克本 , 汉斯·范·迪特马什 , 玛丽亚·曼扎诺 , 费尔南多·索勒尔·托斯卡诺 以下为:
2011年6月1日至4日,西班牙萨拉曼卡,第三届国际逻辑教学工具大会,TICTTL 2011。 诉讼程序。 计算机科学课堂讲稿 6680, 施普林格 2011 ,国际标准图书编号 978-3-642-21349-6 杰苏斯·阿尔科拉·巴内加 以下为:
教学论证理论与实践:案例 12个愤怒的男人 。 1-8 恩里克·阿隆索 以下为:
电子学习和语义技术:工具和概念。 9-23 彼得·布拉德利 以下为:
CT2.0:用于非形式逻辑教学的协作示例数据库。 24-29 Katarzyna Budzynska公司 以下为:
Araucaria-PL:辩论理论教学软件。 30至37 贝戈尼亚·卡拉斯卡尔 以下为:
哲学中的逻辑教学。 38-45 卢德米拉·多斯塔洛娃 , 雅罗斯拉夫·朗 以下为:
奥尔加农:基本逻辑课程学习管理系统。 46-53 苏珊娜·爱普 以下为:
数学教育中的变量。 54-61 乔·费雷拉 , 亚历山大·门德斯 , 阿尔西诺库尼亚 , 卡洛斯·巴奎罗 , 保罗·席尔瓦 , 路易斯·苏亚雷斯·巴博萨 , 何塞·努诺·奥利维拉 以下为:
通过算法问题解决进行逻辑训练。 62-69 奥利维尔·盖斯克特 , 弗朗索瓦·施瓦岑特鲁伯 以下为:
具体认识模态逻辑:平坦地带。 70-76 奥利维尔·盖斯克特 , 弗朗索瓦·施瓦岑特鲁伯 , 马丁·斯特里克 以下为:
Satoulouse:命题逻辑向初学者展示的计算能力。 77-84 奥利维尔·盖斯克特 , 弗朗索瓦·施瓦岑特鲁伯 , 马丁·斯特里克 以下为:
熊猫:全民自然演绎的证明助手。 本科生Gentzen风格证明助理。 85-92 罗德里克·贾尔 以下为:
批判性思维中的问题? 93-100 劳伦斯·戈尔茨坦 以下为:
向逻辑图中添加维度。 101-108 詹姆斯·汉勒 以下为:
把所有东西都放进介绍性逻辑的许多好处。 109-122 安东尼娅·韦尔塔斯 , Josep M.休姆 , 劳拉·洛佩斯 , 恩里克·莫尔 以下为:
SELL项目:电子学习逻辑的学习工具。 123-130 安东尼娅·韦尔塔斯 以下为:
2000年-2010年计算机辅助逻辑教学十年:经验教训。 131-140 简·贾斯帕斯 , 费尔南多·维拉兹奎兹·奎萨达 以下为:
逻辑在行动-开放逻辑课件项目。 141-153 乔斯杰·洛德尔 , 巴斯蒂安·海仁 以下为:
用于证明逻辑公式之间等价性的教学工具。 154-161 安格尔·内波穆塞诺·费尔南德斯 以下为:
信息论视角下的逻辑教学。 170-177 卡洛斯·奥勒 以下为:
教授关于无效性的合理原则。 178-182 格拉迪斯·帕劳 , 安娜·库洛 以下为:
系统错误作为逻辑教学的输入。 183-189 莫里斯·波兰科 以下为:
AProS项目:为商科和工程学学生教授逻辑。 190-197 Rein Prank公司 , 马特·安东 以下为:
使用学习者和教师友好的环境进行图灵机编程和测试。 198-206 克里斯·里德 , 西蒙·威尔斯 , 马克·斯奈斯 , Katarzyna Budzynska公司 , 约翰·劳伦斯 以下为:
使用论证本体开发教学工具套件。 207-214 阿尔ánzazu San Ginés 以下为:
命题逻辑教学的可视化工具。 215-222 帕特里克·特里马特 , 法比西奥·科斯塔 , 乔·马科斯 以下为:
Logicamente:一个基于学习对象的逻辑虚拟学习环境。 223-230 路易斯·阿德里安·厄图比 以下为:
哲学中处理逻辑思维争论的框架。 231-238 拉斐尔·德尔瓦多·维塞达 , 伊娃·皮拉尔·奥尔纳 , 爱德华多·贝尔比斯 , 萨乌尔·德莱昂·格雷罗 以下为:
基于Tableaux的用于算法验证和调试的逻辑教学工具。 239-248 弗兰克·泽克 , 克里斯蒂安·戈特沙尔 , 阿尔伯特·纽恩 , 拉斐尔·范·瑞尔 , 戈特弗里德·沃斯盖劳 以下为:
在黑板电子学习环境中设计初级符号逻辑入门课程。 249-255