*BSD News Article 90279


Return to BSD News archive

Path: euryale.cc.adfa.oz.au!newshost.carno.net.au!harbinger.cc.monash.edu.au!news.rmit.EDU.AU!goanna.cs.rmit.edu.au!news.apana.org.au!cantor.edge.net.au!news.teragen.com.au!news.access.net.au!news.mel.connect.com.au!munnari.OZ.AU!news.ecn.uoknor.edu!feed1.news.erols.com!cpk-news-hub1.bbnplanet.com!news.bbnplanet.com!news.sprintlink.net!news-peer.sprintlink.net!news-pull.sprintlink.net!news.sprintlink.net!news-ana-24.sprintlink.net!news.gate.net!nntp.seflin.lib.fl.us!z007400b
From: z007400b@bcfreenet.seflin.org (Ralph Silverman)
Newsgroups: comp.unix.bsd,sci.philosophy.meta
Subject: What is FOPC?
Date: 4 Mar 1997 16:25:14 GMT
Organization: SEFLIN Free-Net - Broward
Lines: 61
Message-ID: <5fhida$416@nntp.seflin.org>
NNTP-Posting-Host: bc.seflin.org
X-Newsreader: TIN [version 1.2 PL2]
Xref: euryale.cc.adfa.oz.au comp.unix.bsd:16873 sci.philosophy.meta:37599

From nntp.seflin.lib.fl.us!z007400b Tue Mar  4 11:19:51 1997
Path: nntp.seflin.lib.fl.us!z007400b
From: z007400b@bcfreenet.seflin.org (Ralph Silverman)
Newsgroups: comp.ai,comp.ai.philosophy,comp.ai.alife,comp.os.msdos.programmer,comp.lang.asm.x86
Subject: Re: What is FOPC?
Date: 4 Mar 1997 14:25:17 GMT
Organization: SEFLIN Free-Net - Broward
Lines: 39
Message-ID: <5fhbcd$im@nntp.seflin.org>
References: <19970302223900.RAA18705@ladder02.news.aol.com> <1997Mar3.135937.5243@jarvis.cs.toronto.edu>
NNTP-Posting-Host: bc.seflin.org
X-Newsreader: TIN [version 1.2 PL2]
Xref: nntp.seflin.lib.fl.us comp.ai:8780 comp.ai.philosophy:15772 comp.ai.alife:2682 comp.lang.asm.x86:28489

David G. Mitchell (mitchell@cs.toronto.edu) wrote:
: In article <19970302223900.RAA18705@ladder02.news.aol.com>,
: I3uddha <i3uddha@aol.com> wrote:
: >I saw "FOPC" mentioned in a few threads, but do not
: >know what it means.  Can anyone expand, if not explain?

: First Order Predicate Calculus.  Also referred to as classical 
: first-order logic -- the primary subject of all the standard 
: introductions to symbolic/formal/mathematical logic.

: David

--
*************begin r.s. response*********************

	yes ...
	and also such logic calculus
	are
		formal languages 
	which ( in their origins )
	predate
		binary digital electronic computers
	and ( historically ) served as a
	model and a guide to originators of
		programming languages
	( such as )
		algol60
	( and derivatives of algol60 such as )
		simula
		pl/1
		the 'c' programming language
		modula-2
	 etc.
	.

*************end r.s. response***********************
Ralph Silverman
z007400b@bcfreenet.seflin.lib.fl.us




--

Ralph Silverman
z007400b@bcfreenet.seflin.lib.fl.us