析取

求命题公式的主范式

08:00折扣0.8折扣时间2017年05月5日星期五08:00允许迟交否关闭时间2017年05月18日星期四23:55实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式
寒江雪里独钓着的蓑笠翁·2017-05-05 18:28

我的Linux新体会

1date作用：获取或者设置日期用法：date[选项]显示时间格式（以+开头，后面接格式）2cut作用：从输入文件或者命令的输出中析取出各种域用法：cut–c{字符
痴笑如醉·2017-04-12 11:51

shell 面试题

1.文本分析取出password中shell出现的次数第一种方法结果:4/bin/bash1/bin/sync1/sbin/halt31/sbin/nologin1/sbin/shutdown答案：（1
woshiliwentong·2017-04-07 10:23

精神分析疗法（个人感悟）

精神分析取向心理治疗（西格蒙德•弗洛伊德---奥地利）很多人知道和了解弗洛伊德，但是精神分析的启蒙者，却是另一位大师（弗洛伊德的老师）---弗朗兹•安顿•麦斯麦（又有人翻译成麦斯默）。
夏雨凡星·2017-03-28 23:48

0302读书随想：自卑性格的精神分析取向多种解释

性格与人格类型——第2章，精神分析取向的性格学说“如何变得自信”是一个普遍难题。父母鼓励要走向学校或者社会的孩子：“不要怕，你要自信地去做。”坊间充斥着各式各样“如何变得自信”的方法、课程、工作坊。
寻昕询心·2017-03-12 21:33

0302读书随想：自卑性格的精神分析取向多种解释

性格与人格类型——第2章，精神分析取向的性格学说“如何变得自信”是一个普遍难题。父母鼓励要走向学校或者社会的孩子：“不要怕，你要自信地去做。”坊间充斥着各式各样“如何变得自信”的方法、课程、工作坊。
寻昕询心·2017-03-12 21:33

出现Oracle 文件大小变为0的情况如何恢复数据？

二、故障分析取出数据库的控制文件，对控制文件进行分析。控制文件中记录的数据文件的数量为2343个。重组存储位图信息，重新导出这些文件，发现这些文件的大小依然为0kb。
宋国建·2017-03-03 14:01

7.PHP正则表达式

PHP中，正则表达式的三个作用：匹配，也常常用于从字符串中析取信息。用新文本代替匹配文本。将一个字符
dptms·2017-02-14 20:51

算法概论习题8.8——证明精确的4SAT是NP-完全问题

题目：在精确的4SAT（EXACT4SAT）问题中，输入为一组字句，每个字句都是恰好4个文字的析取，且每个变量最多在每个字句中出现一次。目标是求它的满足赋值——如果该赋值存在。
duchy_8019·2017-01-11 23:57

证明吝啬SAT问题为NP完全问题。

吝啬SAT问题是这样描述的：给定一组子句（每个子句都是其中文字的析取）和整数k，求一个最多有k个变量为true的满足赋值——如果该赋值存在。而我们的目的就是证明吝啬SAT问题为NP完全问题。
isNoel·2016-12-18 20:51

C++ 标准文件的写入读出(ifstream,ofstream)

.”>”析取器，向流输出数据；我们主要讨论ifstream和ofstreamifstream和ofsteam包含在头文件fstream中。
禾刀白水·2016-12-09 17:45

证明精确的4SAT是NP_完全问题

题目描述：在精确的4SAT（EXACT4SAT）问题中，输入为一组子句，每个子句都是恰好4个文字的析取，且每个变量最多在每个子句中出现一次。目标是求它的满足赋值——如果该赋值存在。
LawFile·2016-12-07 23:36

算法概论 - 8.8

Problem在精确的4SAT(EXACT4SAT)问题中，输入为一组子句，每个子句都是恰好4个文字的析取，且每个变量最多在每个子句中出现一次。目标是求它的满足赋值————如果该赋值存在。
Arcome·2016-11-29 23:08

证明精确4SAT问题为NP完全问题

输入为一组子句，每个子句都是析取式，恰好有4个变量，并且每个变量在每个子句中最多出现一次。现在要证明精确4SAT问题是NP完全问题。
Alliyou·2016-11-20 17:35

让你站在食物链顶端的，不是智商

【一】完全析取推理杰克正看着安妮，而安妮正看着乔治。杰克已
夏达人·2016-11-14 21:22

C++实现求主析取范式、主合取范式

离散数学第一次上机实验，突击学完什么是主析取范式和主合取范式之后粗略地想了下实现的思路。第一步自然是把输入的式子转换成后缀表达式。
MangoNova·2016-11-01 22:04

C++实现求主析取范式、主合取范式

离散数学第一次上机实验，突击学完什么是主析取范式和主合取范式之后粗略地想了下实现的思路。第一步自然是把输入的式子转换成后缀表达式。
MangoNova·2016-11-01 22:04

利用真值表法求主合取范式及主析取范式的实现

利用真值表法求主析取范式及主析取范式的实现(C++)功能:用户可输入合式公式（包含！
liushaozhuanyong·2016-09-29 18:45

Notes----20160706

2-sat问题是sat问题的基础上加上一个限制条件：逻辑电路函数一定可以化为每个析取
AndyTeen·2016-07-06 20:21

黄聪：PHP解决textarea内容换行存入数据库，如何解析取出不能自动换行

解决办法：  
黄聪·2016-05-12 09:00

强大的异或运算

Wikipedia的解释：在逻辑学中，逻辑算符异或（exclusiveor）是对两个运算元的一种逻辑析取类型，符号为XOR或EOR或⊕（编程语言中常用^）。
su20145104009·2016-05-02 08:00

强大的异或运算-深度好文

Wikipedia的解释：在逻辑学中，逻辑算符异或（exclusiveor）是对两个运算元的一种逻辑析取类型，符号为XOR或EOR或⊕（编程语言中常用^）。
justdoithai·2016-05-01 12:00

感受异或的神奇

Wikipedia的解释：在逻辑学中，逻辑算符异或（exclusiveor）是对两个运算元的一种逻辑析取类型，符号为XOR或EOR或⊕（编程语言中常用^）。
囚兔·2016-04-29 13:00

离散数学 求命题公式的主范式

实现功能：输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。
达达Mr_X·2016-04-27 23:32

离散数学 Resolution 消解算法

相当于书面符号中的“¬”&与，相当于书面符号中的“∧”|或，相当于书面符号中的“∨”(前括号)后括号#include#include#defineN1010ints[N][30];//每行存储一个简单析取式
达达Mr_X·2016-04-13 21:16

决策树

决策树是应用最广的归纳推理算法之一，它是一种逼近离散函数方法，对噪声数据有很好的鲁棒性，能够学习析取表达式，广为应用的算法有ID3，ASSISTANT和C4.5。
LXYTSOS·2016-04-09 21:48

决策树

决策树是应用最广的归纳推理算法之一，它是一种逼近离散函数方法，对噪声数据有很好的鲁棒性，能够学习析取表达式，广为应用的算法有ID3，ASSISTANT和C4.5。
LXYTSOS·2016-04-09 21:00

决策树

决策树是应用最广的归纳推理算法之一，它是一种逼近离散函数方法，对噪声数据有很好的鲁棒性，能够学习析取表达式，广为应用的算法有ID3，ASSISTANT和C4.5。
LXYTSOS·2016-04-09 21:00

离散数学之主析取范式，主合取范式

离散数学上机实验，给定一个命题公式，求其主析取范式，主合取范式，能力有限，参考了我学长的一篇博客，并进行了许多优化。 
u011613367·2016-04-07 21:00

大话设计模式之策略模式

继承有助于析取这些算法中的公共功能   2.简化了单元测试，因为每个算
徒步天涯·2016-03-01 18:00

大话设计模式之策略模式

继承有助于析取这些算法中的公共功能   2.简化了单元测试，因为每个算
徒步天涯·2016-03-01 18:00

机器学习 - 决策树

用逼近离散值函数的方法，对有噪声的数据处理，健壮性好，并且能够学习析取表达式。决策树的学习算法很多，包括ID3,ASSISTANT,C4.5这些。学习到的决策树可以表示为多个if-then的规则。
Alps1992·2016-02-25 13:52

机器学习 - 决策树

用逼近离散值函数的方法，对有噪声的数据处理，健壮性好，并且能够学习析取表达式。决策树的学习算法很多，包括ID3,ASSISTANT,C4.5这些。学习到的决策树可以表示为多个if-then的规则。
u010850027·2016-02-25 13:00

异或的学习总结

Wikipedia的解释：在逻辑学中，逻辑算符异或（exclusiveor）是对两个运算元的一种逻辑析取类型，符号为XOR或EOR或⊕（编程语言中常用^）。
未知用户名·2016-02-16 15:00

离散数学--2.4 命题逻辑推理理论

7、拒取式：-> 非B-->非A8、假言三段推理：---> -->9、析取三段论：并，有一个是非， 那另一个是原样。       
布袋滚滚·2016-02-12 15:00

离散数学--第一讲

否定联结词¬合取联结词析取联结词V蕴涵联结词->等价联结词德摩根律命题变项:取值为0或1的变元,也用p,q,r等表示.重言式(永真式)矛盾式(永假式)可满足式:不是矛盾式的命题公式 基本等值式 重要推理规则
布袋滚滚·2016-02-10 12:00

Linux shell command学习笔记（二）

作用：从输入文件或者命令的输出中析取出各种域用法：cut–c{字符串范围}–d{字段间分割符}–f{字段索引编号}举例：(1)查看在线用户：who|cut–c1-8(2)从系统文件/etc/passwd
CHEN0958·2016-02-01 17:00

设计模式之策略模式

继承有助于析取出这些算法中的公共功能。策略模式的优点是简化了单元测试，因为每个算法都有自己的类，可以通过自己的接口单独测试。策略
zhangyongfeiyong·2016-01-23 17:00

cut命令详解

[FILE]...功能简述cut是一个选区命令就是将一段数据进行分析取出我们想要的。一般来说选区信息通常是针对“行”来进行的。
DevilRex119·2016-01-14 12:42

cut命令详解

[FILE]...功能简述cut是一个选区命令就是将一段数据进行分析取出我们想要的。一般来说选区信息通常是针对“行”来进行的。
DevilRex119·2016-01-14 12:42

cut命令详解

[FILE]...功能简述cut是一个选区命令就是将一段数据进行分析取出我们想要的。一般来说选区信息通常是针对“行”来进行的。
DevilRex119·2016-01-14 12:42

C++文件操作

是从硬盘到内存，其实所谓的流缓冲就是内存空间;在C++中，有一个stream这个类，所有的I/O都以这个“流”类为基础的，包括我们要认识的文件I/O，stream这个类有两个重要的运算符：1、插入器(2、析取器
Ammon_Zhang·2015-12-01 13:00

bcb 从TColor对象中解析出红、绿、蓝的亮度

这里有一个以析取红绿蓝来改变窗口背景色的例子。
·2015-11-13 14:06

人工智能——归结演绎推理

子句 1) 文字：原子谓词及其否定 定义1:任何文字的析取式称为子句 定义2：不包含任何文字的子句称为空子句，子句是永假的   2) 由子句构成的集合称为子句集，谓词公式成子句集的步骤
·2015-11-13 03:06

