-
педагогически-дружбы-народное
Originally posted by prahvessor at педагогически-дружбы-народное
Оригинал взят у oder_k в педагогически-дружбы-народное
Originally posted by ninababyor at Как идеологический маразм проник и в мою жизнь
Дорогие друзья! Вчера, 24 марта 2014, мне довелось пережить то, о чём я до сих пор только в книжках о 1937 годе читала. Не думала, что это может случиться так скоро. Прошу вас ( Read more... ) -
Выступление Зубова
Originally posted by bgmt at Выступление Зубова
Сказал бы мне кто-нибудь пару месяцев назад, что я буду цитировать выступление члена Синодальной библейско-богословской комиссии и Межсоборного присутствия Русской Православной Церкви, я б сказал "окстись". Ан вот как выходит. Не только цитирую, а считаю самым умным, что было сказано за последнее время по ( Read more... ) -
Суд над академиком Васильевым - позорная страница нашей истории
Originally posted by vvprasolov at Суд над академиком Васильевым - позорная страница нашей истории
Сегодня в замоскворецком суде прошло заседания по поводу административного задержания академика В.А.Васильева 21 февраля возле суда, где оглашался приговор по болотному делу. До этого судья рассмотрела уже несколько таких дел, все протоколы были написаны как под ( Read more... ) -
credit history - от Украины до Украины
Originally posted by a_shen at credit history - от Украины до Украины
НОТА ПРАВИТЕЛЬСТВА СССР, ВРУЧЕННАЯ ПОСЛУ ПОЛЬШИ В СССР В. ГЖИБОВСКОМУ. 17 сентября 1939 г.
Господин Посол!
( ... ) -
Чо это?
Иду я это себе на ( Read more... ) -
Разрушительный ураган унивалентности
Что-то попытки подключить к Агде унивалентность (отключив аксиому K) приводят к еженедельному обнаружению дырок в паттерн-матчинге. Вот опять сообщают. Следите за рассылкой, оставайтесь на острие. -
и встал на скользкую дорожку инфиксного использования S-комбинатора
Читая в прошедшем семестре курс матлогики, придумывал разные задачки для практики и многие решал (для себя) на Агде. Сейчас сел все это упорядочивать. Обнаружил, что сопоставление с образцом, конечно же, обыгрывает явные элиминаторы по выразительности при записи доказательств, но элиминаторы иногда сопротивляются довольно успешно. ( Read more... ) -
post
Originally posted by roman_shmarakov at post
Да, ищу работу в Петербурге. Д.филол.н. по специальности "Русская литература", почти 20 лет педагогической работы, умею тексты писать всякие. Если у вас есть чего, не скрывайте. -
Читаю тут курс матлогики
Контрприменяю правило введения импликации в сукцедент секвенции, затем контрприменяю правило введения импликации в антецедент секвенции, затем опять контрприменяю правило введения импликации в сукцедент секвенции, и мы у цели: оба листа дерева поиска вывода суть аксиомы.
Упражнение на вывод типов: вывод какой тавтологии пропозициональной логики я ( Read more... )