Set-builder notation - PDFSEARCH.IO - Document Search Engine

Set-builder notation
Results: 6

#	Item
1	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao Add to Reading List Source URL: www.user.tu-berlin.de Language: English - Date: 2016-07-21 07:25:50 Software engineering Computer programming Computing Functional languages Higher-order functions Programming language comparisons Concurrent programming languages Object-oriented programming languages Monad Scala Set-builder notation Haskell
2	Implicit Parallelism through Deep Language Embedding Alexander Alexandrov Lauritz Thamsen Andreas Kunft Odej Kao Add to Reading List Source URL: stratosphere.eu Language: English - Date: 2016-05-27 12:05:58 Software engineering Computer programming Computing Functional languages Higher-order functions Programming language comparisons Concurrent programming languages Object-oriented programming languages Monad Set-builder notation Scala Haskell
3	A Concise Summary of the Event-B mathematical toolkit 1 Each construct will be given in its presentation form, as displayed in the Rodin toolkit, followed by the ASCII form that is used for input to Rodin. Add to Reading List Source URL: wiki.event-b.org Language: English - Date: 2014-01-23 06:18:08 Mathematics Mathematical logic Logic Automated theorem proving Logic programming Set theory Mathematical notation Set-builder notation Substitution Universal quantification FO Associative property
4	Introduction Encoding SC (LIA) into U+LIA Implementation and Future Work Add to Reading List Source URL: www.qatar.cmu.edu Language: English - Date: 2014-07-18 05:28:18 Set-builder notation Formal methods Logic in computer science NP-complete problems Mathematics Mathematical logic Multiset
5	Eager Comprehensions in Scheme The design of SRFI 42 Sebastian Egner Philips Research Laboratories, The Netherlands Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:12 Functional languages List comprehension Scheme Generator NPL Control flow Set-builder notation Lisp Python Software engineering Computing Computer programming
6	PDF Document Add to Reading List Source URL: msenux.redwoods.edu Language: English - Date: 2007-08-01 18:57:56 Order theory Logic Binary operations Set-builder notation Inequality Interval Support Logarithm If and only if Mathematics Set theory Mathematical notation