Re: logic & software

Article View: sci.logic

Article #711

#711

From: Joachim
Date: Thu, 27 Jan 2000 00:00

28 lines
1427 bytes

Dear Joachim,

There is indeed already software "out there". I'll give you a references:
1 Logic with Symlog
  Learning Symbolic logic by computer
  F. D. Portoraro and E. Tully
isbn 0-13-327628-7

But it will be better to take a look at my homepage, you'll find a lot of links
to logic tutoring software.
I hope this will help you, because we're expecting a lot from your work..
How about coffee tomorrow??
Alex
http://allserv.rug.ac.be/~wklijn/index.html




Meirvinne Joachim schreef:

> I'm writing a program that will allow students to make excercises in logic,
> focussed on constructing proofs in both propositional and predicate logics.
> Is there already software of that kind out there?
>
> Thanks,
> Joachim
>
> Phil. Dept., Free University of Brussels

Technical Details

Message-ID: <38903910.9059DA8D@rug.ac.be>

Path: arc1-ca.pugleaf.net!unknown!not-for-mail

References: <G2Wj4.1982$CP1.14364@afrodite.telenet-ops.be>

Show Full Headers

Complete Article Headers

X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: fd9bd,913b5097dd379b08
X-Google-Attributes: gidfd9bd,public
X-Google-Thread: 10cc56,913b5097dd379b08
X-Google-Attributes: gid10cc56,public
From: Joachim <joachim.vanmeirvenne@rug.ac.be>
Subject: Re: logic & software
Date: 2000/01/27
Message-ID: <38903910.9059DA8D@rug.ac.be>
X-Deja-AN: 578284179
Content-Transfer-Encoding: 7bit
References: <G2Wj4.1982$CP1.14364@afrodite.telenet-ops.be>
X-Accept-Language: nl
Content-Type: text/plain; charset=us-ascii
Organization: University of Ghent, Belgium
Mime-Version: 1.0
Newsgroups: sci.logic,aus.computers.logic-prog

Reply to Parent Message