Category: технологии

Типа резюме

Федотов Валерий Павлович



Анкетные данные


Родился 26 июля 1951г. в Ленинграде.
Оба родителя — русские (дальние предки происходят из Тургиновской и Елисеевской волостей Тверской губернии), оба — участники войны и ветераны труда, состояли в КПСС с 1940-х годов до 1991г.

Образование


В 1968г. окончил 239 физ.-мат. школу в Ленинграде и стал победителем Х Международной математической олимпиады.
В 1973г. с отличием окончил математико-механический факультет Ленинградского госуниверситета. Специальность — математика. Основная специализация — геометрия. Дополнительная специализация — математическое обеспечение ЭВМ. Специализация по индивидуальному учебному плану (научный руководитель — проф. И.В.Романовский) — исследование операций.
В 1979г. окончил идеологический факультет Университета марксизма-ленинизма при Карельском обкоме КПСС.

Научная квалификация


В 1980г. утверждён в учёной степени кандидата физико-математических наук. Защита прошла годом раньше в Институте математики Сибирского отделения АН СССР. Специальность — геометрия и топология. Научный руководитель — проф. В.А.Залгаллер.
В 1999г. избран член-корреспондентом Международной академии информатизации.
Автор более 180 научных и методических работ, наиболее значимые из которых выставлены на http://orcid.org/0000-0002-6230-7492 . Большинство публикаций относится к математике, информационным технологиям, методологии и методике их преподавания, а также к методам машинного обучения и применению математического моделирования в естественных науках и гуманитарной сфере.

Знание языков


Русский — в совершенстве. Украинский — родной, но без знания орфографии.
Английский — школьный курс + кандидатский минимум. Французский — госэкзамен на матмехе ЛГУ. Испанский изучал факультативно в течение года на филфаке ЛГУ.
В 1972-97гг. был внештатным референтом РЖ «Математика», где опубликовал более трёхсот рефератов на статьи, оригиналы которых были опубликованы на названных выше языках, а также немецком, румынском, польском и др.
В начале 1990-х годов разработал авторскую методику матричного обучения иностранным языкам с целью развития математических и общеинтеллектуальных способностей в раннем возрасте. На базе одной из библиотек в Иванове была организована «Школа иностранных языков», в которой моя методика получила экспериментальное подтверждение.

Педагогический опыт


Первые математические кружки начал вести на общественных началах ещё будучи школьником. В студенческие годы был общественным директором ЮМШ при ЛГУ, секретарём и зам. председателя жюри Ленинградской городской математической олимпиады школьников.
В 1995-2000гг. был куратором проекта «Международный заочный математический кружок» в СПб и России, под который в 1998г. получил грант фонда Сороса.
Лауреат международного конкурса «Дистанционный учитель» 2000г.
В 2001г. инициировал проведение международной математической олимпиады «Третье тысячелетие» в формате 2 тура Соросовских олимпиад, проведение которых прекратилось в 2000г. До 2013г. возглавлял жюри олимпиады «Третье тысячелетие», которая на протяжении ряда лет собирала до миллиона участников из 40-60 стран.
Стаж работы в вузах — более сорока лет. В том числе, на штатных должностях по конкурсу: ИТМО с 2006 по 2017гг., где читал лекции по теории искусственного интеллекта, системному анализу, теории случайных процессов и др., Северо-западный институт печати с 2000 по 2010гг. (информационные технологии, включая интернет), Ивановский госуниверситет с 1985 по 1995гг. и Петрозаводский госуниверситет с 1976 по 1981гг. (общий курс высшей математики и спецкурсы по геометрии) и др.
В числе моих учеников: народный учитель РФ С.Е.Рукшин, сотни докторов наук, бизнесмены, депутаты и пр.

Политический опыт


