Гладкий А.В.

Источник: Семиотика и информатика 1998 №35, — 30 с.Толковые словари и грамматики русского языка указывают для союза если два значения: «условное» и «сопоставительное».Для примера приведем основную часть соответствующей словарной статьи: «1 Выражает условие совершения, существования чего-л. 2 Употр. в придаточном предложении, содержащем противопоставление, сопоставление с главным».Оба эти толковани...

Книга представляет собой учебное пособие, в котором начала логики впервые в отечественной учебной литературе излагаются на современном научном уровне и при этом в форме, доступной студентам гуманитарных факультетов высших учебных заведений. Наряду с формальной логикой излагаются элементы логики научного познания. Отдельно рассмотрены особенности рассуждений, используемых в гуманитарных областях зн...

В книге дается характеристика задач и методов математической лингвистики, вводятся ее основные понятия, излагается важнейший и наиболее полно разработанный ее раздел - теория формальных порождающих грамматик Н. Хомского, а также дается краткий обзор других разделов и направлений математической лингвистики. Все вводимые в книге математические понятия разъясняются с привлечением большого числа лингв...

Об авторах: - Колмогоров Андрей Николаевич, академик АН СССР, зав. кафедрой математической логики МГУ, зав. отделением математики механико-математического факультета МГУ, Герой Социалистического Труда, лауреат Ленинской премии. - Шень Александр Ханиевич, аспирант кафедры математической логики МГУ. - Гладкий Алексей Всеволодович, профессор, доктор физико-математических наук, зав. кафедрой...

Книга посвящена теории формальных грамматик и языков, являющейся важнейшей составной частью так называемой математической лингвистики. Эта теория вызвана к жизни потребностями лингвистики, но нашла свою почву в чистой математике и стала полноправной отраслью математической логики, тесно связанной с теорией алгоритмов и теорией автоматов.В книге рассматривается ряд важных проблем теории формальных ...