PS
спасибо) я имел в виду книг по математике, которые используют АПЛ как нотацию
или те книги, что сам Айверсон написал так и делают?
или те книги, что сам Айверсон написал так и делают?
Size: a a a
2020 August 04
AP
Так то даже математики себе нотации изобретают периодически. Но мейнстрим меняется медленно
AP
ТеХ не идеален ни разу, но к нему привыкли уже
AP
вон, пробуют всякое. Но всё равно все будут писать на латехе :)
PS
В принципе, достаточно было бы макросов для TeX которые бы учитывали приоритеты. Но надо, чтобы все пользовались этими макросами :)
AP
Вот как раз в плане приоритетов секспы делают жизнь проще
PS
Да, можно из них генерировать TeX-код. Или еще откуда-то. Но проблема ведь в том, как однозначно трактовать напечатанный результат.
AT
Да, можно из них генерировать TeX-код. Или еще откуда-то. Но проблема ведь в том, как однозначно трактовать напечатанный результат.
Это легко решается нейроинтерфейсами ;)
Загружаем абстрактный синтаксис в мозг и не нужно мучаться с конкретным
Загружаем абстрактный синтаксис в мозг и не нужно мучаться с конкретным
AP
Да, можно из них генерировать TeX-код. Или еще откуда-то. Но проблема ведь в том, как однозначно трактовать напечатанный результат.
Можно ещё редактор формул использовать, некоторым нравится :)
AP
MathCAD даже продуктом на основе редактора формул был
AP
визивиг, вот это всё
AP
Но в универе у нас больше Maple ценили. Потому что код быстрее писать, чем в палитре искать шаблон для заполнения
PS
Это легко решается нейроинтерфейсами ;)
Загружаем абстрактный синтаксис в мозг и не нужно мучаться с конкретным
Загружаем абстрактный синтаксис в мозг и не нужно мучаться с конкретным
PS
Угу. Потому что (возвращаясь к началу обсуждения) приоритеты вот здесь не всем понятны — я сделал опрос :)
AT
Угу. Потому что (возвращаясь к началу обсуждения) приоритеты вот здесь не всем понятны — я сделал опрос :)
Читается не очень свободно, но понятно, что большие клинья захватывают булевы (логические) выражения с равенствами (до конъюнкций)
PS
Читается не очень свободно, но понятно, что большие клинья захватывают булевы (логические) выражения с равенствами (до конъюнкций)
Но ведь \sum и \prod работают не так!
Можно еще усложнить — добавить несколько \bigwedge один за другим :)
Можно еще усложнить — добавить несколько \bigwedge один за другим :)
JS
Да нужно просто всё в SEXP писать — тогда не будет неоднозначностей! Как, собственно, и сделали в SMTLIB. 😃
или просто ставить скобки в сомнительных ситуациях
2020 August 05
L
Приветы! Серию летних встреч продолжит Андрей Иванов и уже завтра 06.08 в 19-00MSK выступит с докладом
"Лыжи в Кложе или базовые понятия комбинаторного SKI исчисления".
В планах: реализация транслятора произвольных замкнутых лямбда-термов в SKI комбинаторный базис и поиграться с его интерпретатором.
Всем ждем! Ссылка на зум появится в канале за 5 минут до.
"Лыжи в Кложе или базовые понятия комбинаторного SKI исчисления".
В планах: реализация транслятора произвольных замкнутых лямбда-термов в SKI комбинаторный базис и поиграться с его интерпретатором.
Всем ждем! Ссылка на зум появится в канале за 5 минут до.