В годы перестройки входил в состав оргкомитетов по подготовке учредительных съездов ряда неформальных движений общероссийского и союзного уровня. В 1990г. баллотировался в народные депутаты РСФСР по Ивановскому национально-территориальному округу. В 1991г. вошёл в топ-100 политиков СССР и был выдвинут движением «Демократическая Россия» в числе кандидатов на пост губернатора Ивановской области. В 1992-95гг. возглавлял региональное отделение Российского движения демократических реформ (по Ивановской, Владимирской, Костромской и Ярославской областям). В 1993г. баллотировался в ГосДуму РФ по Ивановскому территориальному округу и в составе федерального списка Российского движения демократических реформ (лидер — А.А.Собчак), а в 1995г. — в составе федерального списка «Возрождение отечества» (лидер — Э.Э.Россель).

Журналистский опыт


В годы перестройки регулярно публиковался в газетах Ивановской и соседних областей. Единичные публикации в СМИ общероссийского и союзного уровня.

Опыт программирования


Программировать в машинных кодах начал с 1964г. Ассемблер М-222 изучал в ЛГУ под руководством проф. С.С.Лаврова. В 1970-е годы работал в НТО «Ленсистемотехника» (оптимизация транспортных сетей) и СКБ Аналитического приборостроения АН СССР (распознавание образов в задачах масс-спектрометрии).
В 1987г. занял первое место после призовых на первом и последнем в СССР конкурсе школьных учебников по Основам информатики и вычислительной техники. В качестве утешительного приза Минпрос СССР выделил учебный класс КУВТ «Ямаха», на базе которого в Иванове был создан «Дом компьютерной техники». Фрагменты учебника в 1989г. были опубликованы в журнале «Информатика и образование».
В начале 1990-х годов попытался изложить грамматику русского языка в форме алгоритма на языке Basic-MSX. Законченный фрагмент этой работы — программа «Грамотей». Всего две страницы её кодов служили полной функциональной заменой примерно четверти огромного тома «Грамматического словаря» А.А.Зализняка.
На рубеже тысячелетий вместе со своими учениками опубликовал серию работ, посвящённых информационным системам счисления. Придуманные мною башенные системы счисления позволяют резко расширить диапазон доступных для вычисления чисел, повысить точность вычислений в случаях её критичной потери, создать новые методы шифрования и пр. Недавний прорыв на этом направлении позволяет надеяться на реализацию этой затеи «в железе».
Около 2010г. консультировал группу разработчиков систем видеораспознавания.

Опыт в социальных сетях


Оба моих аккаунта в Живом Журнале долго держались в топ-200 рейтинга. После взлома первого из них «легендарным хакером Хэллом» обучил команду студентов из института печати активным методам защиты информации в интернете и программированию чат-ботов. Позднее провёл эксперимент, в ходе которого около сорока чат-ботов на протяжении многих месяцев входили в топ-3000 рейтинга.
Создатель и модератор сообщества «История и культура Ингерманландии» в Живом Журнале.

promo matholimp november 13, 2017 15:58 49
Buy for 10 tokens
Федотов Валерий Павлович Анкетные данные Родился 26 июля 1951г. в Ленинграде. Оба родителя — русские (дальние предки происходят из Тургиновской и Елисеевской волостей Тверской губернии), оба — участники войны и ветераны труда, состояли в КПСС с 1940-х годов до 1991г. Образование В 1968г.…

Математические основания интеллекта

Собрал в единую программу избранные сюжеты своих лекций 2007-17гг. по "Теории искусственного интеллекта" для трёх потоков ИТМО. Несколько месяцев назад эксперты поставили ИТМО на первое место среди российских вузов по направлению "Искусственный интеллект". В тот момент я уже не работал в ИТМО, но тестировали моих бывших студентов.

1. Из истории доказательных рассуждений.
Как математика стала «сверхъестественной» наукой (Египет, Фалес, Пифагор, Гиппас). Алгебраические и философские аспекты «Логики» Аристотеля. Пятый постулат от Евклида до Римана. Теоретико-множественный подход против традиционного (Паш, Кантор, парадоксы, Гильберт, Гёдель, Коуэн). Минимум сведений из общей педагогики и теории искусственного интеллекта. Эволюция понятия машинного обучения. Основные алгоритмы машинного обучения. Современные трактовки глагола «доказать».

