帮做R编程作业、SQL实验作业调试、帮做R实验作业、R编程帮做、帮做R编程作业、R作业帮做

Assignment 4The task of assignment 4 is to write a Haskell program to generate proofs or refutations of proof conjectures according to the Wang algorithm.You may work individually or in groups of up to 3 students.Following the Wang algorithm in a straightforward manner will result in a binary decision result, either the proof conjecture is proven or it is disproven.However, a much more useful result is to have a record of the steps of the process, forming either a proof or a refutation of the conjecture. This is the task of this assignment.Symbolic Data Domains: Conjectures, Proofs, RefutationsIn order to implement the Wang algorithm theorem prover, we need new data representations for conjectures, proofs and refutations.A proof conjecture is straightforward. Using the domain PF of propositional formulas, the following data type suffices.data ProofConjecture = Conjecture [PF] [PF]That is, a proof conjecture has two lists of formulas, the first being the hypothesis list and the second being the goal list.Proofs and refutations are records of the steps applied in the Wang algorithm. The key idea is to structure the proof or refutation as a recursive data domain, so that a proof contains its subproofs and similarly a refutation contains subrefutations.It is your task to determine a suitable Haskell representation of proofs and refutations and to implement your Wang algorithm prover using these representations.Proofs and RefutationsA proof of a conjecture of one of three types:A simple proof by Rule 1a having two components:the proof conjecturethe proposition found to be in common between the hypothesis and goal lists.A linear proof by rules 2a, 2b, 3a, 4b or 5b with four components:the proof conjecturethe rulethe hypothesis or goal formula being reducedthe subproof for the reduced proof conjectureA double proof by rules 3b, 4a, 5a, 6a, or 6b with five componentsthe proof conjecturethe rulethe hypothesis or goal formula being reducedthe two subproofs for the reduced proof conjecturesRefutationsA refutation of a conjecture of one of two types:A simple refutation by Rule 1b having one component:the refuted conjecture (only propositions, none in common)A subrefutation consisting of four componentsthe refuted conjecturethe rulethe hypothesis or goal formula being reducedone subrefutationParsing and PrintingYour program should parse a propositional formula from an input file, and generate a printed representation of the proof or refutation to stdout.本团队核心人员组成主要包括BAT一线工程师，精通德英语！我们主要业务范围是代做编程大作业、课程设计等等。我们的方向领域：window编程 数值算法 AI人工智能 金融统计 计量分析 大数据 网络编程 WEB编程 通讯编程 游戏编程多媒体linux 外挂编程 程序API图像处理 嵌入式/单片机 数据库编程 控制台 进程与线程 网络安全 汇编语言 硬件编程 软件设计 工程标准规等。其中代写编程、代写程序、代写留学生程序作业语言或工具包括但不限于以下范围:C/C++/C#代写Java代写IT代写Python代写辅导编程作业Matlab代写Haskell代写Processing代写Linux环境搭建Rust代写Data Structure Assginment 数据结构代写MIPS代写Machine Learning 作业 代写Oracle/SQL/PostgreSQL/Pig 数据库代写/代做/辅导Web开发、网站开发、网站作业ASP.NET网站开发Finance Insurace Statistics统计、回归、迭代Prolog代写Computer Computational method代做因为专业，所以值得信赖。如有需要，请加QQ：99515681 或邮箱：[email protected] 微信：codehelp QQ：99515681 或邮箱：[email protected] 微信：codehelp