Отправляет email-рассылки с помощью сервиса Sendsay

Автор

Система компьютерной алгебры GAP: TACL 2009

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

TOPOLOGY, ALGEBRA AND CATEGORIES IN LOGIC (TACL 2009) 7-11 July 2009 Institute for Logic, Language and Computation University of Amsterdam the Netherlands http://www.illc.uva.nl/tacl09/ Scope - Studying logics via semantics is a well-established and very active branch of mathematical logic, with many applications, in computer science and elsewhere. The area is characterized by results, tools and techniques stemming from various fields, including universal algebra, topology, category theory, order, and mode...

2008-12-18 20:35:10 + Комментировать Автор:

Система компьютерной алгебры GAP: NOVI SAD ALGEBRAIC CONFERENCE

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

University of Novi Sad Faculty of Science Department of Mathematics and Informatics Novi Sad, Serbia FIRST ANNOUNCEMENT 'NOVI SAD ALGEBRAIC CONFERENCE' (NSAC 2009) Novi Sad, August 17-21, 2009 Topic areas: -universal (general) algebra -semigroups, groups and (semi)group-related structures -lattices and other ordered structures -algebraic methods in computer science -clones and many-valued logics The aim of this conference is to review and promote the most recent research trends in the above areas. Its scie...

2008-12-17 19:05:08 + Комментировать Автор:

Аускультация, колье, тригонометрия

Знаете слово?

Иногда наше понимание термина, устаревшего или иностранного слова ограничивается только тем, к какой области оно принадлежит. В каждом выпуске рассылки мы предлагаем любителям языка краткое объяснение и этимологию трёх таких слов.

подписчиков: 5209
Подписаться