2. Двойственность Галуа.
Основные термины и операции теории множеств. Классификатор. Способы задания множеств . Двойственность между элементами множеств и их свойствами. Теорема Галуа. Построение замыканий. Примеры двойственности Галуа в различных математических дисциплинах (алгебра, топология, выпуклость). Требование замкнутости структурных единиц корректно построенной классификации и примеры его нарушений в естественных науках и гуманитарной сфере (вид, национальность). Биологический интеллект. Словари и задача машинного перевода.

3. Понятие информации.
Общеизвестные подходы и их слабые места. Информация как мера снятия неопределённости. Структурные уровни материального мира. Конструкция Белошапки. Байесовские интеллектуальные технологии. Хроногеометрические модели.

4. Системы счисления и их классификация.
Представление числовой информации. Римская запись и её аналоги. Основные системы счисления (в том числе, с основаниями 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 16, 20, 27, 32, 40, 60, 64). Признаки делимости. Двойные и сложные системы счисления (2-8, 2-16, 2-10, 10-1000; дата-время, факториальная, фибоначчиевская). Следы использования разных систем счисления в некоторых естественных языках.
Информационные, интервальные и вероятностные системы счисления. Золотая система счисления. Система счисления Штерна-Броко. Башенные системы счисления и логарифмическая тригонометрия.

5. Прямые алгоритмы.
Операции с многозначными числами в основных и других системах счисления. Алгебраические уравнения и системы. Полилинейные функционалы и их диагонали. Многогранники Ньютона и смешанные объёмы. Теорема Безу и её уточнение. Интегрирование систем однородных дифференциальных уравнений в частных производных в случае малого числа решений характеристической системы.

6. Моделирование языка.
Формализация фраз естественного языка. Модели Р.И.Пименова.
Объекты и имена, признаки и глаголы, указатели и союзы в естественных языках и их аналоги в языках программирования.

7. Матричные методы обучения.
Матрицы в алгебре и многомерные массивы в языках программирования. Матричные многоязычные словари. Матричная методика обучения иностранным языкам (история и основные принципы). Логические матрицы совместимости существительных с прилагательными или глаголами. Проверка двойственности с помощью логических матриц.
Авторская программа школьного курса. Программа для первого и второго года. Образцы матричных упражнений. Математические идеи.
Фиксация овладения иностранными языками в лексических матрицах. Адекватность перевода художественного текста: синонимия, омонимия, игра слов. Использование матричного представления для демонстрации сочетаемости различных терминов. Грамматические матрицы для склонения (спряжения), преобразования одних частей речи в другие и т.п. Пустоты в матрицах как средство мотивации обучения. Построение логических матриц и их использование в различных учебных дисциплинах.

Почему РФ не станет властелином мира

