Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2017-07-04 11:01:00
Previous Entry  Add to memories!  Tell a Friend!  Next Entry
верхний пост - 2014
Архив верхнего поста.

Архивы:
[ 2013 | 2012 | 2011 | 2007-2010 | 2006 ]

(Читать комментарии) - (Добавить комментарий)


[info]benderofashist
2016-12-10 18:40 (ссылка)
Здравствуйте, Миша!!!
Скажите.
Что читать по этой теме из вашего куррикулума 2015????
>Б. Простейшие аксиоматические структуры. Кванторы.
>Исчисление высказываний.

Я материал знаю но появилась необходимость узнать получше
Например, про вычисление высказываний даже не слышал

П.С.Кстати, спасибо за программу, она охуенна! сам стараюсь её придерживаться теперь, как узнал о ней! вы крут!

(Ответить) (Ветвь дискуссии)


[info]tiphareth
2016-12-10 19:10 (ссылка)
какую-нибудь книжку Шеня по логике
например
Н. К. Верещагин, А. Шень. Лекции по математической логике и теории алгоритмов. (c1)

Часть 1. Начала теории множеств. 4-е изд., доп., М: МЦНМО, 2012, 112 с
http://www.mccme.ru/free-books/
(очень хорошая Вялый-Китаев-Шень, но там много больше, чем вам нужно)

(Ответить) (Уровень выше)


[info]anon57
2016-12-12 03:39 (ссылка)
Вряд ли ты что-то знаешь. Ты все та же макака с очередным дебильным юзернеймом.

(Ответить) (Уровень выше)

(Читать комментарии) -