自己写的java版本的 人狼羊草问题 关于图的dfs搜索算法

SPIN和SMV工具的对比学习 ——基于农夫过河问题-附件资源

设计题目：农夫果园 一个农场，专门种植销售各类水果，在这个系统中需要描述下列水果： 葡萄：Grape 草莓：Strawberry 苹果：Apple 水果与其他的植物有很大的不同，水果最终是可以采摘食用的。那么一个自然的做法就是建立一个各种水果都适用的接口，以便与农场里的其他植物区分开。水果接口规定出所有的水果都必须实现的接口，包括任何水果必须具备的方法：种植plant（），生长grow（），收获harvest（）。 Apple类是水果中的一种，因此它实现了水果接口所声明的所有方法。另外，由于苹果是多年生植物，因此多出一个treeAge性质，描述苹果树的树龄。 Grape类是水果类的一种，也实现Fruit接口中所声明的所有方法。但由于葡萄分为有籽和无籽的两种，因此比通常的水果多出一个seedless性质。 Strawberry类也是水果的一种，也实现了Fruit接口。 农场的园丁也是系统的一部分，自然要由一个合适的类来代表。这个类就是FruitGardener，它会根据农场老板的要求，使用factory（）方法创建出不同的水果对象，比如苹果（Apple），葡萄（Grape）或草莓（Strawberry）的实例。而如果接到不合法的要求，会提示错误。 农场的市场调查员也是系统的一部分，也需要一个类代表，这个类是MarketInquirer，它通过inquire（）调查今年市场上哪一种水果热销。 农场的老板也是系统的一部分，仍需要一个类来代表，这个类是FruitBoss，他会根据市场调查员的反馈信息，通知农场的园丁今年种植哪种水果。 要求：请你根据上述系统需求，用Java语言设计这个农场系统，发挥你的想象力吧！

四川省泸州市蓝田中学九年级语文上册《农夫和蛇》教学案新人教版

一个农夫带着一匹狼、一只羊、一颗白菜要过河，只有一条船而且农夫每次最多只能带一个动物或物品过河，并且当农夫不在的时候狼会吃羊，羊会吃白菜，列出所有安全将所有动物和物品带过河的方案。 包含prolog代码以及实验报告

一个农夫带着一只狼，一只羊和一筐菜，欲从河的左岸坐船到右岸，由于船太小，农夫每次只能带一样东西过河，并且没有农夫看管的话，狼会吃掉羊，羊会吃菜。设计一个方案，使农夫可以无损失的过河

包含prolog求解农夫过河问题的实验报告、源代码及试验运行截图

农夫过河问题在数据结构中有很高的地位，几乎每一本数据结构书都会涉及这个问题

主要介绍了Java简单实现农夫过河问题,简单描述了农夫过河问题的概念、原理并结合简单实例形式分析了java解决农夫过河问题的相关操作技巧,需要的朋友可以参考下

《狂人C:程序员入门必备》以独特的方式全面地讲述了C语言（C89和C99）的基本概念和编程知识。面向初学者，对基本概念详尽透彻的剖析，强调良好的编程习惯和风格，结合软件工程、软件测试的基本理念介绍编程知识，是《狂人C:程序员入门必备》的主要特色。 全书分为3个部分：理解程序设计，结构化程序设计与数据的组织和C语言的高级话题。体现了从零基础到C编程高手层次递进的特点。 全书贯穿大量生动实例，讲述从问题的提出、问题的分析、代码的编写到程序测试的全部过程，并对C语言学习者和使用者中常见但容易忽视的问题进行了剖析。 《狂人C:程序员入门必备》适合C语言初学者参考和使用，也适合高等院校计算机专业选为教材使用。 封面 -23 封底 -22 书名 -21 版权 -20 前言 -19 目录 -15 第1篇 理解程序设计 1 第1章 基础知识 2 1.1 什么是编程 3 1.2 怎样用C语言编程 7 1.3 printf()函数初步 13 1.4 C语言的“字母”和“单词” 14 第2章 数据类型 23 2.1 什么是数据类型 24 2.2 让程序记住计算结果——变量 31 2.3 int类型——总结与补充 35 2.4 对数据类型的进一步讨论 39 2.5 莫名其妙的“整型” 45 2.6 浮点类型 51 2.7 数据类型与算法 57 2.8 算法的特性 61 第3章 运算符、表达式及语句 66 3.1 C的“动词”及“动词”的“宾语” 67 3.2 表达式——C语言的“词组” 67 3.3 谁是谁的谁 71 3.4 右值的类型转换 74 3.5 语句的概念 81 3.6 例题 84 3.7 算法和数据结构初窥 88 3.8 在程序运行时提供数据 90 第4章 选择语句 95 4.1 关系运算 96 4.2 if语句 97 4.3 判等运算 104 4.4 表达复杂的条件 106 4.5 if-else语句 107 4.6 鸡肋——_Bool类型(C99) 109 4.7 判断三角形种类 111 4.8 显得很有学问的运算符 117 4.9 大师如是说goto 118 4.10 给程序更多选项——switch语句 119 4.11 程序开发的过程 124 第5章 从循环到穷举 130 5.1 造句：当……就…… 131 5.2 do-while语句 138 5.3 for语句 140 5.4 不规则的循环及对循环的修整 150 5.5 循环的嵌套与穷举法 151 第2篇 结构化程序设计与简单的数据结构 161 第6章 最复杂的运算符——“()” 162 6.1 什么是函数 163 6.2 步骤1：函数的声明 163 6.3 步骤2：函数的定义 165 6.4 步骤3：函数的调用 167 6.5 程序的执行过程 168 6.6 例题——为什么使用函数 170 6.7 使用函数小结 171 6.8 函数与结构化程序设计 174 6.9 变量的作用域 181 6.10 递归 182 6.11 对局部变量的进一步修饰 190 6.12 使用库函数 193 6.13 inline关键字(C99) 195 第7章 作为类型说明符和运算符的“[]” 199 7.1 使用数组 200 7.2 深入理解数组 202 7.3 熟练应用一维数组 205 7.4 数组名做实参 209 7.5 多维数组 216 第8章 结构体、共用体与位运算 228 8.1 结构体 229 8.2 C语言中复数类型的历史和现状 237 8.3 共用体union 240 8.4 位运算 242 8.5 “小的变量”——位段 251 第9章 指针 258 9.1 指针是什么 259 9.2 指向数据对象的指针 260 9.3 指针的应用与误用 266 9.4 指针与一维数组 270 9.5 指针的应用(二) 279 9.6 高维数组名 281 9.7 变量长度数组——VLA(C99) 287 9.8 数组类型的字面量(C99) 291 9.9 指针与结构体 292 9.10 指针与函数 294 9.11 指向虚无的指针 298 9.12 参数不确定的函数 299 第10章 字符串、字符数组及指向字符的指针 306 10.1 字符串文字量 307 10.2 字符串的输入与存储 309 10.3 例题 310 10.4 形参说明符“[]”里的修饰符(C99) 316 10.5 常用的字符串函数 317 10.6 main()的参数 320 10.7 体现代码优美的数据类型——枚举类型 323 第3篇 复杂的数据结构、算法及其他话题 32