Выпуск 562 Здравствуйте, дорогие друзья! Аускульт а ция - метод исследования внутренних органов (лёгких, сердца) выслушиванием (обычно с помощью стето- или фонендоскопа) звуковых явлений, возникающих при работе этих органов. [Лат. auscultatio - слушание, выслушивание, от auscultare - вслушиваться, внимательно слушать, выслушивать] Стетоск о п - (устар) приспособление в виде деревянной трубки с расширенными концами, применявшееся для аускультации органов грудной полости (сердца, лёгких. [Греч. stethos - гру...

2008-12-17 03:05:30 + Комментировать Автор:

Дар слова. Еженедельный лексикон Михаила Эпштейна.

Дар слова. Еженедельный лексикон Михаила Эпштейна.

В рассылке публикуются новые слова русского языка, представляющие интерес с точки зрения лингвистики, поэтики, философии: их значения, производные, примеры использования и пр. Ни одного из предлагaемых слов нет ни в одном из существующих словарей.

подписчиков: 4170
Подписаться

ДАР СЛОВА 297 Проективный лексикон русского языка. 15 декабря 2008 Конкурсный выпуск. Слово года-2008 (5) Итак, все 12 членов жюри проголосовали, подсчеты проведены. Итоги в кратчайшем виде: Слово-2008: КРИЗИС Жаргонизм и неологизм-2008: ПАЗИТИФФ Выражение-2008: КОШМАРИТЬ БИЗНЕС Антиязык: ПРИНУЖДЕНИЕ К МИРУ Предслово-2009: НОВЫЕ БЕДНЫЕ Более подробно я охарактеризую эти итоги в следующем выпуске. Слова, вышедшие на вторые и третьи места, тоже заслуживают всяческого внимания, и только в системе и взаимосвяз...

2008-12-15 08:49:23 + Комментировать Автор:

Система компьютерной алгебры GAP: Мальцевские чтения 2009

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Мальцевские чтения 2009 Международная конференция по алгебре, математической логике и приложениям, посвященная 100-летию со дня рождения А.И. Мальцева (1909-1967, пройдет в Новосибирске (Россия) с 24 по 28 августа 2009 года. Организаторы конференции - Институт математики им. С.Л. Соболева СО РАН и Новосибирский государственный университет. К участию приглашаются специалисты по теории групп, теории колец, универсальной алгебре, математической логике, теории вычислимости, математическим методам в программиро...

2008-12-11 02:45:46 + Комментировать Автор:

Барбекю, ипотека, сельва

Знаете слово?

Иногда наше понимание термина, устаревшего или иностранного слова ограничивается только тем, к какой области оно принадлежит. В каждом выпуске рассылки мы предлагаем любителям языка краткое объяснение и этимологию трёх таких слов.

подписчиков: 5209
Подписаться

Выпуск 561 Здравствуйте, дорогие друзья! Барбек ю - 1) мясо, зажаренное под открытым небом на расположенной над углями решётке; 2) гриль для приготовления такого жаркого в домашних условиях; 3) пикник, на котором приготовляют такое жаркое; 4) пряный острый соус для такого жаркого. [Англ. barbecue - барбекю < исп. barbacoa - решётка для поджаривания мяса. Слово заимствовано из языка индейцев племени тайно (группа араваков, жителей Карибских островов и Южной Америки, является сокращением слов "bа" (от bab...

2008-12-10 03:06:13 + Комментировать Автор:

Система компьютерной алгебры GAP: GAP package dependencies

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Добрый день! Обновлена диаграмма, демонстрирующая зависимости между пакетами: http://www.cs.st-andrews.ac.uk/~alexk/gap/GAP_Packages.html * сплошная линия от А к В: пакет В необходим для загрузки пакета А * пунктирная линия от А к В: загрузка пакета А также приведет (при наличии) к загрузке пакета В * зеленый цвет: пакет загружается (при его наличии) автоматически вместе с GAP * серый цвет: пакет не входит в страндартный архив пакетов * пакеты, которые не требуют или не предлагают другие пакеты, на диаграм...

2008-12-10 02:25:09 + Комментировать Автор:

Система компьютерной алгебры GAP: Special Issue of Mathematics in Computer Science

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Second Call for Papers Mathematics in Computer Science Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge http://www.dfki.de/~serge/admmk09 Guest editors: Serge Autexier, Petr Sojka, Masakazu Suzuki This special issue is devoted to the topics of the seventh International Conference on Mathematical Knowledge Management (MKM'08) and the workshop on Digital Mathematics Libraries (DML'08) which took place in July 2008 in Birmingham, UK. Topics of interest include * Representati...

2008-12-09 04:05:41 + Комментировать Автор:

Система компьютерной алгебры GAP: Special Session on Computational Algebra, BMC/IMS Meeting

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Dear Colleagues, A joint meeting of the British Mathematical Colloquium and the Irish Mathematical Society will take place at NUI Galway from 6-9 April, 2009. As part of the program, we will run a special session on Computational Algebra, featuring the following presentations: * Arjeh Cohen (Eindhoven University: Constructions of curves with given groups of automorphisms * Bettina Eick (Braunschweig: Isomorphism testing for algebras (Lie or associative) * Dane Flannery (NUI Galway: On deciding finiteness o...

2008-12-08 20:18:44 + Комментировать Автор:

Система компьютерной алгебры GAP: Special Session on Computational Algebra, BMC/IMS Meeting

Система компьютерной алгебры GAP

Рассылка Украинской группы пользователей системы GAP: новости о свободно распространяемой, открытой и расширяемой системe компьютерной алгебры GAP и объявления о конференциях, связанных с вычислительной алгеброй.

подписчиков: 783
Подписаться

Dear Colleagues, A joint meeting of the British Mathematical Colloquium and the Irish Mathematical Society will take place at NUI Galway from 6-9 April, 2009. As part of the program, we will run a special session on Computational Algebra, featuring the following presentations: * Arjeh Cohen (Eindhoven University: Constructions of curves with given groups of automorphisms * Bettina Eick (Braunschweig: Isomorphism testing for algebras (Lie or associative) * Dane Flannery (NUI Galway: On deciding finiteness o...

2008-12-08 19:41:04 + Комментировать Автор: