Re: closed terms

From: Assaf J. Kfoury (kfoury@cs.bu.edu)
Date: Thu Sep 23 2004 - 14:41:55 EDT


Return-Path: <kfoury@cs.bu.edu>
Received: from cs.bu.edu (cs [128.197.12.2]) by cs3.bu.edu (8.12.11/8.12.11) with ESMTP id i8NIfwLG011013; Thu, 23 Sep 2004 14:41:58 -0400
Received: from cs.bu.edu (kfoury@fiddle [128.197.10.114]) (authenticated bits=0) by cs.bu.edu (8.12.2/8.12.2) with ESMTP id i8NIfwPM007409; Thu, 23 Sep 2004 14:41:58 -0400 (EDT)
Sender: kfoury@cs.bu.edu
Message-ID: <415318F3.9C17DFD1@cs.bu.edu>
Date: Thu, 23 Sep 2004 14:41:55 -0400
From: "Assaf J. Kfoury" <kfoury@cs.bu.edu>
Organization: Boston University
X-Mailer: Mozilla 4.78 [en] (X11; U; SunOS 5.8 sun4u)
X-Accept-Language: en
To: Hany Morcos <hmorcos@cs.bu.edu>, cs520@cs.bu.edu
Subject: Re: closed terms
References: <Pine.SOL.4.20.0409231342580.13319-100000@csa.bu.edu> <41530D6F.6BC0033D@cs.bu.edu> <002601c4a199$261057d0$a00ac580@hmorcos>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
X-Spam-HitLevel: 
X-Spam-DCC: sonic.net: cs3.bu.edu 1156; Body=19 Fuz1=19 Fuz2=19
X-Spam-Checker-Version: SpamAssassin 2.64 (2004-01-11) on cs3.bu.edu
X-Spam-Level: 
X-Spam-Status: No, hits=0.0 required=10.0 tests=none autolearn=ham  version=2.64
X-Spam-Pyzor: Reported 0 times.
Status:   
X-Mozilla-Status: 8011
X-Mozilla-Status2: 00000000
X-UIDL: 411f69ec00000b7a

Look it up in the book index, which refers to page 55,
where it says "a term with no free variables is said
to be closed". OK?

Assaf

Hany Morcos wrote:

> Dr. Kfoury,
>
> I know this may sound a bit stupid, but what do you mean by closed terms in
> the first question of the homework ?
>
> Thanks,
> Hany



This archive was generated by hypermail 2b29 : Fri Nov 19 2004 - 17:00:43 EST