r1 - 16 Aug 2001 - 23:58:33 - Peter ThoenyYou are here: TWiki >  XSG Web > WebChanges

50 Recent Changes in TWiki Web retrieved at 18:50 (Local)

Statistics for XSG Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ...
Практикум по XSG Университет города Переславля 26 июня 2008 1.Напишите функцию, которая проверяет, что ей на вход дан палиндром. 2.Напишите функцию greater, ...
Приветствуем вас на сайте, посвящённом проекту XSG . Основной целью данного проекта является демонстрация и развитие приёмов теории метавычислений на примере модельного ...
Семинар в УГП 26 июня 2008г. Слайды Данные, функции, арность/коарность A : 0 B : 0 C : 0 D : 0 CONS : 2 NIL : 0 ab : , List ab, CONS A (CONS B NIL) t2t : 2, 3 t2t ...
This is a subscription service to be automatically notified by e mail when topics change in this XSG web. This is a convenient service, so you do not have to come ...
Формальное описание Данные Предлагаю некоторое обобщение того, что сейчас есть в XSG. Так будет проще, а для утилитарных целей можно будет опять внести ограничения ...
Это XSG Форум. Вот первые темы: Ну и какой же синтаксис? AndreiMishchenko 24 Mar 2004 Нужен ли недетерминизм? AndreiMishchenko 24 Mar 2004 Дайте же мне наконец ...
Y переменные и несуществующие значения. Всем привет. Напоминаю, y переменная это переменная, которая подразумевается стоящей под квантором всеобщности, в отличие ...
Семинар в МГУ 15 ноября 2004г. Слайды Данные, функции, арность/коарность A : 0 B : 0 C : 0 D : 0 CONS : 2 NIL : 0 ab : , List ab, CONS A (CONS B NIL) t2t : 2, 3 ...
Семинар в МГУ 15 ноября 2004г. План Слайды Данные В XSG данные такие же, как в Haskell'е, SML'е, но язык не типизированный, поэтому необходимо задавать только ...
Что такое справедливость ? В принципе понятие справедливости применимо и к детерминированым языкам, но в случае недетерминизма его определение значительно нагляднее ...
Что такое ленивость ? Следует помнить, что у нас язык справедливый и недетерминированный. Ну и что же такое ленивость в этом случае? YuriKlimov 20 Sep 2004 ...
Ну и какой же синтаксис? Итак, сейчас я расскажу некий внешний синтаксис, который мы с Юрой придумали в Голицино. Сразу скажу, что он поддерживает только конструкции ...
Позитивный XSG Как Вы уже знаете из писем, появилась новая версия XSG позитивный XSG. Основное отличие от "основного" XSG это отсутствие отрицаний. От них временно ...
From: Yuri Klimov To: xsg #64;botik(точка).ru Sent: Wednesday, 27 August 2003 18:05 Subject: MGU Gener Добрый вечер! Проблемы и их возможные решения: 1) В конечной ...
From: Yuri Klimov To: xsg #64;botik(точка).ru Sent: Monday, 22 September 2003 17:01 Subject: Re: MGU Gener Добрый день! Антон и я потихоньку начинаем проводить ...
From: Yuri Klimov To: xsg #64;botik(точка).ru Sent: Friday, 26 September 2003 21:42 Subject: Re: MGU Gener Добрый вечер! Антон и я продолжаем семиранчики по ...
Что такой коарность ? В большинстве языков программирования функции имеют фиксированную, но в принципе произвольную арность то есть могут принимать на вход некоторое ...
Звездочка ( wildcard ) это XSG функция, арности 0, коарности 1, которая возвращает любое XSG значение. Зная все конструкторы в программе, такую функцию можно написать ...
Нужен ли недетерминизм? Конечно нужен! smile Я на этот раз письменно повторю, что недетерминизм (функция имеет сразу множество возможных значений не путать с коарностью ...
Что такое недетерминизм ? Недетерминизм языка XSG означает, что функции в нем имеют сразу множество различных вариантов своего означивания, и интерпретатор должен ...
Что такое равенство ? Ну и что же такое равенство ? AndreiMishchenko 25 Mar 2004
XSG Web Preferences The following settings are web preferences of the XSG web. These preferences overwrite the site level preferences in ., and can be overwritten ...
TWiki's XSG web /view/XSG The XSG web of TWiki. TWiki is a Web Based Collaboration Platform for the Corporate World.
See also the faster WebTopicList
See also the verbose WebIndex.
Number of topics: 31

See also: rss-small RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r1 | More topic actions
 
Powered by TWiki

This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback