Логика для людей!

Александр Георгиевич Гейн, каф. алгебры и фундаментальной информатики.

Литература:

• Э. Мендельсон - Введение в математическую логику.
• П.С. Новиков - Элементы мат. логики.
• А.П. Замятин - математическая логика
• Ю.М. Важенин - множество, логика, автоматы
• В.Б. Репницкий, А. Я. Овсянников - основы мат логики
• Лекции А. Г. Гейна
• Вопросы к экзамену

• Глава 1. Высказывания
• Глава 2. Логика первого порядка
• Глава 3. Метод резолюций
• Глава 4. Исчисления языка 1-го порядка
• Вопросы к экзамену
• Вопросы, которые нужно задать на консультации

Read me!

Какая проблема возникает из раза в раз во время сессии? Правильно!

"А где же взять нормальный конспект?"

Так давайте сделаем его сами!

Все знают, что с хорошим конспектом шансы сдать на "5" растут в геометрической прогрессии. Но есть ряд проблем:

• У тебя почерк как у курицы;
• Пишешь как черепашка и не успеваешь ничего записывать;
• Любишь поспать и редко ходишь в универ;
• Есть более важные вещи, чем "эта бесполезная лекция";
• Не существует универсального учебника, по которому рассказывается предмет;

Тогда мы идем к вам! Если хотя бы что-то из этого про тебя, то у меня к тебе есть предложение. Давай вести этот конспект вместе! Ну, например, по очереди! Что мы в итоге получим:

1. Нормально оформленный по всем канонам конспект.

2. Легкую подготовку к экзамену и коллоквиуму.

3. Не надо будет думать"где чего почитать чтобы сдать".

4. Не нужно портить тетради и исписывать ручку.

5. Шанс подробнейшим образом разобраться в нескольких темах.

6. Скорость набора на компьютере намного выше, чем скорость письма в тетрадочке. Тем самым, тебе удастся записать даже больше, чем мог бы, используя ручку и бумагу!

7. Если прокачать свой скилл на этом предмете, то можно попробовать замутить что-то подобное по другим предметам.

   

Как это работает

Сам конспект я пишу оффлайн в специальной программе - typora. Это супер-мега крутой и мощный markdown редактор. Он настолько крут, что там можно настраивать оформление страницы (темы), экспортировать в html и pdf, вставлять картинки, рисовать графики и диаграммы, строить автоматически оглавление и.... ПИСАТЬ МАТЕМАТИЧЕСКИЕ ФОРМУЛЫ. Да, там есть Tex. В общем-то, у typora крутая документация на сайте, так что с ней можно ознакомиться.

Собственно, у меня есть репозиторий на github, а этот сайтик висит на GitHub pages. В репозиторий можно делать пул-реквесты. Именно будет организовано взаимодействие. Для тех, кого пугает github, свои записи можно мне скидывать в вк, я их ручками добавлю (но лучше все-таки github).

Преимущества typora перед docs.google

• Единый стиль оформления конспекта.
• Никаких лишних кнопок - ничего не отвлекает.
• Если ты читаешь конспект, то ты, мать его, читаешь, а не редактируешь общий doc.
• Когда будешь готовиться, то просто откроешь страницу или скачаешь pdf и ничто тебя не отвлечет. Да хоть на телефоне! И все формулы будут отображаться корректно (я проверял).
• Скорость закрузки просто космос, проблема зависшего google-дока на экзамене исчезнет.
• Наконец-то ты разберешься с LaTeX и git.

Хочешь присоединиться, но не знаешь, с чего начать?

1. Установи Typora и разберись с базовым синтаксисом markdown и горячими клавишами (их немного).

2. LaTeX наше всё, так что над ним придется посидеть пару часиков, прежде чем начать вести коспект в реальном времени. Вот крутая ссылка-справочник, я ей всегда пользуюсь: https://en.wikibooks.org/wiki/LaTeX/Mathematics.

   Если ты не можешь найти математический символ или записать выражение в LaTeX, то это значит 2 вещи:

   1. Ты плохо ищешь.
   2. Он есть.

3. Для тренировки можешь попробовать записать те темы в Typora, которых пока нет еще в моем конспекте.

Решим проблему подготовки к экзаменам раз и навсегда! Это лишь маленький шаг в большое будущее!