Click HERE to return to our International home page
Концепты Заметки МЕТА Флэнг Онлайн Модули Библио Форум



Главная > Флэнг
 





 



Флэнг - проект

В рамках Флэнг-проекта исследуются возможности приложений логического программирования и других подходов, основанных на логических средствах, к обработке информации в интернете и распределенных информационных сетях. Также исследуются методологические вопросы, связанные с использованием продвинутых логических методов в системах обработки информации. Эксперименты проводятся в рамках функционально-логического языка Флэнг и его интерпретатора, разработанного в среде Java. Флэнг-проект является основой обучения студентов ИМЭ ИГУ логическим методам обработки информации (спецкурс, курсовые и дипломные работы).

Подробнее об языке...
Описание конструкций Флэнга
Описание встроенных функций Флэнга
Версии Флэнга
Онлайн-интерпретатор Флэнга
Форум WEB-программирование и язык Флэнг


Контакты
664003 Иркутск, ул. К. Маркса, 1, Иркутский государственный университет, Центр новых информационных технологий

email

 



Заметки*
Открытая система
Пакетирование
XML
Тексты
Естественнонаучные ресурсы
Ресурсы как модели
Форматы ресурсов
Информационные уровни
Трудности
Учебные объекты
"Опыт человечества"
Коммуникативные системы
О пользе RSS
Проблема интернета
Осмысленный интернет
Идентификация ресуров
Метаданные и будущее
Дублинское ядро
Метаданные и знания
Онтологии
*Набор кратких заметок и высказываний, посвященных различным аспектам информатизации образования. Что называется - "заметок по поводу...".

Онлайн-сервисы**
• Сайт кафедры математического анализа
Форум с поддержкой математических формул.
• Flang-online
• TeX->MathML->GIF.
• MathML->GIF.
• Flang-Meta.
QTI-тестирование с поддержкой математических формул.
• Meta-ZIP
• UDC
• Font-Test
**список эксперементальных сервисов, на которых апробировались реализуемые группой технологии. Сервисы созданы на основе базовых модулей.

Библиотека***
Онтологии и метаописания
Учебные объекты
Языки программирования и логика
eLearning and Knowledge
Digital Libraries and Repositories
Книжки и учебники
***Коллекция публикаций по тематике, собранная из открытых интернет-источников.




.



Copyright ® 2002-2005, TeaCODE.com