Обновить
0
Ekaterina@M-csheread⁠-⁠only

Пользователь

Отправить сообщение

Гипотеза Пуанкаре простыми словами — простой взгляд на сложную гипотезу

Уровень сложностиПростой
Время на прочтение3 мин
Охват и читатели105K

Представьте себе мир геометрии, но немного странный – мир из пластилина или резины.

Резиновая геометрия (Топология): Представьте, что фигуры можно как угодно мять, растягивать, сжимать, но нельзя рвать или склеивать. В таком мире, например, бублик и кружка с ручкой – это одно и то же! Почему? Потому что из пластилинового бублика можно вылепить кружку, не разрывая его (дырка бублика станет дыркой в ручке). А вот бублик и шар – это разные вещи, потому что чтобы из шара сделать бублик, нужно проделать дырку (то есть "порвать"). Эта "резиновая геометрия" называется топологией. Она изучает самые основные свойства фигур, которые не меняются при таких деформациях.

Читать далее

Ноам Хомский: где искусственный интеллект пошел не туда?

Время на прочтение36 мин
Охват и читатели58K
Комментарий переводчика: Подробное интервью с легендарным лингвистом, вышедшее 6 лет назад, но ничуть не утратившее своей актуальности. Ноам Хомский —  «современный Эйнштейн», как его называют, делится своими соображениями об устройстве человеческого мышления и языка, искусственном интеллекте, состоянии современных наук. На днях ему исполнилось 90 лет, и это кажется достаточным поводом для публикации статьи. Интервью ведет молодой учёный-когнитивист Ярден Кац, он сам прекрасно разбирается в предмете, поэтому беседа очень содержательна, а вопросы столь же интересны, как и ответы.

Читать дальше →

Формальные языки и грамматики

Время на прочтение9 мин
Охват и читатели128K

Мотивация


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

Этот текст задуман как популярное введение в теорию формальных языков и грамматик. Эта теория считается (и, надо сказать, справедливо) довольно сложной и запутанной. На лекциях студенты обычно скучают и экзамены тем более не вызывают энтузиазма. Поэтому и в науке не так много исследователей в этой тематике. Достаточно сказать, что за все время, с зарождения теории формальных грамматик в середине 50-х годов прошлого века и до наших дней, по этому научному направлению было выпущено всего две докторских диссертации. Одна из них была написана в конце 60-х годов Алексеем Владимировичем Гладким, вторая уже на пороге нового тысячелетия — Мати Пентусом.

Далее в наиболее доступной форме описаны два основных понятия теории формальных языков: формальный язык и формальная грамматика. Если тест будет интересен аудитории, то автор дает торжественное обещание разродиться еще парой подобных опусов.
Читать дальше →

Порождающие грамматики Хомского

Время на прочтение12 мин
Охват и читатели133K

Небольшое предисловие


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

Ниже описывается формализм порождающих грамматик Хомского. Методы задания языка с помощью порождающих грамматик сейчас довольно популярны, особенно для машинной обработки компьютерных языков. Но обычно изучение порождающих грамматик в теории трансляторов заканчивается на контекстно-свободных грамматиках. Последние являются довольно узким специальным классом порождающих грамматик Хомского и обычно используются как вид категориальных грамматик (как конкретно это делается, будет показано ниже) для задания синтаксических анализаторов. Последнее обстоятельство только затуманивает понимание подхода Хомского. Дальнейшее изложение предназначено тем, кому интересно понять, в чем состоит этот подход.

Читать дальше →

Про Бурали-Форти, Пуанкаре и то самое определение единицы

Время на прочтение11 мин
Охват и читатели87K
Если вы, уважаемый мой читатель, имеете обыкновение проводить много времени в интернете, вы наверняка уже видели эту картинку с цитатой:

image

Наверняка также вы задавались вопросом: что, чёрт подери, здесь написано? Формула из этой цитаты интересна тем, что у человека, имеющего высшее математическое образование, этот вопрос возникает столь же неумолимо, как и у любознательного семиклассника. У нелюбознательных семиклассников несколько иной круг интересов, выходящий за рамки данной статьи; однако даже они не откажут себе в удовольствии похихикать над «этими чокнутыми ботаниками», или как оно там формулируется на современном молодёжном сленге.

В нижеследующем тексте я раскрою перед вами тайну этого загадочного сочетания символов. Пожалуйте под кат, однако помните поучительную историю о любопытной Варваре, которой на базаре рассказали про парадокс Банаха-Тарского, отчего она сошла с ума, разрезала себе нос на конечное количество частей и склеила из них рогатую сферу Александера.
N.B. Я предупреждал.

Соссюр и революция в лингвистике

Время на прочтение7 мин
Охват и читатели25K

«Гипотетические частицы, которых никто никогда не видел, но с введением которых в расчёты наблюдаемая хаотичная реальность начинает выглядеть строго логичной системой? Да не, ерунда какая-то!» – так решили учёные и на полвека забыли о гипотезе Фердинанда де Соссюра, французского студента-лингвиста. Спустя полвека эти частицы (которым он дал название «ларингалы») были обнаружены в одном из новонайденных древних языков, и теория Соссюра перевернула всю лингвистику. Но он об этом уже не узнал. «Трактат о первоначальной системе гласных в индоевропейских языках» так и остался единственной его книгой, изданной при жизни. А сам он умер неизвестным, непризнанным скромным профессором Женевского университета даже без какого-то значимого числа публикаций. Но давайте по порядку.

Читать далее

Асимптотический анализ алгоритмов

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

Читать дальше →

Информация

В рейтинге
Не участвует
Зарегистрирована
Активность

Специализация

Генеральный директор
Ведущий