2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Разные учебники логики
Сообщение23.03.2016, 20:58 


03/06/12
2868
Здравствуйте! Хочу обсудить вот что. Я как-то спрашивал, по каким книгам изучать теорию множеств, но тогда еще не очень думал о матлогике. Мне здесь посоветовали Слупецкого, Верещагина, Куратовского, Я попробовал первые две книги, не пошло, Куратовский с Мостовским уж больно навороченная книга для изучения с нуля, да и опять-таки матлогику надо ведь когда-то изучить. Короче, искал-искал авторов, наткнулся на Игошина. И, вроде, объясняет доходчиво, и задачник к книге написан, да только приоритет операций у него не определен, он это компенсирует скобками. Я такого построения ни у кого не видел. Скажите, пожалуйста, эта "странность" вообще простительна или нет? Стоит ли дальше углубляться в эту книгу, если она мне более понятна, чем другие или нет с учетом ее необычности? Понятно, что формулы в этом случае более громоздки, но ведь, мне кажется, можно и потерпеть в пользу доходчивости изложения.

 Профиль  
                  
 
 Re: Разные учебники логики
Сообщение23.03.2016, 21:51 
Заслуженный участник


27/04/09
28128
Совершенно не странно и в некотором смысле даже проще для упражнений, потому что при подстановке не надо угадывать, где лишние скобки ставить. Смысла же, разумеется, не меняет.

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


01/03/06
13626
Москва
Несколько устаревшим, но, тем не менее, основательным, считается учебник Мендельсона "Введение в математическую логику". Также хорошие отзывы от специалистов я слышал об учебнике Драгалина и Колмогорова "Математическая логика".

 Профиль  
                  
 
 Re: Разные учебники логики
Сообщение23.03.2016, 22:01 


19/05/10

3940
Россия
Sinoid в сообщении #1108698 писал(а):
...мне кажется, можно и потерпеть в пользу доходчивости изложения.
Если в других источникам непонятно, то ради доходчивости можно пренебречь всем, лишь бы разобраться.

 Профиль  
                  
 
 Re: Разные учебники логики
Сообщение25.03.2016, 12:32 


03/06/12
2868
arseniiv в сообщении #1108707 писал(а):
Совершенно не странно и в некотором смысле даже проще для упражнений, потому что при подстановке не надо угадывать, где лишние скобки ставить.

mihailm в сообщении #1108712 писал(а):
Sinoid в сообщении #1108698

писал(а):
...мне кажется, можно и потерпеть в пользу доходчивости изложения. Если в других источникам непонятно, то ради доходчивости можно пренебречь всем, лишь бы разобраться.

Да я это понимаю, просто тот задачник я только начал решать, а уже опечаток 3-4 нашел, вообще мне тот задачник начинает напоминать по опечаткам книгу Гусака, вот я и подумал, что придется часто спрашивать по задачам, а там еще необычная запись формул, вот вы и порекомендуете взять другой учебник, а поди, подбери его под себя, чтоб понимал именно ты. Да у меня всегда так. Когда начинаю новый раздел изучать, столько книг переберу! Когда в 7-8 классе учился, учительница пыталась мне давать немного стереометрию, я вообще ничего не мог понять, хотя планиметрия от зубов отскакивала, она списала это на отсутствие пространственного воображения, да только когда и в десятый пошел, учитель недели две со мной бился и сам дома извилины заплетал, пока смог перестроится, а потом пошло и пошло. И точно так же и задачи повышенной трудности решал и все решал.
Brukvalub в сообщении #1108709 писал(а):
Несколько устаревшим, но, тем не менее, основательным, считается учебник Мендельсона "Введение в математическую логику". Также хорошие отзывы от специалистов я слышал об учебнике Драгалина и Колмогорова "Математическая логика".

Обязательно воспользуюсь вашими рекомендациями, если утону в Игошине.

(Оффтоп)

как правильно выделять текст при вставке? У меня почему-то не получаются, так сказать, многоэтажные вставки или нужно дописывать [/quote] от руки?

 Профиль  
                  
 
 Re: Разные учебники логики
Сообщение25.03.2016, 13:06 
Заслуженный участник


27/04/09
28128

(Вставка цитат)

Да, для многоэтажных кнопка Изображение не работает правильно — тут остаётся только полностью цитировать и выкидывать потом лишнее. Неудобно, если цитируется несколько постов, угу.

 Профиль  
                  
 
 Re: Разные учебники логики
Сообщение25.03.2016, 13:38 


03/06/12
2868

(Оффтоп)

arseniiv в сообщении #1109024 писал(а):
Да, для многоэтажных кнопка Изображение не работает правильно — тут остаётся только полностью цитировать и выкидывать потом лишнее. Неудобно, если цитируется несколько постов, угу.

А мне кажется, это мы что-то делаем не так. Как-то давно, если не ошибаюсь, Aritaborian, писал, что так получается из-за косорукости пользователей.

 Профиль  
                  
 
 Re: Разные учебники логики
Сообщение25.03.2016, 14:26 
Заслуженный участник
Аватара пользователя


06/10/08
6422

(Оффтоп)

Sinoid в сообщении #1109030 писал(а):
А мне кажется, это мы что-то делаем не так. Как-то давно, если не ошибаюсь, Aritaborian, писал, что так получается из-за косорукости пользователей.
Не, там принципиально не работает, там берется текст, а не структура документа. Я этот кусок правил: topic72547.html?start=45

 Профиль  
                  
 
 Re: Разные учебники логики
Сообщение25.03.2016, 18:58 
Заслуженный участник


27/04/09
28128

(Оффтоп)

Косорукость, вероятно, упоминалась по другому поводу: можно нажать кнопку не от того поста, в котором выделили кусок, и заголовок цитаты будет неправильным, т. к. принадлежность определяется не по выделенным элементам страницы (вроде, это возможно), а по тому, какая из кнопок нажималась.

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

Модераторы: Модераторы Математики, Супермодераторы



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

Сейчас этот форум просматривают: нет зарегистрированных пользователей


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

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