Логики и программы

Непейвода Николай Николаевич Доктор физико-математических наук, профессор Удмуртского государственного университета. Логик, математик, информатик, философ. Автор более 150 научных работ, в том числе книг «Логика и компьютер», «Прикладная логика», «Основания программирования», «Стили и методы программирования». Логики и программы — Часть 1. Что такое логики и какие логики бывают? Оказывается логики бывают разные. Впрочем, ничего удивительного – … Читать далее

Что такое вычислительная математика?

Петров Игорь Борисович Доктор физико-математических наук, заведующий кафедрой информатики Московского физико-технического института (МФТИ), член-корреспондент Российской Академии Естественных Наук, действительный член Нью-Йоркской Академии наук. Что такое вычислительная математика? В статье рассказывается о том, что это за наука – вычислительная математика, с помощью которой решаются задачи физики, которая проникла в химию, биологию, экономику, медицину, социологию и другие … Читать далее

Инварианты в задачах по математике и программированию

Королёв Дмитрий Николаевич Преподаватель информатики, лицей №1511 при Московском инженерно-физическом институте. Инварианты в задачах по математике и программированию Инварианты в математике Наш рассказ об инвариантах проще начать с задач по математике. Инвариант — это величина, которая остаётся неизменной при тех или иных преобразованиях. В некоторых задачах инвариант — это величина, которая изменяется монотонно, то есть … Читать далее

Задача «Стабильный коллектив»

Ворожцов Артём ВикторовичКандидат физико-математических наук,преподаватель кафедры информатики Московского физико-технического института (МФТИ),тренер сборной команды МФТИ по программированию. Задача «Стабильный коллектив» Здесь приведён разбор задачи с Международной студенческой олимпиады по программированию (ACM ICPC 2006, четверть финала, МГУ, Москва). Эта задача была одной из сложных и интересных задач этой олимпиады. У неё достаточно простое решение, но догадаться до него самостоятельно … Читать далее

Автоматное программирование. Часть 1

Анисимов Андрей Евгеньевич Cтарший преподаватель Удмуртского государственного университета, один из соавторов книги «Сборник задач по основаниям программирования», которая является практическим приложением к фундаментальному труду Н.Н. Непейводы и И.Н. Скопина «Основания программирования», а также к книге Н.Н. Непейводы «Стили и методы программирования».   Автоматное программирование. Часть 1   В жизни современного человека встречается масса самых разнообразных устройств … Читать далее

Расширенный алгоритм Евклида

Медведев Михаил Геннадиевич Кандидат физико-математических наук, доцент факультета кибернетики Киевского национального университета имени Тараса Шевченко.   Расширенный алгоритм Евклида   Описывается расширенный алгоритм Евклида и рассматриваются его приложения к решению олимпиадных задач. Приводятся алгоритмы решения линейных сравнений и диофантовых уравнений.   Продолжение…

Логика «железная», а с арифметикой что?

Филиппов Константин Сергеевич Инженер и преподаватель ГОУ «Многопрофильный технический лицей №1501».   Логика «железная», а с арифметикой что?   С каждым годом в ЕГЭ по информатике задачи на поиск количества решений логических уравнений становятся всё сложнее и сложнее. Знания набора правил преобразования логических выражений для их решения уже недостаточно. Чтобы справиться с задачами такого типа, необходимо … Читать далее

Цветок, шкатулочка и чудик (или всем поклонникам программы Flash посвящается)

Сидорка Александр ИльичУчитель биологии Долговской школы Мосальского района Калужской области.   Цветок, шкатулочка и чудик (или всем поклонникам программы Flash посвящается)   Только что завершился Всероссийский конкурс Flash-проектов, организованный журналом «Потенциал», факультетом ВМК МГУ им. М.В. Ломоносова и компанией Adobe (результаты конкурса опубликованы в №8). Уровень работ, участвовавших в конкурсе, превзошёл все ожидания. Все, кому … Читать далее

Как информационные технологии помогают потушить пожар

Масло МихаилУченик 11 класса, Лицей информационных технологий №1533, г. Москва.   Кутуков Пётр АлександровичРоссийский cоюз cпасателей, Московское городское региональное отделение.   Сафроненко Михаил ЮрьевичГлавный редактор журнала Fire Rescue.   Как информационные технологии помогают потушить пожар Среди проектов, выполняемых учащимися, порой встречаются такие необычные! Как этот, в котором совершенно неожиданным для многих читателей образом  переплелись отважная работа пожарных и … Читать далее

Эта страшная рекурсия: рекурсивные алгоритмы

Грацианова Татьяна ЮрьевнаПреподаватель подготовительных курсов факультета вычислительной математики и кибернетики МГУ им. М.В. Ломоносова.   Эта страшная рекурсия: рекурсивные алгоритмы   В прошлом году мы с вами побывали на занятиях кружка по информатике, посвящённом рекурсии (см. «Потенциал» № 4 за 2013 г.). Там обсуждалось, что такое рекурсия, как она используется в математике, информатике и даже в искусстве. … Читать далее