- published: 13 Apr 2016
- views: 137
SETL (SET Language) is a very high-level programming language based on the mathematical theory of sets. It was originally developed by Jack Schwartz at the NYU Courant Institute of Mathematical Sciences in the late 1960s.
SETL provides two basic aggregate data types: unordered sets, and sequences (the latter also called tuples). The elements of sets and tuples can be of any arbitrary type, including sets and tuples themselves. Maps are provided as sets of pairs (i.e., tuples of length 2) and can have arbitrary domain and range types. Primitive operations in SETL include set membership, union, intersection, and power set construction, among others.
SETL provides quantified boolean expressions constructed using the universal and existential quantifiers of first-order predicate logic.
SETL provides several iterators to produce a variety of loops over aggregate data structures.
Print all prime numbers from 2 to N:
The notation is similar to list comprehension.
A factorial procedure definition:
Blockchain and beyond; this stimulating talk by Peter Randall, COO of SETL, looks at a practical application of the blockchain in the finance sector. This talk comes from a workshop organised by Dr Richard Adams and Dr Parry funded with a NEMODE, RCUK grant.
Setl Group является одним из крупнейших финансово-промышленных объединений Северо-западного региона России. Основанный в 1994 году как строительная компания «Петербургская Недвижимость», Setl Group начал свою деятельность со строительства жилых домов. За годы работы холдинг вырос и расширил свою деятельность, заняв лидирующие позиции на перспективных рынках региона. Сегодня Setl Group — многопрофильная инвестиционно-промышленная группа, развивающая свою деятельность как в России, так и за рубежом. Холдинг консолидирует ряд компаний и фирм, специализирующихся на девелопменте, услугах генерального подряда, продаже стройматериалов, брокерских операциях на рынке жилой и коммерческой недвижимости, управлении и эксплуатации объектов недвижимости, консалтинге, информационных технологиях, разрабо...
GreenЛандия -- новый жилой квартал, который возводится в 15 минутах ходьбы от станции метро «Девяткино». Помимо жилых домов в квартале "Гринландия" будет построено несколько детских садов и школа. На всей территории будет проведено комплексное благоустройство и озеленение, организованы зоны отдыха, спортивные и детские площадки, вместительные гостевые парковки. Для удобства жителей на первых этажах зданий будут размещены объекты торговли и сервиса. В жилом комплексе GreenЛандия можно приобрести как квартиры с полной чистовой отделкой, так и без неё. Фасады домов имеют яркое нестандартное оформление. Недалеко от жилого комплекса располагается удобный выезд на КАД. Удобное расположение квартала и развитая инфраструктура по принципу «все под рукой» -- все условия для комфортной жизни! П...
http://www.bn.ru/zhilye-kompleksy/greenlandiya/ В северной части Санкт-Петербурга возводится новый жилой квартал комфорт-класса «GreenЛандия», строящийся с учетом всех современных требований к удобству для его будущих жильцов. Новыми домами будет застроена площадь, образующая два жилых квартала, расположенных на территории от Петровского бульвара до Охтинской аллеи. На площади, занимаемой комплексом, планируется строительство 14 высотных корпусов разной этажности. Каждое здание поражает оригинальными фасадными решениями, а также современным дизайном вестибюлей и входных групп, выдержанных в эффектном испанском стиле. Строительство квартала «GreenЛандия» ведет девелоперская компания Setl City, являющаяся одной из ведущих строительных компаний Северо-Запада. Setl City занимается строительст...
ЖК "ЗимаЛето" | Setl City Жилой комплекс «ЗимаЛето» расположится на берегу реки Охты, вдоль проспекта Энергетиков, всего в 5 минутах от станции метро Ладожская. Здесь появятся 5 жилых домов, 5 подземных паркингов, открытые автостоянки, детский сад на 190 мест и школа на 450 мест со спортивным стадионом. Фасады домов будут выполнены в четырёх цветовых гаммах, символизирующих все времена года. Покупателям предоставляется широкий выбор квартир – от студий до четырёхкомнатных. Все они будут передаваться дольщикам с полной чистовой отделкой. Благодаря тому, что Охта опоясывает участок застройки с двух сторон, многие квартиры будут иметь вид на воду. Набережная вдоль реки Охты будет благоустроена и станет полноценной рекреационной зелёной зоной. Примечательно, что порядка 50% участка, где во...
Жилой квартал "Чистое небо" – новый проект комфорт-класса в Приморском районе Петербурга.Квартал счастливых людей расположится по обеим сторонам Комендантского проспекта. Пешеходный бульвар соединит две части квартала. Идеи ландшафтного дизайна, малые архитектурные формы, оригинальное освещение – создадут уютную атмосферу для жизни. Будет построено несколько школ и детских садов. Наша официальная группа в vk.com: https://vk.com/jk_chystoe_nebo
Ход строительства ЖК «Лондон» в Кудрово от Setl City. Снято в апреле 2016 года порталом «НовоХата.Ру». ЖК «Лондон» по ссылке http://novohata.ru/zhk-london Только реальные отзывы, самая достоверная и актуальная информация и честные оценки. Квартиры и планировки в ЖК «Лондон» http://novohata.ru/zhk-london/kvartiry Инфраструктура ЖК «Лондон» http://novohata.ru/zhk-london/infrastruktura Ход строительства ЖК «Лондон» http://novohata.ru/zhk-london/hod Плюсы и минусы ЖК «Лондон» http://novohata.ru/zhk-london/ocenki Новостройки в Кудрово http://novohata.ru/region/kudrovo Setl City http://novohata.ru/setl-city
Hello friends! It's been too long.
You know we miss this, but if you think
we'd like to do it all the time then...
YOU'D BE WRONG!
The great myth of achievement and success...
There's no control.
The golden path to happiness?
I'm not in a band for the fucking stress.
"Decisions to be made!"
Ride it out while we can?
"I don't want to get a job and go work for the man!"
Put my life on hold and get in the van?
The great myth of achievement and success...
There's no control.
The golden path to happiness?
I'm not in a band for the fucking stress.
It's a strange place to be,
A bit of fun opening up opportunities.
If you look at it objectively,
it's only our egos that benefit from taking most of these.
The great myth of achievement and success...
There's no control.
The golden path to happiness?
I'm not in a band for the fucking stress.
The compromises we make,
they get easier each time.
Until we don't know where we are