|
%------------------------------------------------------------------------------
% finite/infinite properties of functions
%
% Author: David Lester, Manchester University
%
% Version 1.0 2/1/05
%------------------------------------------------------------------------------
card_function[D,R:TYPE]: THEORY
BEGIN
f: VAR [D->R]
infinite_bijection: LEMMA
bijective?(f) AND is_infinite(fullset[D]) => is_infinite(fullset[R])
finite_bijection: LEMMA
bijective?(f) AND is_finite(fullset[D]) => is_finite(fullset[R])
infinite_injection: LEMMA
injective?(f) AND is_infinite(fullset[D]) => is_infinite(fullset[R])
finite_injection: LEMMA
injective?(f) AND is_finite(fullset[R]) => is_finite(fullset[D])
infinite_surjection: LEMMA
surjective?(f) AND is_infinite(fullset[R]) => is_infinite(fullset[D])
finite_surjection: LEMMA
surjective?(f) AND is_finite(fullset[D]) => is_finite(fullset[R])
END card_function
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.4Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
