《模态逻辑》pdf电子书下载

原创 野人  2021-06-20 09:01  阅读 18 次

《模态逻辑》pdf电子书下载 pdf分享 第1张

内容简介

本书的主要内容包括:命题逻辑概述、基本模态语言、多模态语言、加标转移结构、赋值和可满足、一些对应结果、一般的汇合结果、三种语义后承、形式系统等。

下载声明

本博客所有资源收集于网络,本资料版权归原作者及版权商所有,如果你喜欢,请购买正版!仅限个人试读学习之用,不得用于商业用途,请在下载后24小时内删除!

下载地址

主力下载:https://u062.com/f/31394157-498977688-27c2aa 访问密码:yerenwz

备用下载:暂无

温馨提示:由于不可控因素,链接有时效性,若失效或下载问题,请留言!

本文地址:http://www.yerenwz.com/4154.html
版权声明:本文为原创文章,版权归 野人 所有,欢迎分享本文,转载请保留出处!

发表评论