2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Скучный вопрос про темы про набор формул
Сообщение29.12.2015, 18:25 
Заслуженный участник


27/04/09
28128
Может быть, в какой-то из тем, на которые ссылают закарантиненные посты, не совсем ясно описано, что не нужно повторять доллары перед каждой переменной/функцией? В последнее время как будто чаще такие штуки наблюдаются у новых спрашивающих.

-- Вт дек 29, 2015 20:26:12 --

Очередной пример:
supawesome в сообщении #1086830 писал(а):
Добрый день, задача следующая: "Доказать секвенцию: $\forall$x$\exists$y($\Phi(x)$\&\Psi(y)) \vdash $\exists$y$\forall$x($\Phi(x)$\&\Psi(y))$ , где переменная y не имеет вхождений в формулы $$\Phi(x)$ и $&\Psi(y)$.
<…>

 Профиль  
                  
 
 Re: Скучный вопрос про темы про набор формул
Сообщение29.12.2015, 18:31 
Заслуженный участник
Аватара пользователя


18/01/13
12065
Казань
Лучше всего спросить у самих новичков, что непонятно в справке.

 Профиль  
                  
 
 Re: Скучный вопрос про темы про набор формул
Сообщение29.12.2015, 19:25 
Аватара пользователя


05/01/13

3968
А может, они используют какой-нибудь сайт или программу, чтобы полуавтоматически набирать формулы $\TeX$ при помощи всяких кнопочек/менюшек?.. Значки долларов проставлены с прямо-таки нечеловеческой обстоятельностью — больше похоже на текст, сгенерированный машиной.

 Профиль  
                  
 
 Re: Скучный вопрос про темы про набор формул
Сообщение29.12.2015, 23:20 


20/03/14
12041
Показываю, наугад: $\forall$x$\exists$y$\Phi(x,y)$.
В лучшем случае: $\forall$x$\exists$y$\Phi(x,y)$

Это результат использования $\LaTeX$-Помощника пользователями, не владеющими основами $\LaTeX$а и не изучавшими минимальную справку (эту и эту).

К Помощнику же справок никто не писал, потому просто жмутся кнопки и правятся до результата, который участнику кажется приемлемым.

 Профиль  
                  
 
 Re: Скучный вопрос про темы про набор формул
Сообщение30.12.2015, 04:36 
Заслуженный участник
Аватара пользователя


31/01/14
11473
Hogtown
Lia в сообщении #1086904 писал(а):
Это результат использования $\LaTeX$-Помощника пользователями, не владеющими основами $\LaTeX$а

Это как раз иллюстрация к
Red_Herring в сообщении #1086944 писал(а):
Понимание это ответ не на вопрос "Как?" ("А как оно работает?"), а "Почему?" ("Почему оно работает? Какие идеи лежат в основе?").

 Профиль  
                  
 
 Re: Скучный вопрос про темы про набор формул
Сообщение30.12.2015, 21:02 
Заслуженный участник
Аватара пользователя


20/08/14
8843
Я вот понятия не имею, какие идеи лежат в основе $\LaTeX$'a. Я просто выучил его синтаксис и пользуюсь.

 Профиль  
                  
 
 Re: Скучный вопрос про темы про набор формул
Сообщение30.12.2015, 21:06 
Заслуженный участник
Аватара пользователя


31/01/14
11473
Hogtown
Anton_Peplov в сообщении #1087142 писал(а):
Я просто выучил его синтаксис и пользуюсь.

Всё-таки помимо синтаксиса надо иметь какое-то понимание как он работает. Помогает когда что-то идёт сильно наперекосяк. Но вообще-то говоря выучить синтаксис это прогресс по сравнению с тупым кликаньем

 Профиль  
                  
 
 Re: Скучный вопрос про темы про набор формул
Сообщение30.12.2015, 21:18 
Заслуженный участник
Аватара пользователя


20/08/14
8843
Да чего его там выучивать, он простой как два рубля.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 8 ] 

Модераторы: cepesh, Forum Administration



Кто сейчас на конференции

Сейчас этот форум просматривают: Geen


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group