r2 - 24 Nov 2001 - 14:41:09 - Peter ThoenyYou are here: TWiki >  XSG Web > WebIndex

Results from XSG web retrieved at 11:42 (Local)

Нужен ли недетерминизм? Конечно нужен! smile Я на этот раз письменно повторю, что недетерминизм (функция имеет сразу множество возможных значений не путать с коарностью ...
From: Yuri Klimov To: xsg #64;botik(точка).ru Sent: Friday, 26 September 2003 21:42 Subject: Re: MGU Gener Добрый вечер! Антон и я продолжаем семиранчики по ...
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: Wednesday, 27 August 2003 18:05 Subject: MGU Gener Добрый вечер! Проблемы и их возможные решения: 1) В конечной ...
Семинар в МГУ 15 ноября 2004г. План Слайды Данные В XSG данные такие же, как в Haskell'е, SML'е, но язык не типизированный, поэтому необходимо задавать только ...
Семинар в МГУ 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 ...
Позитивный XSG Как Вы уже знаете из писем, появилась новая версия XSG позитивный XSG. Основное отличие от "основного" XSG это отсутствие отрицаний. От них временно ...
Формальное описание Данные Предлагаю некоторое обобщение того, что сейчас есть в XSG. Так будет проще, а для утилитарных целей можно будет опять внести ограничения ...
Практикум по XSG Университет города Переславля 26 июня 2008 1.Напишите функцию, которая проверяет, что ей на вход дан палиндром. 2.Напишите функцию greater, ...
Семинар в УГП 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 ...
Приветствуем вас на сайте, посвящённом проекту XSG . Основной целью данного проекта является демонстрация и развитие приёмов теории метавычислений на примере модельного ...
See also the faster WebTopicList
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 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.
Statistics for XSG Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save and uploads ...
See also the verbose WebIndex.
Что такой коарность ? В большинстве языков программирования функции имеют фиксированную, но в принципе произвольную арность то есть могут принимать на вход некоторое ...
Что такое равенство ? Ну и что же такое равенство ? AndreiMishchenko 25 Mar 2004
Что такое справедливость ? В принципе понятие справедливости применимо и к детерминированым языкам, но в случае недетерминизма его определение значительно нагляднее ...
Что такое ленивость ? Следует помнить, что у нас язык справедливый и недетерминированный. Ну и что же такое ленивость в этом случае? YuriKlimov 20 Sep 2004 ...
Что такое недетерминизм ? Недетерминизм языка XSG означает, что функции в нем имеют сразу множество различных вариантов своего означивания, и интерпретатор должен ...
Ну и какой же синтаксис? Итак, сейчас я расскажу некий внешний синтаксис, который мы с Юрой придумали в Голицино. Сразу скажу, что он поддерживает только конструкции ...
Звездочка ( wildcard ) это XSG функция, арности 0, коарности 1, которая возвращает любое XSG значение. Зная все конструкторы в программе, такую функцию можно написать ...
Это XSG Форум. Вот первые темы: Ну и какой же синтаксис? AndreiMishchenko 24 Mar 2004 Нужен ли недетерминизм? AndreiMishchenko 24 Mar 2004 Дайте же мне наконец ...
Y переменные и несуществующие значения. Всем привет. Напоминаю, y переменная это переменная, которая подразумевается стоящей под квантором всеобщности, в отличие ...
Number of topics: 31

See also the faster Web Topic List

Edit | WYSIWYG | Attach | Printable | Raw View | Backlinks: Web, All Webs | History: r2 < 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