搜索资源列表
lishanshuxue
- 1.这个计算器可用在离散数学的数理逻辑中，纯属工具，随意传播，由java语言实现,解压即可运行，需要按照java环境。可以去这里下载运行环境：http://www.skycn.com/soft/3116.html 2.这个计算器可以计算逻辑表达式的值、对应的真值表、主析取范式、主合取范式。 3.输入表达式时可以在表达式栏中输入，也可用相应的按钮输入，变元只能是PQRST。由于等价连接词无法识别，所以用等号代替，这也是一个无奈的选择。 4.计算前请选择变元个数（默认为3元）并对变元赋值。变元个数最
SATSolver
- SAT solver java scr ipt.
3-SAT
- programa java 3-sat. con geneticos
BarberSleep
- 理发店里有一位理发师，一把理发椅和 N 把供等候理发的顾客坐的椅子 如果没有顾客,则理发师便在理发椅上睡觉。当一个顾客到来时，他必须先唤醒理发师。如果顾客到来时理发师正在理发，则如果有空椅子，可坐下来等；否 则离开。操作系统信号量控制进程同步。-Barbershop, a hairdresser, a barber chair and N customer sat waiting Barber chair if no customers, the barber would sleep in th
javawork
- 显示当月日历 ****年*月 Sun Mon Tue Wed Thu Fri Sat 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28-Display the month calendar