[infostudents] Re: KI Blatt 5

  • From: Denis Stier <kingstonclub@xxxxxxxxx>
  • To: infostudents@xxxxxxxxxxxxx
  • Date: Thu, 5 Jun 2008 17:49:44 +0200

Moin Ivo , 
vllt. steh ich grade aufm Schlauch, aber 

<quote vom skript 7/28>
Nevertheless: In the worst case, this derivation
process requires an exponential amount of time (this
is, however, probably unavoidable).
</quote>
oder missversteh ich das oder dich?

Grüße.
Denis.

On Thursday 05 June 2008 14:50:17 ox4655 wrote:
> Hallo Jonas.
>
> Auf Folie 7.23 haben wir das Contradiction theorem.  Forme die Formel K
> .... danach um und verwende dann die Resolution.
>
> mfg Ivo
> ---
> Sent through the Infostudents Mailinglist
>
> List Archive:
> http://www.freelists.org/archives/infostudents/
>
> Subscribe / Unsubscribe:
> http://www.freelists.org/list/infostudents


Other related posts: