Main Page

From NewHaven Software Wiki

Revision as of 18:44, 18 February 2009 (view source) Malcolm (Talk | contribs) (→eCMS Help) ← Older edit		Current revision as of 01:53, 25 July 2015 (view source) Russ horton (Talk | contribs) (→Introduction)
(68 intermediate revisions not shown)
Line 1:		Line 1:
-	== [[eCMS Help]] ==	+	<br> <span style="font-size:36px;font-weight:bold;text-align:right;2px; margin: 2px;">NewHaven Software Wiki</span>
-	<span style="color:blue;">Hey</span>	+
-	A formal proof or derivation is a finite sequence of sentences (called well-formed formulas in the case of a formal language) each of which is an axiom or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system. The notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concept of deduction is a generalization of the concept of proof.[1]	+	<br>
-	The theorem is a syntactic consequence of all the well-formed formulas preceding it in the proof. For a well-formed formula to qualify as part of a proof, it must be the result of applying a rule of the deductive apparatus of some formal system to the previous well-formed formulae in the proof sequence.	+	==Introduction==
		+	Thank you for visiting our wiki! We want to help provide answers to some of the common questions regarding our [http://www.newhavensoftware.com/cmspro Commerce Management System (CMS)] and our shopping cart integration [http://www.newhavensoftware.com/ecms shopping cart eCMS]. Besides this wiki CMS also has an web-hosted [http://help.newhavensoftware.com/#t=Introduction%2Findex.htm Help system] that we regularly update. Currently this is a closed wiki so it cannot be edited by anyone other than NewHaven Software, but if you would like to contribute or make any suggestions please let us know.
-	Formal proofs often are constructed with the help of computers in interactive theorem proving. Significantly, these proofs can be checked automatically, also by computer. Checking formal proofs is usually simple, whereas finding proofs (automated theorem proving) is generally computationally hard.	+	==Wiki Overview==
		+	The following links are to help you find the information you are looking for.
-	Test	+	<div style="float: left; margin-right: 1%; width: 49%">
		+	; [[CMS]]: Information related to CMS Use, setup, and troubleshooting.
		+
		+	; [[Newest Articles Added]]: Select this option to see a list of the latest articles.
		+
		+	</div>
		+
		+	<div style="float: left; width: 50%">
		+	; [[PCI Compliance]]: For information on our commitment to security please see our detailed [[PCI Compliance]] article.
		+
		+	; [[ECMS_Help|Web]]: Information related to CMS web integrations, use, setup, and troubleshooting.
		+
		+	<div style="clear: both"></div> <!-- prevent spillage -->

---

Current revision as of 01:53, 25 July 2015

NewHaven Software Wiki

Introduction

Thank you for visiting our wiki! We want to help provide answers to some of the common questions regarding our Commerce Management System (CMS) and our shopping cart integration shopping cart eCMS. Besides this wiki CMS also has an web-hosted Help system that we regularly update. Currently this is a closed wiki so it cannot be edited by anyone other than NewHaven Software, but if you would like to contribute or make any suggestions please let us know.

Wiki Overview

The following links are to help you find the information you are looking for.