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

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

于 2022-02-01 发布 文件大小:1.70 kB
0 159
下载积分: 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 个回复

  • 分数阶微分方程的欧拉方
    Eular法解分数阶微分方程-eular method of fractional differential equations
    2022-03-21 22:53:32下载
    积分:1
  • 很好用的ftp源码,可以直接运行的。效率也很快。
    很好用的ftp源码,可以直接运行的。效率也很快。-Very good source to use the ftp, can be directly run. Efficiency quickly.
    2022-06-30 03:34:46下载
    积分:1
  • 雅可比迭代
    要解决 AX = B 鉴于初始逼近 X(0)。 输入: 方程和未知数的数目 n;条目 A(I,J),1 < = I J < = n 的矩阵 ;条目 B (一), 1 < = I < = n 的非均匀期限 B ;条目 XO(I),1 < = I < = n 的 X(0) ;容忍 TOL ;最大值 N.迭代的次数 输出: 近似解 X(1),...,X(n) 或一条消息 迭代的次数超过了。
    2022-03-17 20:27:40下载
    积分:1
  • 神经网络的优化
    这是一种新的人工鱼群算法的改进算法,然后利用人工鱼群算法优化神经网络,并且和粒子群算法优化神经网络模型进行了对比,通过对比可知人工鱼群算法优化性能好于粒子群算法
    2022-02-28 16:58:24下载
    积分:1
  • 贪食蛇游戏
    通过键盘控制键来控制贪食蛇的运动方向,然后遇到一个点就继续增加贪食蛇的长度,直到撞到墙壁为止。
    2022-09-18 07:00:03下载
    积分:1
  • nrtil.cpp nrtil.c right angle calculation must
    nrtil.cpp nrtil.c 计算对角所必须-nrtil.cpp nrtil.c right angle calculation must
    2023-02-12 02:30:03下载
    积分:1
  • c++经典数值源码,相信可以节省你的不少时间.rar
    c++经典数值算法源码,相信可以节省你的不少时间.rar-c classical numerical algorithm source code, I believe you can save a lot of time. Rar
    2023-01-31 10:40:03下载
    积分:1
  • 设有n个人围做一圈,现从某个人开始报数,数到m的人出列,接着从出列的下一个人开始重新报数,数到m的人又出列,如此下去,直到所有人都出列为止。运用循环单链表解决约...
    设有n个人围做一圈,现从某个人开始报数,数到m的人出列,接着从出列的下一个人开始重新报数,数到m的人又出列,如此下去,直到所有人都出列为止。运用循环单链表解决约瑟夫环问题。- Is equipped with n personally to encircle makes, presently starts from some person to count off, leaves ranks the number to the m person, meets from the next person which leaves ranks is starting reto count off, leaves ranks the number to the m person, continue like this, all leaves ranks until all people. Using circulates Shan Lianbiao to solve the Joseph link problem.
    2022-02-26 00:46:58下载
    积分:1
  • 敏感词wordbank
    package com.yaozhou.sensitive.wordbank;import java.io.BufferedInputStream;import java.io.BufferedReader;import java.io.File;import java.io.FileInputStream;import java.io.FileNotFoundException;import java.io.IOException;import java.io.InputStream;import java.io.InputStreamReader;import java.util.ArrayList;import java.util.HashMap;import java.util.HashSet;import java.util.LinkedList;import java.util.List;import java.util.Map;import java.util.Properties;import java.util.Set;/** * @author Yao.Zhou* @version 创建时间:2016年12月21日 上午11:08:23 * 类说明 */@SuppressWarnings("unused")public class SensitiveWordBank {private static final String ENCODE = "UTF-8";private File path;private Map wordBankContainer;public SensitiveWordBank(String dir) {
    2022-01-26 05:07:53下载
    积分:1
  • 2011最新群优化——果蝇优化
    潘文超 老师 美国维吉尼亚州管理科技大学管理学博士 目前在台湾担任大学及技术学院教师 目前在国外担任国际 SCI, SSCI 期刊论文评审委员 研究方向 演化式计算与群智能算法 市场调查与营销研究 财务模型
    2022-03-03 00:52:22下载
    积分:1
  • 696518资源总数
  • 106245会员总数
  • 18今日下载