Алгебра логики, информатика 10 класс, ЕГЭ информатика
«Введение в современную логику» А. В. Гладкий Настоящая книга представляет собой учебное пособие, предназначенное для студентов гуманитарных специальностей. В ее основу положены лекции, читавшиеся автором на историко-филологическом и психологическом факультетах Российского государственного гуманитарного университета. От всех ранее издававшихся учебных пособий эта книга отличается тем, что ее основное содержание составляют не традиционные, а современные идеи и методы логики. Значительно подробнее, чем обычно, излагается аппарат предикатов, кванторов и пропозициональных связок. Излагается современная теория доказательства (на основе исчисления естественного вывода) и дается новая интерпретация аристотелевской силлогистики. Наряду с формальной логикой излагаются элементы логики научного познания. Подробно рассматривается гипотетико-дедуктивный метод; отдельно рассматривается вопрос об особенностях рассуждений, используемых в гуманитарных областях знания. Изложение сопровождается многочисленными примерами и задачами. Книга может также служить пособием по логике для гимназий и лицеев. Это и многое другое вы найдете в книге Введение в современную логику (А. В. Гладкий). Напишите свою рецензию о книге А. В. Гладкий «Введение в современную логику» http://izbe.ru/book/185215-vvedenie-v-sovremennuyu-logiku-a-v-gladkiy/
Отопление по-новому: В Госдуме предложили включать тепло не всем сразу. Некоторым придётся помёрзнуть
В Госдуме прозвучало предложение кардинально изменить начало отопительного сезона. Если новую инициативу одобрят, тепло будут включать не всем сразу - некоторым жителям придётся помёрзнуть дольше остальных. Депутаты предлагают кардинально изменить привычный для миллионов граждан порядок запуска отопления. Новая инициатива предполагает отказ от единого для всех дня X и введение гибкого графика. Если предложение будет принято, первыми тепло получат жители старых домов, а вот владельцам современных новостроек, возможно, придётся помёрзнуть подольше...