登录
首页 » 算法 » 对给出的任意一个合式公式(不超过四个命题变元),使学生会用C语言的语句表示出来,并且能够计算它在各组真值指派下所应有的真值。...

对给出的任意一个合式公式(不超过四个命题变元),使学生会用C语言的语句表示出来,并且能够计算它在各组真值指派下所应有的真值。...

于 2022-02-01 发布 文件大小:1.70 kB
0 90
下载积分: 2 下载次数: 1

代码说明:

对给出的任意一个合式公式(不超过四个命题变元),使学生会用C语言的语句表示出来,并且能够计算它在各组真值指派下所应有的真值。-Given any one of the well-formed formula (not more than four propositional variables), so that students will use C language statements that come out, and it is able to calculate the true value assigned to each group should be under the true value.

下载说明:请别用迅雷下载,失败请重下,重下不扣分!

发表评论


0 个回复

  • value iteration I investigated some of the methods were causing libraries
    数值分析 查值 迭代 我把一些方法分别做成了库文件-value iteration I investigated some of the methods were causing libraries
    2022-06-22 05:31:10下载
    积分:1
  • 最尺度的C++程序,计速度较快较精确
    最尺度法的C++算法程序,计算速度较快较精确-The most scales of the C++ algorithm program to calculate a more accurate speed
    2022-06-15 15:26:40下载
    积分:1
  • VRP 蚁群 MATLAB
    根据汽车零部件供应商、汽车生产企业仓库不同的地理位置、汽车零部件供应商不同的供给数量,建立数学模型,提出两阶段法求解VRP问题,第一阶段,运用改进的k-means聚类算法对整个汽车零部件供应商区域进行统一的划分,将区域划分成多个单元子区域;第二阶段对同一区域的汽车零部件供应商点进行线路规划,本文采用蚁群算法进行求解,并对蚁群算法进行改进,实现高效率、低成本、优服务的目标;最后通过matlab编程求解。
    2022-12-26 14:10:03下载
    积分:1
  • 龙格库塔C++程序
    龙格库塔求解微分方程数值解 工程中很多的地方用到龙格库塔求解微分方程的数值解,龙格库塔是很重要的一种方法,尤其是四阶的,精确度相当的高。此代码只是演示求一个微分方程: 的解,要求解其它的微分方程,可以自己定义借口函数,退换程序里面的函数:
    2023-01-01 03:55:04下载
    积分:1
  • vc下的一个仿matlab界面的矩阵运程序,其中单独封装的矩阵类可实现大多数常用矩阵运功能,经常被我单独拿来使用...
    vc下的一个仿matlab界面的矩阵运算程序,其中单独封装的矩阵类可实现大多数常用矩阵运算功能,经常被我单独拿来使用-vc under an imitation of Matlab interface matrix calculation procedures, which separate package matrices can be used to achieve the majority of matrix calculation functions, I was often alone using them
    2022-04-12 20:05:14下载
    积分:1
  • kalman 目标跟踪
    该算法首先利用高斯混合模型的背景差分法,结合空间邻域的相关性信息得到运动目标图像, 然后通过建立帧间关系矩阵将跟踪情况分为5种状态分别进行处理,这5种状态是新目标出现、 目标匹配、目标遮挡、目标分离和目标消失。采用卡尔曼滤波器预测目标参数,建立目标在下一帧中的预测信息。 当运动目标相互遮挡时,在卡尔曼滤波器预测区域内采用交叉搜索法实现多个运动目标的精确匹配。 通过多个视频序列测试,该算法能够获得良好的跟踪结果。
    2022-12-22 06:25:04下载
    积分:1
  • 操作系统中的作业,CPU进程调度。PCB 控制块
    操作系统中的作业,CPU进程调度。PCB 控制块-operations of the operating system, CPU scheduling process. PCB control block
    2023-05-07 20:50:03下载
    积分:1
  • 用全选主元高斯
    用全选主元高斯-约当消去发求解系数矩阵为稀疏矩阵的方程组-Select All PCA with Gaussian- about when fat elimination for solving sparse matrix for the coefficient matrix of equations
    2022-11-25 19:35:03下载
    积分:1
  • 实用的组合导航MATLAB代码
    惯性导航系统输出和GPS的组合导航代码,能够实现位置和速度等参数的输出,输入为惯性测量数据,包括角速度和加速度信息,组合导航方程为运用15个状态的方程,和6个状态的观测方程。
    2022-03-24 19:42:23下载
    积分:1
  • 快速傅立叶变换,非常简洁快速。测试与mablab中快速傅立叶变换效果相当
    快速傅立叶变换,非常简洁快速。测试与mablab中快速傅立叶变换效果相当-Fast Fourier Transform, a very simple style and fast speed. Testing and fast Fourier transform mablab in effect a considerable
    2022-01-24 09:30:48下载
    积分:1
  • 696518资源总数
  • 104530会员总数
  • 46今日下载