Algorithmic Sets
Aus apemap-wiki
				
								
				Version vom 8. November 2014, 09:32 Uhr von Mkurz  (Diskussion | Beiträge)
				
			Definition Algorithmic Set
- We want to define an algorithms set via a Predicate deciding if an element is part of the set.