整个目录 大学 内容 & 导航 当然过滤器 课程 学位类型 项目缩写 项目描述 项目重点 项目要求 项目类型 主题 搜索 搜索帮助 搜索描述
对经典定量逻辑的全面介绍. 本课程发展量化逻辑语言的语法和语义, 评估它与英语的关系, 并介绍了的证明方法, 还有一些元逻辑, 定量的逻辑. 本课程也将介绍经典定量逻辑的一些扩展或替代方法. 提供秋季学期,偶数年. 先决条件: φ103, or 160年独联体, or 162年独联体, or m 110, or m 122, or m 201.
学分:3
如果你需要帮助,请 提交任何问题或意见.
目录一年 2023 - 2024年本科 & 研究生目录 2022 - 2023年本科 & 研究生目录 2021 - 2022年本科 & 研究生目录 2020 - 2021年本科 & 研究生目录 2019 - 2020年本科 & 研究生目录 2018 - 2019年本科 & 研究生目录 2017 - 2018年本科 & 研究生目录 2016 - 2017年本科 & 研究生目录 2015 - 2016年本科 & 研究生目录 2014 - 2015年本科 & 研究生目录 2013 - 2014年本科 & 研究生目录 2012 - 2013年本科 & 研究生目录 2011 - 2012年本科 & 研究生目录 2010 - 2011年本科 & 研究生目录 2009 - 2010年本科 & 研究生目录 2008 - 2009年本科 & 研究生目录 2007 - 2008年本科 & 研究生目录 2006 - 2007年本科 & 研究生目录 2005 - 2006年本科 & 研究生目录 2024 - 2025年本科 & 毕业生目录[正在进行中]