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