LITMIR.BIZ

Наконец-то появился увлекательный и практичный способ изучать теорию вычислений и проектирование языков программирования! В этой книге теоретическая информатика излагается в хорошо знакомом вам контексте, что поможет оценить, почему ее идеи важны и как они отражаются на том, чем программист изо дня в день занимается на работе. Вместо математической нотации или незнакомого академичного языка программирования типа Haskell или Lisp в этой книге для объяснения формальной семантики, теории автоматов и функционального программирования вкупе с лямбда-исчислением применяется язык Ruby, сведенный к минимуму. Издание предназначено для программистов любой квалификации, знакомых хотя бы с одним из современных языков, но не имеющих формальной подготовки в информатике.

Подробнее

Представлен оригинальный подход к отысканию максимального независимого множества (максимальной клики) в нечетком графе. Подход базируется на представлении нечетких отношений формулами многозначных логик Я. Лукасевича и использованием их для интерпретации модальных отношений. Модальность типа «возможно» интерпретируется формулой трехзначного исчисления со значением истинности не ниже 0,5; модальность типа «необходимо» интерпретируется формулой трехзначного исчисления со значением истинности, равным 1. Введены правила исчисления выводов в нечетких модальных системах, позволяющие находить трехзначные эквиваленты произвольных модальных формул.

Подробнее

В функционально полных наборах логических функций, используемых для синтеза вычислительных устройств, хотя бы одна из логических функций должна быть немонотонной. В связи с этим в работе предлагается и обосновывается удобный подход к определению принадлежности функций алгебры логики к классу монотонных функций. Упомянутый подход предполагает рассмотрение наборов логических переменных в качестве номеров наборов, на которых задана функция. Это позволяет анализировать значения функций алгебры логики только на фиксированных позициях с фиксированными значениями номеров без дополнительной проверки наборов логических переменных на соизмеримость.

Подробнее

Рассматривается применение теории игр к оценке рисков информационной безопасности предприятия и выбора оптимальной стратегии при распределении бюджета в разрезе информационных активов. Элементами платежной матрицы парной антагонистической игры являются вероятности отражения атак на информационные ресурсы. Решение игровой модели, полученное в виде смешанной стратегии, используется для определения объема финансовых средств, вкладываемых в обеспечение информационной безопасности информационных активов.

Подробнее

В статье обсуждаются актуальные вопросы применения автоматизированных систем управления для оптимизации процесса инвестиционного проектирования на предприятии. Для решения задачи оптимизации инвестиционного проектирования предлагается использовать сетевое экономико-математическое моделирование. Сформирована сетевая модель, включающая всю последовательность комплекса работ инвестиционного проектирования, дано ее подробное описание и графическое изображение процессов.

Подробнее

Развитие распределенных систем позволяет реализовывать многоплановые проекты в условиях функциональной обособленности решения отдельных задач. Однако методология проектирования таких систем требует дальнейшего исследования, особенно когда для решения невозможно применять методы прямого менеджмента, а используемые инструменты воздействия могут оказывать только опосредованное влияние на объект управления. К такой цели можно отнести развитие оптимальной маршрутной сети гражданской авиации, позволяющей обеспечить транспортную доступность для большей части населения страны. В работе определяются основные подходы к проектированию такой информационной системы на основе применения инструментов Data mining.

Подробнее

Эффективное развитие бизнеса должно быть основано на научных знаниях. ИТ-ориентированное развитие должно сопровождаться определением характеристик е– и м-бизнеса, анализом возможной стратегии, определением роли бизнес-модели в этом контексте. Цель этой статьи заключается в анализе эффективной интеграции е– и м– бизнеса в традиционные процессы бизнеса со стратегической точки зрения. Для достижения этой цели были определены характеристики е– и м-бизнеса, проанализированы бизнес-стратегии на основе ИТ и предоставлена классификация бизнес-моделей.

Подробнее

В данной работе представлена методика обучения доказательству учащихся основной школы на базе концепции обучения школьников доказательству с использованием средств естественного вывода. Понятие доказательства адаптировано к школьному курсу математики в виде дерева – дедуктивной схемы доказательства. Разработана методика использования этих схем при обучении анализу логической структуры доказательств и построению доказательств. Приведен комплекс специальных логико-ориентированных (дедуктивных) задач и вопросов, направленных па формирование дедуктивной деятельности учащихся. Монография предназначена для студентов и преподавателей математических факультетов вузов.

Подробнее

Данное пособие предназначено для отработки практических умений и навыков учащихся при подготовке к экзамену по математике в 11 классе в формате ЕГЭ на базовом уровне. Оно содержит варианты диагностических работ по математике, формат и содержание которых соответствуют контрольно-измерительным материалам, разработанным Федеральным институтом педагогических измерений для проведения единого государственного экзамена. Авторы пособия являются разработчиками тренировочных и диагностических работ для системы СтатГрад (http://statgrad.org). Материалы книги рекомендованы учителям и методистам для выявления уровня и качества подготовки учащихся по предмету, определения степени их готовности к единому государственному экзамену. Издание соответствует Федеральному государственному образовательному стандарту (ФГОС).

Подробнее

Данное пособие предназначено для отработки практических умений и навыков учащихся при подготовке к экзамену по математике в 11 классе в формате ЕГЭ на профильном уровне. Оно содержит варианты диагностических работ по математике, формат и содержание которых соответствуют контрольно-измерительным материалам, разработанным Федеральным институтом педагогических измерений для проведения единого государственного экзамена. В книгу входят также ответы к заданиям и критерии проверки и оценивания выполнения заданий с развёрнутым ответом. Авторы пособия являются разработчиками тренировочных и диагностических работ для системы СтатГрад (http://statgrad.org). Материалы книги рекомендованы учителям и методистам для выявления уровня и качества подготовки учащихся по предмету, определения степени их готовности к единому государственному экзамену. Издание соответствует Федеральному государственному образовательному стандарту (ФГОС).

Подробнее