人工智能——语义网络表示法

知识的语义网络表示 1) 用语义网络表示事实 图1用语义网络表示事实示例   图2合取、析取关系语义网络示例 &
·2015-11-13 03:59

C++ ofstream和ifstream详细用法

2、析取器(>>) 　　从流中输入数据。比如
·2015-11-13 03:56

coq 的一点体会

首先隆重介绍命题逻辑的5种基本连接词： ~ 非 /\ 合取 \/ 析取 -> 蕴含 <-> 等价 每种连接都有两种基本规则： introduction
·2015-11-13 02:10

POJ 3295 Tautology(构造法）

题目链接 在POJ训练计划中构造法的一个题，题目还是挺有意思的，就是离散中真值表给构造出来，马上要考离散了，就当复习一下析取和合取。。。
·2015-11-11 10:49

经典机器学习算法总结

3.决策树是一种监督学习方法，用于分类问题 应用场景：1.实例是属性-值对表示的；2.可能需要析取描述；3.训练数据可以包含错误值；4.训练数据可以包含缺失值；5.目标函数具有离散的输出值 问题举例
·2015-11-11 04:36

策略模式

 继承有助于析取出这些算法中的公共功能。2) 提供了可以替换继承关系的办法： 继承提供了另一种支持多种算
·2015-11-11 04:29
上一页 5 6 7 8 9 10 11 12 下一页
按字母分类： ABCDEFGHIJKLMNOPQRSTUVWXYZ其他