«Если кто-то сможет обеспечить монополию в сфере искусственного интеллекта, то последствия нам всем понятны: тот станет властелином мира», — заявил сегодня Путин в ходе первого в своей жизни совещания о развитии технологий в этой области (см. https://www.business-gazeta.ru/news/426347 и др.). А несколько недель назад на http://www.acexpert.ru/analytics/ratings/predmetniy-reyting-nauchnoy-produktivnosti-vuzov---2.html был опубликован Предметный рейтинг научной продуктивности вузов - 2019. В нём искусственному интеллекту посвящена вот эта Таблица 14а:

Да, я уже больше года не работаю в университете ИТМО, занявшем первую строчку этого рейтинга. Но в 2011-17 годах двум потокам ИТМО я читал лекции по искусственному интеллекту.
А автор самых продвинутых монографий по искусственному интеллекту Сергей Николенко не работает в Академическом университете, основанном покойным Жоресом Алфёровым. Хуже того, была расформирована вся кафедра, из-за чего Академический университет вообще не значится в этом рейтинге.
Кто мечтает стать властелином мира? Ведущие специалисты в сфере искусственного интеллекта абсолютно свободны и готовы помочь Вам в этом.

Биологический интеллект как обратный аналог искусственного

Биологические существа (животные, включая человека, растения, бактерии и пр.) рассматриваются как устройства, предназначенные для хранения, передачи и модификации генетической информации. Такую их способность уместно назвать биологическим интеллектом.
Оценим с этой точки зрения сегодняшнее состояние развития теории и практики искусственного интеллекта.
Технологическими существами (роботами) уместно называть не только механические устройства с программным управлением, но также виртуальные. Первые обитают (и осязаемы) в реальном физическом пространстве, а вторые - в иных мирах, пока ещё плохо изученных. Механические роботы разделяются на стационарные ("растения") и самодвижущиеся ("животные"). В зависимости от среды, для которой они предназначены, и способов передвижения в ней, из последних можно выделить "птиц", "рыб" и пр. Недоступные невооружённому глазу человека нейроны и их сети - "микробы". Автономные роботы способны адекватно воспринимать своё присутствие в окружающей среде и реагировать на внешние угрозы.
Информация от одного робота к другому может передаваться посредством электромеханического контакта ("половым путём", например, через USB), либо эфирным сигналом ("пропаганда", Wi-Fi). Эффективная передача "жизненно важной" информации дальним поколениям потомков реализована для компьютерных вирусов и нейронных сетей.
На очереди создание технологических видов. Это устойчивые стандарты, отвечающие которым роботы автономны, самодостаточны, в меру индивидуализированы, способны к (само)обучению и стремятся к воспроизводству себе подобных.
Креационизм при таком подходе практически не имеет альтернативы, но приобретает форму, весьма далёкую от догматов какой-либо религии. Логично назвать "богом" творца биологического разнообразия. Широкая трактовка принципа Коперника исключает нашу уникальность не только в пространстве, но и во времени. Отсюда следует, что биологическая цивилизация, скорее всего, не была первой и не окажется последней.
Но и доступный нам космос тоже мог быть сотворён подобно тому, как программист создаёт виртуальные миры. В этом случае ясно, что внешний "космический бог" (создавший наше пространство) отличен от "биологического бога" (жившего внутри этого пространства).
(С) Текст Федотова (matholimp) Валерия Павловича 2 декабря 2018 года.
В продолжение https://matholimp.livejournal.com/26192.html , https://matholimp.livejournal.com/1038931.html и др.

Моё расписание в ИТМО в октябре 2016г.

До 5 октября я в Кирове (который Вятка) на конференции ЦДООШ. Делаю два своих доклада и один за Рукшина. Далее по обычному расписанию :

Число    	Время 		Группа		Ауд.		Предмет
 6              13:30-15:00     K3342           409             Теория случайных процессов (Лек) 
 6              15:20-16:50     K3342           412             Теория случайных процессов (Лаб) 
 6              17:00-18:30     K3342           427             Теория случайных процессов (Лаб) 
12              10:00-11:30     K4132           410             Теория искусственного интеллекта (Лек) 
12              11:40-13:10     K4132           419             Теория искусственного интеллекта (Лаб) 
13              13:30-15:00     K3342           412             Математическое моделирование (Лек)    
13              15:20-16:50     K3342           412             Математическое моделирование (Лаб)    
13              17:00-18:30     K3342           427             Математическое моделирование (Лаб)  
20              10:00-11:30     K3440           319             Теория искусственного интеллекта (Лек) 
20              11:40-13:10     K3440           319             Теория искусственного интеллекта (Лаб) 
20              13:30-15:00     K3342           409             Теория случайных процессов (Лек) 
20              15:20-16:50     K3342           412             Теория случайных процессов (Лаб) 
20              17:00-18:30     K3342           427             Теория случайных процессов (Лаб) 
26              10:00-11:30     K4132           410             Теория искусственного интеллекта (Лек) 
26              11:40-13:10     K4132           419             Теория искусственного интеллекта (Лаб) 
27              13:30-15:00     K3342           412             Математическое моделирование (Лек)    
27              15:20-16:50     K3342           412             Математическое моделирование (Лаб)    
27              17:00-18:30     K3342           427             Математическое моделирование (Лаб) 

Все в главном корпусе: Кронверкский пр., д. 49, лит. А.
Оригинал и оперативные изменения - на http://www.ifmo.ru/ru/schedule/3/142843/raspisanie_zanyatiy.htm#ixzz4K7PeChof .