Видатні інформатики . Розвиток інформатики

 Видатні інформатики

МУХХАМЕД АЛЬ ХОРЕЗМІ 

Поява комп'ютера і інтернету було б неможливо без праць Абу Джафара Мухаммада Ібн Муси аль-Хорезмі, що є основоположником алгебри, алгоритмів і основ інформатики, заявив один з провідних німецьких фахівців з ісламської цивілізації Вольфганг Гюнтер Лерх.

Провідне місце серед точних наук на середньовічному Сході займала астрономія як одна з найнеобхідніших на практиці наук, без неї не можна було обійтися ні в зрошуваному землеробстві, ні в морській і в сухопутній торгівлі. 

 

БЛЕЗ ПАСКАЛЬ 

Один із засновників математичного аналізу, теорії імовірності та проективної геометрії, творець перших зразків лічильної техніки, автор основного закону гідростатики. Відомий також відкриттям формули біноміальних коефіцієнтів, винаходом гідравлічного пресу й шприца та іншими відкриттями. Автор знаменитих «Думок» та «Листів до провінціала», які стали класикою французької літератури.

Блез Паскаль

Французький філософ. Письменник, математик, фізик. Ім'я Паскаля носить цілий ряд фактів, встановлених їм в різних областях — математиці (наприклад, “трикутник Паскаля”, визначаючий спосіб обчислення біноміальних коефіцієнтів), фізиці (“закон Паскаля”) та ін. У віці 18 років Паскаль почав розробляти машину “Паскаліну”, що підсумовує. Всього було створено близько 50 модифікацій цієї машини. Машина Паскаля була механічним пристроєм у вигляді скриньки з численними, пов'язаними одна з іншою, шестерінками. Машина Паскаля дозволяла виконувати не тільки складання, але і інші операції, проте при цьому вимагала застосування досить незручної процедури повторних складань.

Підсумовуюча машина Паскаля

 

ГОТФРИД ФОН ЛЕЙБНИЦ 

Один із засновників математичного аналізу, теорії імовірності та проективної геометрії, творець перших зразків лічильної техніки, автор основного закону гідростатики. Відомий також відкриттям формули біноміальних коефіцієнтів, винаходом гідравлічного пресу й шприца та іншими відкриттями. Автор знаменитих «Думок» та «Листів до провінціала», які стали класикою французької літератури.

 

ЧАРЛЬЗ БЕББІДЖ 

Англійський математик і економіст, винахідник першоїобчислювальної машини з програмним управлінням, принципи якої на ціле століття випередили науку і техніку, а в наш час знайшли втілення в ЕОМ.

Математичні дослідження Чарлза Бебіджа сприяли зародженню англійської алгебраїчної школи. Його економічні роботи отримали високу оцінку Карла Маркса. Таблицями Бебіджа користувалися страхові товариства Європи.

Одна з найвидатніших фігур в науці і техніці XIX сторіччя. Вперше визначив склад і призначення функціональних засобів автоматичного комп'ютера. Англієць Чарльз Беббідж більше десяти років завідував кафедрою фізики і математики Кембріджського університету (колись цей пост займав Ісаак Ньютон), був одним із засновників Королівського астрономічного суспільства. У 1822 році створив Різницеву машину, дія якої грунтувалася на принципі, відомому в математиці як “метод кінцевих різниць”. Потім Беббіджем було задумане досконаліший пристрій — Аналітична машина. Обігнавши свій час, ця ідея була проектом першого універсального програмованого комп'ютера, який так і не був здійснений.

Частина Різницевої машини Беббіджа, складена після його смерті сином з частин, знайдених в лабораторії.

Реконструкція (репліка) Різницевої машини, виготовлена за проектом Беббіджа, з Лондонського музею науки

 

АВГУСТА АДА ЛАВЛЕЙС 

8 липня 1835 Ада одружилася з Вільямом Кінгом, 1-им генералом Лавлейсом, і стала баронесою Кінг. У них було троє дітей: син Байрон народився 12 травня 1836 року, донька Енн Ізабелла, яку називали Аннабелла, народилася 22 вересня 1837 року, син Ральф — 2 липня 1839 року. У 1838 році чоловік Ади тримав титул ерла Лавлейса, і її до кінця життя величали графинею Лавлейс.

Дочка поета Джорджа Байрона (народилася в Лондоні). Увійшла до історії комп'ютерної техніки як перший програміст; її ім'ям названа мова програмування Ада, що з'явився в 1980 році у Франції. Багато що з того, що було відоме про роботу Чарльза Беббіджа, дійшле до нас саме завдяки їй. “Аналітична машина” не була тоді побудована, і програми, складені Адою Байрон (у заміжжі — Ада Кінг, графиня Лавлейс), не відладжувалися і не працювали, проте її заслуги вельми значні (ідея програмного управління процесом обчислень; пропозиція використовувати перфокарти для введення і висновку даних і для управління; введення понять “цикл” і “робочий осередок”). Більш того, Ада Августа передбачала, що комп'ютер може бути багатофункціональним інструментом для вирішення величезної кількості прикладних задач, ще до того, як його створили.

ДЖОРДЖ БУЛЬ 

Публіці Буль був відомий в основному як автор ряду важких для розуміння статей на математичні теми та трьох або чотирьох монографій, що стали класичними.

Публікація першої статті(«Теорія математичних перетворень», 1839) призвела до дружби між Булем і Д. Ф. Грегорі (редактором «Кембріджського математичного журналу», де стаття була опублікована), що тривала до самої смерті останнього в 1844 р. В цей журнал і «Кембріджський і дублінський математичний журнал», що наслідував його, Буль виклав двадцять дві статті.

 

НОРБЕРТ ВІНЕР

В 18 років Норберта Вінера зараховано доктором наук за фахом «математична логіка» в корнельському і гарвардському університетах. У дев'ятнадцятирічному віці доктор Вінер був запрошений на кафедру математики массачусетського технологічного інституту.

«Кібернетика» Вінера побачила світ в 1948 році. Повна назва головної книги Вінера виглядає таким чином «Кібернетика, або управління і зв'язок в тварині і машині».

 

ДЖОН ФОН НЕЙМАН

Внесок Нейман у розвиток багатьох галузей математики є значним. Перші його роботи, написані під впливом Давида Гільберта, присвячено основам математики. Коли Курт Гедель довів нездійсненність запропонованої Гільбертом програми, Нейман залишив дослідження в цій галузі та взявся до функціонального аналізу і його застосування у квантовій механіці. Нейману належить чітке математичне формулювання принципів квантової механіки, зокрема, її ймовірнісна інтерпретація; його праця «Математичні основи квантової механіки».

Американський математик угорського походження, що зробив значний вклад у квантову фізику, функціональний аналіз, теорію множин, інформатику, економічні науки та в інші численні розділи знання. Він став засновником теорії ігор разом із Оскаром Моргенстерном у 1944 році. Розробив архітектуру (так звану «архітектуру фон Неймана»), яка використовується в усіх сучасних комп'ютерах.

Янош Лайош Нейман народився в Будапешті, що був в ті часи містом Австро-Угорської імперії. Він був старшим з трьох синів в сім'ї процвітаючого будапештського банкіра Макса Неймана (угор. Neumann Miksa) і Маргарет Кенн (угор. Kann Margit). Янош, або просто «Янсі», був незвичайно обдарованою дитиною, цікавився математикою, природою чисел і логікою навколишнього світу.

У 1911 році він поступив в Лютеранську гімназію. У 1913 році його батько отримав дворянський титул, і Янош разом з австрійським і угорським символами знатності — приставками фон (von) до австрійського прізвища і титулом Маргиттаї (Margittai) в угорському іменуванні — став називатися Янош фон Нейман або Нейманом Маргиттаї Янош Лайош. Під час викладання в Берліні і Гамбурзі його називали Йоганном фон Нейманом. Пізніше, після переселення в 1930-х роках в США, його ім'я на англійський зразок змінилося на Джон. Цікаво, що брати фон Неймана після переїзду в США отримали зовсім інші прізвища: Воннеуманн (Vonneumann) і Ньюман (Newman).

Фон Нейман отримав ступінь доктора філософії з математики (з елементами експериментальної фізики і хімії) в університеті Будапешта в 23 роки. Одночасно він вивчав хімічну інженерію в швейцарському Цюріху (Макс фон Нейман вважав професію математика недостатньою для того, щоб забезпечити надійне майбутнє сина). З 1926 по 1930 роки Джон фон Нейман був приват-доцентом в Берліні.

У 1930 році фон Нейман був запрошений на викладацьку посаду в американський Принстонський університет. Був одним з перших запрошених на роботу в заснований в 1930 році науково-дослідний Інститут Перспективних Досліджень (англ. Institute for Advanced Study), що також розташовувався в Принстоні, де з 1933 року і до самої смерті посідав професорську посаду.

У 1936—1938 роках Алан Тьюрінг захищав в інституті під керівництвом Алонзо Черча докторську дисертацію. Це сталося незабаром після публікації в 1936 році статті Тюрінга «On Computable Numbers with an Application to the Entscheidungs problem», яка включала концепції логічного проектування і універсальної машини. Фон Нейман, поза сумнівом, був знайомий з ідеями Тюрінга, проте невідомо, чи застосовував він їх в проектуванні IAS-машини десять років опісля.

У 1937 році фон Нейман став повноправним громадянином США. У 1938 він був нагороджений премією імені М. Бохера за свої роботи в області аналізу.

Фон Нейман був одружений двічі. Вперше він одружувався на Маріетті Кевеши (Mariette Kövesi) в 1930 році. Фон Нейман навіть погодився перейти в католицтво, щоб догодити її сім'ї. Шлюб розпався в 1937 році, а вже в 1938 він одружується на Кларі Ден (Klara Dan). Від першої дружини у фон Неймана народилася дочка Марина — в майбутньому відомий економіст.

У 1957 році фон Нейман захворів раком кісток, можливо, викликаним радіоактивним опромінюванням при дослідженні атомної бомби в Тихому океані або, можливо, при подальшій роботі в Лос-Аламосі, штат Нью-Мексико (його колега, піонер ядерних досліджень Енріко Фермі, помер від раку кісток в 1954 році). Через кілька місяців після постановки діагнозу фон Нейман помер у важких муках.

Внесок в науку

Нейман вніс значний внесок до розвитку багатьох областей математики. Перші його роботи, написані під впливом Д.Гільберта, присвячені основам математики. Коли К.Гедель показав нездійсненність запропонованої Гільбертом програми, Нейман залишив дослідження в цій області і зайнявся функціональним аналізом і його застосуванням до квантової механіки. Нейману належить строге математичне формулювання принципів квантової механіки, зокрема її ймовірнісна інтерпретація; його праця «Математичні основи квантової механіки» (Mathematical Foundations of Quantum Mechanics, 1932) вважається класичною. У 1932 Нейман довів еквівалентність хвильової і матричної механіки. Дослідження основ квантової механіки спонукало його до глибшого вивчення теорії операторів і створення теорії необмежених операторів.

Праці Неймана справили вплив на економічну науку. Учений став одним з творців теорії ігор — області математики, яка займається вивченням ситуацій, пов'язаних з ухваленням оптимальних рішень. Застосування теорії ігор до рішення економічних задач виявився не менш значущим, чим сама теорія. Результати цих досліджень були опубліковані в роботі Теорія ігор і економічна поведінка (The Theory of Games and Economic Behavior, спільно з економістом О.Моргенштерном, 1944).

Третя область науки, на яку зробила вплив творчість Неймана, стала теорія обчислювальних машин і аксіоматична теорія автоматів. Справжнім пам'ятником його досягненням є самі комп'ютери, принципи дії яких були розроблені саме Нейманом (частково спільно з Г.Голдстайном).

 

ІГОР ПОЛЄТАЕВ

Вначале 1950-х годов И. А. Полетаев входил в небольшую группу борцов за кибернетику в СССР. Весной 1954 года на семинаре в секретном НИИ-5 МО А. И. Китовым, М. Г. Гаазе-Раппопортом и И. А. Полетаевым были сделаны одни из первых в стране три доклада о кибернетике, считавшейся в СССР до августа 1955 г. лженаукой. И. А. Полетаев был одним из двух переводчиков книги Ф. Морза и Дж. Кимпбела «Методы исследования операций», вышедшей в 1956 г. 

 

КЛОД ЕЛВУД ШЕННОН

Найбільше йому вдавалися наука та математика, і удома він створив такі пристрої як моделі літаків, які керувалися по радіо, й систему телеграфу до фірми друга на відстань в половину милі.

Вивчаючи складні спеціальні канали диференціального аналізатора, Шеннон бачив, що поняття Була можна використати із більшою користю. За свою дисертацію «Символічний аналіз реле і каналів, що перемикаються», була опублікована в 1938 році і за неї Шеннон отримав Приз Альфреда Нобеля в 1940 р. 

 

ДУГЛАС ЕНГЕЛЬБАРТ

У 1967 році Енгельбарт подав заявку на патент (отримавши його в 1970) для пристрою, що складався з дерев'яного корпусу з двох металевими коліс (патент 3541541), що він розробив спільно з Біллом Інгліш кількома роками раніше. У патенті пристрій описується як «індикатор XY положення для системи відображення». Пізніше Енгельбарт з'ясував, що це пристрій одержав прізвисько «миша», тому що шнур, що виходив з його задньої частини, був схожий на хвіст миші.

 

МИКОЛА МАТЮХІН

Видатний вчений у галузі обчислювальної техніки і конструктор спеціалізованих ЕОМ для систем протиповітряної оборони (ППО). Він був одним з найбільш яскравих представників інженерної школи І. С. Брука, провідним розробником перших ЕОМ М-1 і М-3, які були створені лабораторією І. С. Брука в Енергетичному інституті АН СРСР.

 

ВІЛЬЯМ ГЕНРІ (БІЛ) ГЕЙТС (ІІІ) 

1975 року Ґейтс спільно з Полом Алленом заснував компанію «Micro-Soft», пізніше названу «Microsoft Corporation».

Білл Ґейтс дає одинадцять правил задля досягнення успіху. На думку Ґейтс, надмірний оптимізм і політкоректність грають з молодими людьми злий жарт, формуючи далеке від реальності сприйняття світу, що неодмінно призводе до невдач у майбутньому дорослому житті.

 

ЄВГЕНІЙ КАСПЕРСЬКИЙ 

Ще в школі Євгеній Касперський займався поглибленим вивченням математики у рамках спецкурсу, організованого Московським фізико-технічним інститутом.

Сьогодні Євгеній Касперський займається, насамперед, стратегічним управлінням компанії. Також він є ключовим спікером «Лабораторії Касперського», у зв'язку з чим часто виступає на великих конференціях та галузевих виставках, партнерських конференціях.

 

ЕДСГЕР ДЕЙКСТРА 

Дейкстра брав активну участь у розробці мови програмування АЛГОЛ, написав перший компілятор для АЛГОЛ-60. У своїй діяльності по розвитку концепції структурного програмування активно виступав за відмову від goto.

Едсгер вивчав у Лейденському університеті теоретичну фізику, та згодом усвідомив, що більше зацікавлений комп'ютерними науками.

Широко відомий також алгоритм Дейкстри знаходження найкоротшого шляху у графі.

 

ДЖОН МАККАРТІ 

Маккарті вперше використав математичну логіку в штучному інтелекті. В 1958 він запропонував advice taker, який надихнув пізніші роботи над питаннями-відповідями та логічним програмуванням. Базуючись на лямбда численні, Lisp швидко став мовою програмування номер один у галузі штучного інтелекту після його публікації в 1960. Він надихнув на створення проекту MAC в MIT, але залишив MIT заради Стенфордського університету у 1962, де допоміг заснувати Стенфордську лабораторію штучного інтелекту, яка протягом багатьох років залишалась дружнім суперником проекту MAC.

 

СТІВЕН ДЖОБС 

Стівен Джобс і Стівен Возняк стали засновниками компанії «Apple». Займалася виробництвом комп’ютерів власної конструкції, вона була заснована 1 квітня 1976 року, а зареєстрована офіційно на початку 1977 року.

Першим персональним комп’ютером, який представили Стів Джобс і Стів Возняк, був Apple.

 

ЛІНУС ТОРВАЛЬДС 

Досвідчений програміст, і природно спеціалізується в інформатиці. У 1990-му він відвідує перше заняття з навчання мови програмування C, який він скоро буде використовувати для створення ядра Linux. 

ОС навіть не була настільки розвиненою, щоб використовувати переваги настільки крутого чіпа Intel 386, і Лінус Торвальдс вирішує, що буде використовувати багато більш потужну і стійку ОС UNIX, до якої він звик ще з університетським комп’ютерів.

 

ЛАРІ ПЕЙДЖ 

Один з творців пошукової системи Google і президент із продукції компанії Google Inc.

Видатний вчений у галузі обчислювальної техніки і конструктор спеціалізованих ЕОМ для систем протиповітряної оборони (ППО). Він був одним з найбільш яскравих представників інженерної школи.

 

ІСААК БРУК 

Російський вчений, винахідник, один з основоположників вітчизняної обчислювальної техніки, засновник і перший директор Інституту електронних керуючих машин АН СРСР.

Прийшов до висновку про необхідність створення електронних цифрових обчислювальних машин (ЕЦОМ) для отримання необхідної точності обчислень.

 

СЕРГІЙ ЛЕБЕДЄВ

Створив наукову школу в галузi суперкомп'ютерiв та спецiалiзованих обчислювальних машин для управління системами реального часу і обгрунтував основний напрям розвитку комп'ютерів цих класів — розпаралелювання обчислювального процесу.

Пiд керiвництвом С. О. Лебедєва було розроблено та створено 15 типiв комп'ютерiв.

Вчений, академік, творець першого в континентальній Європі комп'ютера.

Навчався в Московському Вищому Технічному училищі. Академік АН УРСР з 1945 року. Керував (1947) розробкою у Києві (у передмісті Феофанія) першої в СРСР і на європейському континенті обчислювальної машини МЕЛМ (малої електронної лічильної (обчислювальної) машини) (1950). 1953 року була створена ВЕЛМ (велика електронна лічильна машина). На її базі пізніше створені всі радянські ЕОМ («Стріла», «Мінськ», «Урал», «Дніпро», «Мир», М-20, М-220...).

Доповідь С.Лєбєдєва 1956 року в Дармштадті про успіхи київських вчених виявила, що українські ЕОМ відповідають рівневі американських і є найбільш швидкодіючими в Європі.

1960 року у Києві під керівництвом В.Глушкова сконструйовано напівпровідникову ЕОМ "Дніпро".

Створені на основі київських ЕОМ обчислювальні машини забезпечили досягнення паритету між США та СРСР в період ядерного протистояння.

Учень С.Лєбєдєва В.Бурцев створив ЕОМ "Діана-1" та "Діана-2", що забезпечили автоматичне стеження за цілями. Київські ЕОМ були використані для створення першої системи протиракетної оборони СРСР (генеральний конструктор Г.Кисунько. Детальніше – в розділі 4 "Військова справа" Основний доробок

Під керівництвом Лебедєва в Україні був створений перший на континенті Європи комп'ютер — Мала електронна лічильна машина («МЭСМ»). Наукова школа Лебедєва, що стала головною в колишньому СРСР, за своїми результатами успішно суперничала з американською фірмою IBM. Під керівництвом академіка були створені і передані для серійного випуску 15 типів високопродуктивних, найбільш складних ЕОМ, кожна — продуктивніша, надійніша і зручніша в експлуатації.

В короткому листі, направленому до Ради з координації Академії наук СРСР, С. О. Лебедєв написав: «Цифровими обчислювальними машинами почав займатися наприкінці 1948 року. Самостійно в 1948 — 1949 роках розробив основні принципи побудови таких машин. Враховуючи їх виняткове значення для нашого народного господарства, а також відсутність в Союзі будь-якого досвіду їх побудови і експлуатації, я прийняв рішення якомога швидше створити малу електронну лічильну машину МЭСМ, за допомогою якої можна було б досліджувати основні принципи побудови, перевірити методику розв'язання окремих задач і накопичити експлуатаційний досвід. В зв'язку з цим було намічено створити діючий макет машини з подальшим його перетворенням в малу електронну лічильну машину. Щоб не затримувати розробку, були вимушені виконати запам'ятовуючий пристрій на тригерних комірках, що зменшило його об'єм. Розробка основних елементів була проведена в 1948 р. До кінця 1949 р. були розроблені загальна компоновка машини та принципові схеми її блоків. В першій половині 1950 р. були виготовлені окремі блоки та було розпочато їх налагодження у взаємодії, до кінця 1950 р. налагодження створеного макету було закінчено. Діючий макет успішно демонструвався комісії.»

 

ВІКТОР ГЛУШКОВ

Вчений не зупинявся на досягнутому. Насамперед, його цікавило найістотніше в науці про комп'ютери — теорія їх проектування. Глушков — автор загальної теорії автоматів і дискретних перетворювачів. Міжнародний розголос мали його праці зі створення штучного інтелекту. 

Ці дослідження він проводив паралельно з розробкою теорії ЕОМ, що, у свою чергу, стало благодатним грунтом для побудови архітектури і програмного забезпечення обчислювальних машин нових поколінь.

 

СЕРГІЙ БРІН

Необхідний для роботи пошукача сервер з вінчестерами загальним обсягом 1 терабайт (1024 гігабайт) розташовувався прямо в кімнаті Бріна в університетському гуртожитку. 

В основі BackRub лежала принципово нова система інтернет-пошуку, коли всі численні знайдені за запитом сторінки ранжирувалися за кількістю посилань на них інших сторінок. Таким чином, нагорі виявлялися найбільш затребувані документи.

 

АНДРІЙ ЄРШОВ

Завдяки унікальним здатностям наукового передбачення, А. П. Єршов одним перших у країні усвідомив ключову роль обчислювальної техніки в прогресі науки й суспільства й з початку 80-х рр. почав активно займатися педагогічною діяльністю, спрямованою на просування програмування, а потім й інформатики в систему освіти, а також масову свідомість.

Радянський програміст і математик, один з творців «шкільної інформатики», лідер в області теорії й автоматизації програмування, основні праці якого охоплюють теоретичне й системне програмування, мови програмування, теорію схем програм, мішані обчислення.

Народився в Москві в родині інтелігентів: батько був інженером-хіміком, мати — бібліотекарем.

У 1943 р. батьки А. П.Єршова переїжджають у Сибір, до м. Кемерово, де Андрій Петрович в 1949 р. закінчив середню школу.

Того ж року вступає на фізико-технічний факультет Московського університету, збираючись стати фізиком. Однак на цьому факультеті йому вчитися не довелось, але було дозволено перевестися на механіко-математичний факультет того ж університету.

На механіко-математичному факультеті А. П. Єршов став спеціалізуватися по кафедрі обчислювальної математики, якою керував академік С. Л. Соболєв, а на останніх курсах під впливом А. А. Ляпунова захопився програмуванням.

В 1953 р., ще будучи студентом, він влаштувався на роботу в Інститут точної механіки й обчислювальної техніки, — де складався один з перших радянських колективів програмістів, — і брав участь у підготовці прийомних випробувань однієї з перших радянських обчислювальних машин «БЭСМ».

В 1954 р. А. П. Єршов закінчив університет — це був перший у радянських ВНЗ масовий випуск за фахом «програмування».

У тому ж році його приймають в аспірантуру в Московському університеті, яку він закінчує в 1957 р. В аспірантурі він працює під керівництвом А. А. Ляпунова й до початку 1958 року завершує підготовку кандидатської дисертації, присвяченої поняттю операторного алгорифма. Однак у зв'язку з настороженим відношенням математиків у той період до нової науки — програмування — захистити дисертацію йому вдається тільки в 1962 р.

В 1957 р. А. П. Єршов стає завідувачем відділом автоматизації програмування у тільки-но створеному Обчислювальному центрі АН СРСР. У зв'язку зі створенням Сибірського відділення АН СРСР на прохання директора Інституту математики СВ АН СРСР академіка C. Л. Соболєва він приймає на себе обов'язки організатора й фактичного керівника відділу програмування цього інституту. В 1960 р. він стає й формальним керівником цього відділу й остаточно переїжджає в Сибір. Докторську дисертацію по методам побудови трансляторів він захищає в 1968 р. і через два роки стає членом-кореспондентом (1970), а в 1984 р. — академіком АН СРСР. Надалі, після створення Г. И. Марчуком Обчислювального центру СВ АН СРСР (1964), Андрій Петрович переходить на роботу в цей центр (завідувачем відділом і відділенням). Тут починається науково-педагогічна робота А. П. Єршова: він не тільки стає ідейним керівником і неформальним главою великої й активно працюючої співдружності новосибірських програмістів — школи системного й теоретичного програмування, дослідження якої складалися з робіт його учнів і послідовників у різних новосибірських інститутах, — але й приступає до виконання обов'язків професора в Новосибірськом університеті (з 1969).

Завдяки унікальним здатностям наукового передбачення, А. П. Єршов одним перших у країні усвідомив ключову роль обчислювальної техніки в прогресі науки й суспільства й з початку 80-[ рр. почав активно займатися педагогічною діяльністю, спрямованою на просування програмування, а потім й інформатики в систему освіти, а також масову свідомість. У Новосибірську під патронатом А. П. Єршова були розпочаті експерименти з викладання програмування, а потім й інформатики школярам. Під цей освітній проект були розроблені комп'ютер «Агат», навчальна система «Школярка» і мова «Рапіра».

В 1985-86 рр. А. П. Єршовим разом із групою співавторів були підготовлені й випущені пробні навчальні посібники для середніх навчальних закладів «Основи інформатики й обчислювальної техніки» (частина I і частина II — для 9-10 класів) і під його науковим керівництвом почалося викладання інформатики як навчального предмета у всіх школах Радянського Союзу.

Для запису алгоритмів у пробних навчальних посібниках уперше була застосована Алгол-подібна мова з російською нотацією (так звана «навчальна алгоритмічна мова»). Для неї через нетривалий час на механіко-математичному факультеті МДУ була створена «комп'ютерна реалізація» — компілятор, який дістав назву «Е-практикум» і був досить швидко портований на всі типи «шкільних» комп'ютерів.

Академік А. П. Єршов залишив багату наукову й творчу спадщину, що охоплює більше 200 книг, статей, препринтів, не рахуючи великої кількості передмов, редакційних статей, відгуків тощо, а також газетних публікацій й ін.

Андрій Петрович був обраний членом Американської асоціації з обчислювальної техніки (1965), почесним членом Британського товариства з обчислювальної техніки (1974). За істотний внесок у теорію мішаних обчислень А. П. Єршову присуджена Премія імені О. М. Крилова АН СРСР (1984). Він також є володарем премії Ради Міністрів СРСР (1985). Нагороджений двома орденами Трудового Червоного Прапора (1967, 1975), орденом «Знак Пошани» (1981).

Наукова діяльність А. П. Єршова, і почасти феномен його наукової школи, висвітлювалися в довідкових виданнях і біографічних нарисах, однак ця тема далеко не вичерпана. Свідченням тому є докладне історіографічне дисертаційне дослідження І. О. Крайнєвої «Наукова біографія академіка А. П. Єршова» (2008), у якому робиться спроба «на підставі наявної літератури й джерел, значна частина яких уперше вводиться в науковий обіг, відтворити наукову біографію академіка А. П. Єршова, з'ясувати його вплив на деякі сторони розвитку інформатики в СРСР своїми дослідженнями в області теоретичного й системного програмування, на формування міжнародних наукових зв'язків, на становлення й виконання ряду національних програм: з математичного забезпечення ЕОМ, з інформатизації освіти».

 

ІВАН СЕРГІЄНКО

Вчений у галузі інформатики, обчислювальної математики, системного аналізу і математичного моделювання. Академік Національної академії наук України (1988), заслужений діяч науки і техніки України, лауреат Державної премії СРСР (1981), УРСР (1972) і України (1993, 1999) в галузі науки і техніки.

Зацікавився проблемою автоматизації процесів обробки та аналізу даних математичними методами, передусім методами теорії імовірностей і математичної статистики. 

Вчений у галузі інформатики, обчислювальної математики, системного аналізу та математичного моделювання. Академік Національної академії наук України (1988), заслужений діяч науки і техніки України, лауреат Державної премії СРСР (1981), УРСР (1972) і України (1993, 1999, 2005) в галузі науки і техніки.

Народився 13 серпня 1936 року у селі Білоцерківці Полтавської області. Відразу після закінчення у 1959 р. механіко-математичного факультету Київського державного університету ім. Т. Г. Шевченка І. В. Сергієнко пов’язав своє професійне життя з академічним Інститутом кібернетики. У 1964 р. він захистив кандидатську, а в 1972-му — докторську дисертації. Того самого року Іван Васильович став професором кафедри обчислювальної математики Київського держуніверситету, а згодом — завідувачем її філії в Інституті кібернетики. Від 1994 р. він очолює кафедру теорії управління Московського фізико-технічного інституту, а з 2002 р. керує філією кафедри автоматизованих систем обробки інформації та управління Національного технічного університету України «Київський політехнічний інститут».

Як учений І. В. Сергієнко сформувався під наснажуючим впливом таких знаних науковців, як академіки В. М. Глушков, А.О. Дородніцин, В. С. Михалевич. Сам він є фундатором потужної наукової школи з комп’ютерної математики та інтелектуальних інформаційних технологій. Іван Васильович плідно працює над створенням і дослідженням моделей та методів математичної оптимізації, зокрема дискретної, розв’язанням низки актуальних проблем обчислювальної та прикладної математики, розробкою теорії програмування та створенням пов’язаних із нею комп’ютерних інтелектуальних технологій, які є підґрунтям для розв’язання на комп’ютерах реальних задач, зокрема трансобчислювальної складності. На початку 60-х років І. В. Сергієнко запропонував новий підхід до побудови алгоритмів наближеного розв’язання задач дискретної оптимізації.

Він створив нову алгоритмічну схему — схему методу вектора спаду, що дала можливість побудувати сімейство нових алгоритмів локального пошуку. Вона знайшла застосування у роботах різних спеціалістів, зокрема для створення різноманітних комп’ютерних технологій, призначених для розв’язання багатьох типів задач дискретного програмування. Так, на основі нових алгоритмів розв’язання задач пошуку максимальної незалежної множини вдалося одержати нові рекордні перешкодозахищені коди максимального об’єму. Були досліджені проблеми збіжності обчислювальних процесів, що здійснюються згідно із запропонованими алгоритмами, а також вивчено проблему стійкості багатокритеріальних задач дискретної оптимізації. Результати цього циклу робіт відображені у монографіях І. В. Сергієнка «Математические модели и методы решения задач дискретной оптимизации», «Задачи дискретной оптимизации: проблемы, методы решения, исследования», «Інформатика в Україні: становлення, розвиток, проблеми». З-поміж чільних здобутків Івана Васильовича та його учнів у галузі обчислювальної математики, інформаційних технологій моделювання і дослідження процесів різної природи назвемо лише головні. Це: по-перше, створення і теоретичне обґрунтування нових математичних моделей стаціонарних та динамічних процесів, що функціонують у неоднорідних середовищах із включеннями. Встановлення коректності досліджуваних моделей у класах розривних розв’язків. Аналогічні результати отримані для взаємодіючих процесів, які описують системами диференціальних рівнянь із частинними похідними; по-друге, побудова та доведення високоточних алгоритмів дискретизації класів задач математичної фізики з розривними розв’язками; по-третє, дослідження широких класів математичних моделей і чисельних методів для вивчення хвильових процесів у неоднорідних необмежених зонах. Запропоновано методологію побудови та дослідження дискретних задач з комплексно-значними несамоспряженими операторами. На основі побудованих нових узагальнених задач, що визначені на класах розривних функцій, І. В. Сергієнко спільно з В. С. Дейнекою розробили теорію оптимального керування багатокомпонентними розподіленими системами та дослідили їх оптимальну керованість. Отримані теоретичні результати є базою інформаційних технологій з аналізу, контролю, прогнозу та керування полями різної фізичної природи й процесами у складних інженерних об’єктах і середовищах.

Іван Васильович запропонував нові інформаційні технології дослідження на суперкомп’ютерах, обчислювальних мережах і комплексах сучасних проблем екології, економіки, управління, енергетики, захисту навколишнього природного середовища, меліорації та водного господарства, інших предметних галузей. Результати цього напряму його наукового пошуку узагальнені у монографіях «Інформатика та комп’ютерні технології», «Моделирование переходной экономики: модели, методы, информационные технологии», «Модели и методы решения задач в неоднородных средах», «Optimal Control of Distributed Systems with Conjugation Conditions» та ін. Наприкінці 60-х років І. В. Сергієнко зацікавився проблемою автоматизації процесів обробки та аналізу даних математичними методами, передусім методами теорії імовірностей і математичної статистики. На його думку, комп’ютеризація цих складних наукоємних процесів неодмінно передбачає різнобічні знання спеціалістів — як теоретичного, так і практичного характеру, і забезпечення інтегрованої обробки даних найефективнішими методами у конкретних галузях. Вироблені проектні рішення щодо організації обчислень на базі знань архітектури систем зі спіральною моделлю життєвого циклу та використання «накопиченого досвіду» експлуатації дослідних екземплярів програмних систем були сміливі і перспективні. Подальший розвиток ці ідеї отримали у процесі реалізації автоматизованих систем обробки даних на ЕОМ нових поколінь із потужнішими технічними засобами, новими операційними середовищами та системами програмування. Як результат — створено інформаційну технологію, спрямовану на автоматизацію всіх процесів побудови таких систем, зокрема процесів удосконалення та модернізації. Під керівництвом Івана Васильовича на базі Інституту кібернетики ім. В. М. Глушкова НАН України, який він очолює вже 11 років, засновано Кібернетичний центр НАН України — провідний науковий центр з інформатики. Він є головною державною організацією з проблем інформатизації і виконує функції міжвідомчого координування. І. В. Сергієнко — президент Української федерації інформатики, яка прийнята до міжнародної організації СЕРІS (функціонує при Європейському Союзі). Це дає право федерації видавати сертифікати про комп’ютерну грамотність фахівцям різних профілів для працевлаштування за кордоном. Перу вченого належать понад 500 наукових праць, з них 21 монографія. Він підготував 17 докторів та 55 кандидатів наук.

Іван Васильович є головою Національного комітету України з інформатики, очолює наукові ради НАН України «Інтелектуальні інформаційні технології» та з проблеми «Кібернетика». Він головний редактор міжнародного наукового журналу «Кибернетика и системный анализ» та часопису «Комп’ютерна математика», член редколегій низки періодичних видань ("Вісник НАН України", "Доповiдi НАН України", "Журнал обчислювальної та прикладної математики", "Проблеми програмування"). І.В. Сергієнко входить до багатьох міжнародних організацій, що координують діяльність у галузі інформатики в різних країнах світу. За ініціативою вчених Університету Колорадо, Техаського А&М Університету, Університету Флориди (США), з яким співпрацюють науковці Інституту кібернетики ім. В. М. Глушкова НАН України і особисто І. В. Сергієнко, у липні 2006 року відбулася міжнародна конференція з проблем оптимізації, присвячена ювілею Івана Васильовича, та спеціальний випуск часопису «Global Optimization». Видатний внесок ученого в розвиток вітчизняної науки відзначений численними нагородами та преміями. І. В. Сергієнко — Заслужений діяч науки і техніки України, шість разів ставав лауреатом Державної премії СРСР, УРСР і України у галузі науки і техніки, премій Ради Міністрів СРСР. За наукові відкриття був удостоєний академічних премій імені В. М. Глушкова, С. О. Лебедєва, В. С. Михалевича. Нагороджений орденами та почесними відзнаками Президента України, Президії Верховної Ради України та Кабінету Міністрів України.

 

Володимир Михалевич

Зробив значний внесок в теорію оптимальних рішень і розробку математичного апарату економічної кібернетики. Розвинув метод послідовного аналізу варіантів та концепцію інформатизації суспільства. Створив авторитетну наукову школу в області оптимізації і системного аналізу.

Підготував 48 кандидатів і докторів наук. 

 

КАТЕРИНА ЮЩЕНКО

Катерина Ющенко запропонувала (1956-1957) та реалізувала (1959-1969) на всіх вітчизняних ЕОМ першу мову програмування високого рівня – «Адресну мову», що включала засоби, які тільки через десятиліття з'явилися в інших мовах програмування, і вплинула на архітектуру ЕОМ «Київ», «Дніпро» тощо. 

За сорок рокiв роботи в Iнститутi кiберенетики iм.В.М.Глушкова Нацiональної академiї наук України нею створена широковiдома в Українi i за кордоном наукова школа теоретичного програмування.

 

ОЛЕКСАНДР ЛЕТИЧЕВСЬКИЙ

 

(нар. 1935р.)

 

Олександр Летичевський — видатний український вчений у галузі кібернетики та інформатики. Результати, отримані ним у галузі теорії автоматів та алгоритмів, комп’ютерної алгебри, штучного інтелекту та теорії проектування обчислювальних систем, широко відомі світовій науковій спільноті. Народився Олександр Адольфович 3 травня 1935 року в м. Києві. 1957 року закінчив механіко-математичний факультет Київського державного університету імені Тараса Шевченка і відтоді працює в Інституті кібернетики НАН України. 1963 року у Московському державному університеті захистив кандидатську дисертацію, яка була однією з перших робіт з алгебраїчної теорії автоматів. У ній вперше було вирішено проблему композиційної повноти автоматів Мура і побудовані основи структурної теорії подібної теорії Крона-Родоса, яка з’явилась значно пізніше. 1971 року в Інституті кібернетики захистив докторську дисертацію, присвячену теорії дискретних перетворювачів інформації. У цій роботі Олександр Летичевський обґрунтував новий підхід до вивчення проблеми еквівалентності алгоритмів. З 1980 року керує відділом рекурсивних обчислювальних машин, а з 2009 — відділом теорії цифрових автоматів. 1990 року його обрано членом-кореспондентом, а 2009 року — академіком НАН України за спеціальністю «інформатика». Олександр Летичевський — один з найяскравіших представників наукової школи академіка В.М. Глушкова, заснував свою наукову школу з прикладної теорії алгоритмів, результати якої широко використовуються у практиці. У 1980-1990 роках досліджував проблеми знаходження алгебраїчних інваріантів програм, їх використання для розробки ефективних алгоритмів і програм, проблему розподілених паралельних обчислювань і проблеми створення програмного забезпечення багатопроцесорних обчислювальних систем з розподіленою пам’яттю. Останнім часом розвиває нову оригінальну математичну теорію взаємодії математичних агентів і середовищ, що складають теоретичну базу інсерціонного моделювання. Олександр Летичевський брав участь у багатьох практичних і промислових розробках. Зокрема, у 1960–1970 роках він був одним з основних розробників математичного забезпечення машин серії МИР для інженерних розрахунків та систем автоматизації проектування обчислювальних машин ПРОЕКТ. У 1980-і роки керував створенням математичного забезпечення багатопроцесорних обчислювальних комплексів. Система алгебраїчного програмування АПС, створена Олександром Летичевським та його учнями в Інституті кібернетики, базується на досвіді побудови цих систем. Нині вчений керує використанням своїх теоретичних результатів для побудови програмного забезпечення у зарубіжних фірмах Motorola та UniSoft. Від 1964 року Олександр Летичевський викладає у Національному університеті імені Тараса Шевченка, керує міжнародними проектами за програмами INTAS, NATO і CRDF, є членом редколегій журналів «Кибернетика и системний анализ», «Theoretical Computer Science», багато спілкується з міжнародними науковими організаціями та зарубіжними вченими. Його працю вшановано Державною премією СРСР, державними преміями України, премією імені В.М. Глушкова. У науковому доробку вченого понад 200 робіт і монографій, серед його учнів понад 40 кандидатів та 9 докторів наук.

 

 

 

АНАТОЛІЙ АНІСІМОВ

 

 

(нар.1948 р.)

Анатолій Васильович Анісімов (15 червня 1948) — український кібернетик, доктор фізико-математичних наук, професор, декан факультет кібернетики Київського національного університету ім. Тараса Шевченка, член-кореспондент НАН України (2009), дійсний член Академії наук вищої школи України. Закінчив механіко-математичний факультет КНУ ім. Тараса Шевченка (1965—1970). Захистив дисертацію за темою «Групи та контекстно-вільні граматики» (1972). У 1994 році захистив докторську дисертацію за темою «Рекурсивні перетворювачі інформації». Асистент (1970—1972), старший викладач (1972—1974), доцент (1974—1977) факультету кібернетики КНУ ім. Т. Шевченка. Завідувач кафедри теоретичної кібернетики (1977—1980), завідувача кафедри математичної лінгвістики (1980—1984). З 1984 року — професор, завідувач кафедри математичної інформатики. З 2004 року — декан факультету кібернетики. З 1992 року завідувач відділу інтелектуалізації інформаційних технологій Міжнародного науково-навчального центру інформаційних технологій та систем Національної академії наук України. Член бюро відділення інформатики НАН України. Під час стажування у Стенфордському університеті в 1976—1977, Анатолій Анісімов був слухачем курсу «Мистецтво програмування» Дональда Кнута. Він же є автором передмови до третього видання першого тому впливового багатотомника «Мистецтво програмування» згадуваного вченого російською мовою. Під його керівництвом захищено 2 докторські та 35 кандидатських дисертацій. Лауреат премії Національної академії наук України імені Глушкова у галузі кібернетики (1994). Соросівський професорський ґрант (1995—1996). Лауреат Державної премії України (1998).[Джерело?] Заслужений діяч науки і техніки України (2005). Нагорода Ярослава Мудрого АН ВШ України (2006). Лауреат премії НАН України імені С. О. Лєбєдева у галузі обчислювальної техніки (2007).[3] Заслужений професор Київського національного університету ім. Тараса Шевченка (2008). Відзнака президії НАН України «За підготовку наукової зміни» (2008). Орден «За заслуги» III ступеня (2009).

 

ВІКТОР ГЛУШКОВ

(1923 -1982)

Віктор Михайлович Глушков народився 24 серпня 1923 року в Ростові-на-Дону у родині службовців. Батько Михайло Іванович Глушков родом із станиці Луганської, України. Мати із станиці Каменської (зараз Каменськ-Шахтинський), Ростовської області Росії. В 1941 році з золотою медаллю закінчив середню школу №1 в місті Шахти. Вищу математичну освіту отримав в Новочеркаському політехнічному інституті (1943–1948 рр.) та Ростовському держуніверситеті (1947–1948 рр.). З жовтня 1948 р. працював викладачем в Уральському лісотехнічному інституті, одночасно проводив інтенсивну науково-дослідну роботу. У 1951 р. В. М. Глушков захистив кандидатську, а у грудні 1955 р. — докторську дисертацію у Московському державному університеті. 1-й корпус Інституту кібернетики імені В.М. Глушкова. Наступні 25 років активного життя ученого найтіснішим чином пов'язані з Академією наук УРСР та Інститутом кібернетики АН УРСР. На запрошення академіка Б. В. Гнєденка у 1956 р. В. М. Глушков стає завідуючим лабораторією обчислювальної техніки Інституту математики Академії наук УРСР. Саме у даній лабораторії у 1950 році під керівництвом Лебедєва було розроблено перший радянський комп'ютер ("МЭСМ"). У 1957 році стає директором Обчислювального центру АН УРСР. У 1958 р. В. М. Глушкова обирають членом-кореспондентом АН України за спеціальністю Алгебра. У лютому 1961 р. В. М. Глушкова було обрано дійсним членом Академії наук України, а в 1964 р. він стає віце-президентом АН УРСР. У 1962 році на базі Обчислювального центру Глушков створює Інститут кібернетики АН УРСР. Будучи його директором, він будує цілий комплекс корпусів на краю Києва ("Кібцентр") та житлові багатоповерхові будинки для співробітників Інституту. Так, за 20 років кількість працівників інституту зростає з кількох сотень до кількох тисяч. Значну увагу приділяв популяризації кібернетики як науки, та автоматизації економіки Радянського Союзу. В Інституті Кібернетики під його науковим керівництвом було розроблено ЕОМ "Киев" і першу в Україні та колишньому СРСР напівпровідникову керуючу машину широкого призначення "Днепр". Попередниками персональних комп'ютерів стали машини для інженерних розрахунків "Промінь" (1963), "Мир-1" (1966), "Мир-2" (1969), у яких було реалізовано запропоновану В. М. Глушковим ідею ступеневого мікропрограмного управління. Практично всі розроблені в Інституті ЕОМ за його керівництва в свій час майже не поступалися закордонним аналогам і мали оригінальну архітектуру (лише на початку 80-х Союз перейшов на копіювання закордонних аналогів обчислювальної техніки, що згодом призвело до серйозного відставання радянських взірців від закордонних).Під керівнцтвом Віктора Михайловича, Головною редакцією «Української радянської енциклопедії» видано першу в світі «Енциклопедію кібернетики» в 2-х томах українською (1973) та російською (1974) мовами. Помер 30 січня 1982 року. після тяжкої хвороби. Похований в Києві на Байковому кладовищі (ділянка № 1).

 

ГОТФРІД ВІЛЬГЕЛЬМ ЛЕЙБНІЦ

(1 липня 1646 — 14 листопада 1716)

Провідний німецький філософ, логік, математик, фізик, мовознавець та дипломат.

Передбачив принципи сучасної комбінаторики. Створив першу механічну лічильну машину, здатну виконувати додавання, віднімання, множення й ділення. Незалежно від Ньютона створив диференціальне й інтегральне числення і заклав основи двійкової системи числення. У рукописах і листуванні, які було надруковано лише в середині 19 ст., розробив основи теорії детермінантів. Зробив вагомий внесок у логіку і філософію. Мав надзвичайно широке коло наукових кореспондентів, багато з ідей викладено в рукописах і листуванні, що ще й досі повністю не надруковано.

У 1661 р., у віці 14 років, Лейбніц вступив до Лейпцизького університету, де у 1663 р. отримав степінь бакалавра, з дисертацією "De Principio Individui", з якої бере початок його пізніша теорія монад. Викладання математики в Лейпцигу було поганим, і влітку 1663 р. Лейбніц навчався у Йенському університеті, де на нього вчинив великий вплив філософ і математик Ерхард Вейгель. У жовтні 1663 р. Лейбніц повертається до Лейпцига і розпочинає курс навчання до доктора права. Отримує степінь магістра філософії за дисертацію, яка поєднує аспекти філософії і права з деякими математичними ідеями, що походять від Вейгеля. Отримує степень бакалавра права, працює над докторською дисертацією з філософії, "Dissertatio de arte combinatoria", яку надруковано у 1666 р.

Незважаючи на його неабияку на той час репутацію і визнання його праць, Лейбніцу було відмовлено у степені доктора права в Лейпцигу, тому він негайно поїхав до Альтдорфа, де у лютому 1667 р. отримав цю степень за свою дисертацію "De Casibus Perplexis". Йому була запропонована посада професора в Альтдорфі, але Лейбніц відмовився, обравши натомість кар'єру дипломата і юриста. З 1667 до 1772 р. перебував на службі Майнського курфюрста, барона Йоганна Кристіана фон Бойнебурґа, завдяки якому у 1672 р. він дістав змогу подорожувати до Парижа, де він залишатиметься до жовтня 1676 р., і до Лондона взимку 1673 р. Під час ціх подорожей Лейбніц обізнався з деякими з найвидатніших вчених і філософів того часу, зокрема Арно, Малебраншем і Гюйгенсом у Парижі, а також Гуком, Бойлем і Пеллем у Лондоні. Під час перебування у Парижі, Лейбніц розпочав дослідження з диференціального і інтегрального числення. Лейбніц надавав надзвичайну увагу питанням зручної наукової нотації, і в рукопису від 21 листопада 1675 р. він вперше використав нині загальновизнанний запис для інтегралу функції. З грудня 1676 р. до кінця свого життя Лейбніц обіймає посади надвірного бібліотекаря та канцлера у місті Ганновер.

Наукові досягнення

У 1671 р. Лейбніц надрукував мемуар "Hypothesis Physica Nova", у якому намагався розробити абстрактну теорію руху. Слідом за Кеплером, стверджував, що рух залежить від дії духа.

Лейбніц шукає можливості для розширення наукових контактів. Він розпочинає листування з Ольденбургом, секретарем Лондонського наукового товариства. Восени 1672 р., з нагоди дипломатичної місії від Бойнебурга у Парижі, Лейбніц обізнається з Гюйгенсом і за його керівництвом розпочинає дослідження з теорії рядів і знаходить славетну формулу

Під впливом Гюйгенса, Лейбніц вивчає праці Паскаля, Грегорі та інших з інфінітезімальної геометрії, тобто питання дотичних до кривих, і виходить з ідеєю "функції", в сучасній термінології — похідної, таким чином винаходячи центральну концепцію математичного аналізу. Він також робить перші кроки в інтегральному численні, зокрема впроваджуючи символ для інтеграла. Ньютон написав два листа до Лейбніца, в яких повідомив про свої дослідження з аналізу, але без викладання методів. У відповідь, Лейбніц описав деякі з своїх методів, щодо яких Ньютон зневажливо зауважив: "...не розв'язане жодне попередньо відкрите питання...".

Лейбніц виготовив механічний калькулятор, зокрема, щоб полегшити працю свого друга астронома Х. Гюйгенса, і на початку 1673 р. продемонстрував його на засіданні Королівського товариства в Лондоні. У машині Лейбніца використовувався принцип зв'язаних кілець підсумовуючої машини Паскаля, але Лейбніц ввів у неї рухомий елемент (прототип каретки настільного калькулятора), що дозволив прискорити повторення операції додавання, необхідне при перемножуванні чисел. Замість коліщат і приводів у машині Лейбніца використовувалися циліндри з нанесеними на них цифрами. Кожен циліндр мав дев'ять рядів виступів або зубців. При цьому перший ряд містив один виступ, другий ряд - два виступи і так аж до дев'ятого ряду, що містив відповідно дев'ять виступів. Циліндри з виступами були рухомими.

Спеціально для своєї машини Лейбніц застосував систему числення, що використовує дві цифри: 0 і 1. Принцип двійкової системи числення Лейбніц пояснював на прикладі коробочки з отворами: відкритий отвір означає 1, закритий - 0. Одиниця позначалася кулею, що випала, нуль - відсутністю кулі. Двійкова система числення Лейбніца знайшла згодом застосування в автоматичних обчислювальних пристроях.

Лейбніц виклав свої дослідження з математичного аналізу у декількох мемуарах, починаючи з "Nova Methodus pro Maximis et Minimis, Itemque Tangentibus, qua nec Fractas nec Irrationales Quantitates Moratur, et Singulare pro illi Calculi Genus" (“Новий метод для максимумів і мінімумів, а також дотичних, якому не заважають ні дробні, ні ірраціональні кількості, і дивовижний вид числення для цього"), надр. в Acta Eruditorum в 1684 р. Зокрема, вже перший мемуар містить нотацію dx і правила для діференціювання добутків, часток і степенів. Оскільки жодні з результатів методу флюксій Ісаака Ньютона, який він розробляв принаймні з 1671 р., ще не було надруковано (Ньютоновські "Philosophiae Naturalis Principia Mathematica" з'явились лише у 1687 р.), ці публікації Лейбніца згодом призвели до надзвичайно лютої і тривалої суперечки щодо пріоритету у створенні диференціального та інтегрального числення. Так чи інакше, ідеї Лейбніца та його нотація мали набагато більший вплив на розвиток математичного аналізу протягом наступного століття, особливо на континенті.

Незважаючи на те, що проект осушування копалень в горах Гарца у 1678-1684 р.р. зазнав невдачі, під час його виконання Лейбніц розробив чимало конструкцій вітряків, помп та інших механізмів. До того ж, завдяки накопиченним спостереженням Лейбніц перетворився на першостатного експерта з геології, сформулювавши гіпотезу, що Земля спочатку була розплавленною.

Ще одним з визначних досягненнь Лейбніца був його трактат "Dynamica" з аналітичної механіки, який підсумував дослідження розпочаті у 1676 р.

Лейбніц листувався з майже усіма сучасними науковцями Європи, до його кореспондентів належало понад 600 осіб. Він переконав Фрідріха Вільгельма I заснувати Бранденбурзьке наукове товариство (пізніше - Берлінська АН) і з 1700 був його президентом. На прохання Петра I розробив проекти розвитку освіти і державного керування в Росії. Також доклав чимало зусиль для заснування наукових академій в Санкт-Петербурзі, яку було створено вже після його смерті, і у Відні.

У своїх метафізичних роботах, наприклад, "Монадологія" 1714, доводив, що все складається з незліченних елементів, монад, що знаходяться між собою в відношенні гармонії. Монади, будучи незалежними одна від одної, взаємодіють. Це означає, що християнська віра і наукове знання не повинні бути в конфлікті, і існуючий світ створений Богом як найкращий з усіх можливих світів.

Ганновер,церква Св. Егідія, руїни після 2-ї світової війни.

Ганновер, історична частина міста

 

Лейбніц на поштових марках

Марка 1966 р. Німеччина

Марка 1980 р. Німеччина

 

ДЖОН НЕПЕР

(1550 — 4 квітня 1617)

Шотландський математик і теолог, винахідник логарифмів. Винайшов декілька корисних сільськогосподарських знарядь. У 1590-х роках дійшов ідеї логарифмічних обчислень і склав перші таблиці логарифмів, проте своя знаменита праця “Опис дивовижних таблиць логарифмів” опублікувала лише в 1614 році. Йому належить визначення логарифмів, пояснення їх властивостей, таблиці логарифмів синусів, косинусів, тангенсів і додатку логарифмів в сферичній тригонометрії. Кінематичне визначення логарифма, дане Непером, по суті, рівносильне визначенню логарифмічної функції через диференціальне рівняння. Неперу належить також ряд зручних для логарифмування формул рішення сферичних трикутників.

 

ДЖОН БЕКУС

(Народився 3 грудня 1924)

Один з авторів мов програмування Фортран і Алгол народився у Філадельфії (США). У 1950 році Бекус почав працювати програмістом у фірмі IBM. У 1953 році він запропонував створити для комп'ютера IBM-704 мову, що дозволяє записувати команди майже в звичній формі алгебри, і компілятор для нього. Перший звіт, пов'язаний із створенням мови Фортран (FORTRAN, від FORmula TRANslator — транслятор, або перекладач формул), вийшов в листопаді 1954 року. Велику популярність одержала версія під назвою “Фортран IV”, випущена в 1962 році. Джон Бекус активно допомагав і розвитку Алголу, попутно розробивши спеціальну систему визначень для мов програмування.

 

НІКЛАУС ВІРТ

(Народився 15 лютого 1934)

Швейцарський інженер і дослідник світу програмування. Автор і один з розробників мови програмування Паскаль. Н.Вірт був одним з перших, хто ввів в практику принцип покрокового уточнення як ключового для систематичного створення програм. Крім Паскаля, створив і інші алгоритмічні мови (у їх числі Модула-2 і Оберон). Вони не дуже відомі “виробничим” програмістам, але широко використовуються для теоретичних досліджень у області програмування. Вірт є одним з найавторитетніших в світі учених у області комп'ютерних наук, його книга “Алгоритми + структури даних = програми” (“Algorithms + Data Structures = Programs”) вважається одним з класичних підручників по структурному програмуванню.

 

ДЖОН (ЯНОШ) КЕМЕНІ

(31 травня 1926 — 26 грудня 1992)

Математик, професор Дартмутського коледжу (США). Разом з Томасом Курцем розробив мову програмування BASIC і мережеву систему користування декількома комп'ютерами одночасно (“time sharing”). Разом з батьками емігрував в США з Угорщини в 1940 році. Закінчив Прінстонській університет, де вивчав математику і філософію. У 1949 році захистив дисертацію, а в 1953 році був запрошений в Дартмут. Будучи деканом Математичного факультету Дартмутського коледжу з 1955 по 1967 рік і навіть знаходячись на посту президента коледжу (1970–1981), не залишав викладацької діяльності. Був одним з піонерів викладання основ програмування: вважав, що цей предмет повинен бути доступний всім студентам, незалежно від їх спеціалізації.

 

ТОМАС КУРЦ

(Народився 28 лютого 1928)

Математик, професор Дартмутського коледжу (США). Разом з Джоном Кемені розробив мову програмування BASIC і мережеву систему користування декількома комп'ютерами одночасно (“time sharing”).

Одержав науковий ступінь в Прінстонськом університеті в 1956 році і відразу був запрошений на Математичний факультет в Дартмутській коледж. Разом з Джоном Кемені вважав, що студенти повинні освоювати машину, створюючи працюючі програми, а не просто слухаючи лекції. В результаті такого підходу з'явилася багатозадачна мова символьних конструкцій для початківців — BASIC (The Beginner’s All-Purpose Symbolic Instruction Code). Кемені і Курц не стали патентувати свій винахід, що сприяло його розвитку і збільшенню числа версій

 

СЕЙМУР ПЕЙПЕРТ

(Народився 1 березня 1928)

Народився в Преторії (Південна Африка), один з авторів створеної в 1968 році “дитячої” комп'ютерної мови Лого. За ініціативою C.Пейперта в мові стала використовуватися так звана “черепашка”, що забезпечує зв'язок “об'єкт — думка” (спочатку уживалася механічна черепашка, що повзає по підлозі, а потім — її умовне зображення на екрані). Як відзначав Пейперт, “комп'ютер звичайно крок за кроком веде дитину за собою”, а Логотип, навпаки, “переконує дитину у тому, що він здатний управляти машиною, дозволяє дитині сказати: “Тут я господар”. Багато в чому завдяки саме Сеймуру Пейперту сьогодні практично будь-який учень початкової школи в процесі гри здатний освоїти програмування, яке декількома десятиліттями раніше було доступне лише невеликій кількості фахівців.

 

ДЕННІС РІТЧИ

(Народився 9 вересня 1941 року)

Народився в Бронксвіллі, штат Нью-Йорк (США). Фахівець з системного програмування, автор і один з розробників мови С (Сі), в якому поєднувалися кращі властивості асемблера і мов високого рівня; однієї з самих універсальних мов програмування. На ньому була написана майже вся операційна система UNIX, в розробці якої брав активну участь Рітчи.

У 1983 році Деннісу Рітчи і Кену Томпсону за розробку і реалізацію мови програмування З і операційної системи UNIX була вручена премія Тюрінга. У 1988 році Рітчи був вибраний в Американську національну інженерну академію (National Academy of Engineering).

 

ГРЕЙС МЮРРЕЙ ХОППЕР

(9 грудня 1906 — 1 січня 1992)

Американський математик і контр-адмірал Військово-морських сил США, учасниця створення першого комерційного електронного комп'ютера, одна з створювачів мови програмування Кобол (COBOL — common-business-oriented language). Для полегшення роботи програмістів Хопер запропонувала складати програми з так званих “підпрограм”, що є послідовностями команд, що часто повторюються. Вона зайнялася розробкою першого компілятора — програми, здатної автоматично знаходити в бібліотеці готові підпрограми і формувати з них готову програму в зрозумілому комп'ютеру двійковому коді. У віці 79 років вона все ще залишалася діючим офіцером флоту, і лише в 1986 році остаточно пішла на пенсію.

 

ТІМ БЕРНС ЛІ

8 червня 1955 (59 років)

Тім Бернерс-Лі народився в Лондоні (Англія). Його батьки, Конвей Бернерс-Лі та Мері Лі Вудс були математиками і працювали над створенням «Manchester Mark I», одного з перших комп'ютерів. Тім навчався в школі Емануель в місті Вендсворті, потім у Королівському коледжі в Оксфорді. Там він зібрав свій перший комп'ютер на базі процесора M6800 з телевізором замість монітора. Один раз Тім і його друг були спіймані при проведенні хакерської атаки, за це вони були позбавлені права користуватися університетськими комп'ютерами

Після закінчення Оксфордського університету в 1976 році Бернерс-Лі поступив на роботу в компанію «Plessey Telecommunications Ltd» у графстві Дорсет, де пропрацював два роки, займаючись головно системами розподілених транзакцій.

У 1978 році Бернерс-Лі перейшов до компанії «DG Nash Ltd», де займався програмами для принтерів і створив модель багатозадачної операційної системи.

Потім він півтора року пропрацював у Європейській лабораторії з ядерних досліджень ЦЕРН (Женева, Швейцарія) консультантом з програмного забезпечення. Саме там він для власних потреб написав програму «Енквайр» (англ. «Enquire», можна вільно перекласти як "Дізнавач»), яка використовувала випадкові асоціації та заклала концептуальну основу для Всесвітньої павутини. З 1981 по 1984 рік Тім Бернерс-Лі працював у компанії «Image Computer Systems Ltd» системним архітектором.

У 1984 році він отримав стипендію в CERN і зайнявся там розробкою розподілених систем для збору наукових даних. У цей час він працював над системою «FASTBUS» і розробив свою систему RPC (англ. Remote Procedure Call, віддалений виклик процедури).

У 1989 році, працюючи в CERN над внутрішньою системою обміну документів ENQUIRE, Бернерс-Лі запропонував глобальний гіпертекстовий проект, нині відомий як Всесвітня павутина. Проект було затверджено і реалізовано.

З 1991 по 1993 рік Тім Бернерс-Лі продовжував роботу над Всесвітньою павутиною. Він збирав відгуки від користувачів і координував роботу Павутини. Тоді він вперше запропонував для широкого обговорення свої перші специфікації URI, HTTP і HTML.

У 1994 році Бернерс-Лі перейшов працювати на кафедру «3Com» в Лабораторії інформатики Массачусетського технологічного інституту.Він і зараз є там провідним дослідником і обіймає посаду «засновника». Після злиття Лабораторії інформатики з Лабораторією штучного інтелекту в МТІ утворилася Лабораторія інформатики і штучного інтелекту (CSAIL).

У 1994 році він заснував Консорціум Всесвітньої павутини при Лабораторії інформатики МТІ. Відтоді і досьогодні Тім Бернерс-Лі очолює цей консорціум. Консорціум займається розробкою і впровадженням стандартів для Інтернету. Консорціум ставить перед собою завдання повністю розкрити потенціал Всесвітньої павутини, поєднуючи стабільність стандартів з їхнью швидкою еволюцією.

У грудні 2004 року Тім Бернерс-Лі став професором Саутгемптонського університету. За вагомої підтримки університету він сподівається здійснити проект семантичної павутини.Зараз сер Тім живе в передмісті Бостона з дружиною і двома дітьми, часто буває в роз'їздах по всьому світу.Він взяв участь у церемонії відкриття Лондонської олімпіади, де сидів за своєю старою робочою станцією «NexSTcube» і передав з неї твіт «Це для кожного»

Ця робоча станція марки NeXTcube була першим веб-сервером. Нею користувався Тім Бернерс-Лі. Зараз вона знаходиться в музеї CERN, кантон Женева, Швейцарія

У 1989 році, працюючи в ЦЕРН, Бернерс-Лі запропонував проект, відомий під назвою "ВсесВітня паВутина" (англ. World Wide Web, скорочено WWW). Проект мав на меті публікацію гіпертекстових документів, пов'язаних між собою гіперпосиланнями, що полегшило б пошук і консолідацію інформації. Проект Павутини був призначений для вчених ЦЕРНу й спочатку використовувався у внутрішній мережі центру. Для здійснення проекту Тімом Бернерс-Лі спільно з його помічниками були винайдені ідентифікатори URI (і, як окремий випадок, URL), протокол HTTP і мову HTML. Ці технології покладено в основу сучасної Всесвітньої павутини. У період з 1991 по 1993 рік Бернерс-Лі удосконалив технічні специфікації стандартів і опублікував їх.

У рамках проекту Бернерс-Лі написав перший у світі веб-сервер «httpd» і перший у світі гіпертекстовий веб-браузер, що називався «WorldWideWeb». Цей браузер був одночасно і WYSIWYG-редактором (англ. WYSIWYG від What You See Is What You Get, «що бачиш, те й отримаєш»), його розробка була розпочата в жовтні 1990 року, а закінчена в грудні того ж року. Програма працювала в середовищі «NeXTStep» і почала поширюватися по Інтернету влітку 1991 року.

Перший у світі веб-сайт Бернерс-Лі створив за адресою http://info.cern.ch. Тепер сайт зберігається в архіві. Цей сайт з'явився онлайн в Інтернеті 6 серпня 1991 року. На цьому сайті описувалося що таке Всесвітня павутина, як встановити веб-сервер, як роздобути браузер тощо. Цей сайт також був першим у світі інтернет-каталогом, тому що пізніше Тім Бернерс-Лі розмістив і підтримував там список посилань на інші сайти.

 

ЕДСГЕР ВІБЕ ДЕЙКСТРА

(1930 - 2002)

Едсгер Вібе Дейкстра (нідерл. Edsger Wybe Dijkstra; 11 травня 1930, Роттердам (Нідерланди) - 6 серпня 2002) - видатний нідерландський вчений, ідеї якого зробили величезний вплив на розвиток комп'ютерної індустрії. Народився 11 травня 1930 року в Роттердамі, в сім'ї вчених (батько - хімік, мати - математик).

Після закінчення школи вступив на факультет теоретичної фізики Лейденського університету. У 1951 році захопився програмуванням, вступив на тритижневі комп'ютерні курси в Кембріджі, з 1952 року працював програмістом в Математичному центрі Амстердама під керівництвом професора Ван Вейнгаардена (згодом - автора одного із способів формального опису граматики формальних мов - так званих дворівневих граматик Ван Вейнгаардена).

Вже в 1952 році прийняв рішення остаточно спеціалізуватися на програмуванні, але курс теоретичної фізики закінчив. У 1956 році взяв участь у розробці ЕОМ X1. Ця машина була створена трьома ентузіастами за рік. Саме для оптимізації розводки плат для X1 був придуманий алгоритм пошуку найкоротшого шляху на графі, відомий як «алгоритм Дейкстри».У 1957 році Дейкстра одружився. Як згадував він сам, у графі «професія» анкети, яку покладено заповнювати при одруженні, він написав «програміст» - і його змусили переписувати документи, заявивши, що такої професії не існує. В результаті, як писав Дейкстра: «Хочете - вірте, хочете - ні, але в графі" професія "мого свідоцтва про шлюб значиться кумедна запис" фізик-теоретик "!».У 1958-1960 роках брав участь у розробці мови програмування Алгол, в 1960-х - брав участь у створенні операційної системи THE (англ.) - першої операційної системи, побудованої у вигляді безлічі паралельно виконуються взаємодіючих процесів.

Саме в процесі цієї роботи з'явилися поняття синхронізації процесів, ідея семафора, а також була чітко усвідомлена необхідність у структуризації процесу програмування і самих програм.

Тривалий час працював у фірмі Burroughs Corporation. У 1970-і роки разом з Чарльзом Хоаром і Никлаусом Віртом розробив основні положення стала класикою методології розробки програм - структурного програмування.

В останні роки життя викладав в США, в Техаському університеті. Помер 6 серпня 2002 року.

Популярність Дейкстри принесли його роботи в області застосування математичної логіки при розробці комп'ютерних програм. Він активно брав участь у розробці мови програмування Алгол і написав перший компілятор Алгол-60. Будучи одним з авторів концепції структурного програмування, він проповідував відмову від використання інструкції GOTO.

Також йому належить ідея застосування «семафорів» для синхронізації процесів в багатозадачних системах і алгоритм знаходження найкоротшого шляху на орієнтованому графі з невід'ємними вагами ребер, відомий як Алгоритм Дейкстри. У 1972 році Дейкстра став лауреатом премії Тьюринга.

Дейкстра був активним письменником, його перу (він вважав за краще авторучку клавіатурі) належить безліч книг і статей, найвідомішими з яких є книги «Дисципліна програмування» та «Нотатки по структурному програмуванню», і стаття «Про шкоду оператора GOTO» (GOTO considered harmful) - класичні книги з теорії структурного програмування.

Крім обговорення спеціальних питань, у своїх статтях і книгах Дейкстра послідовно відстоював необхідність математичного підходу до програмування, який передбачає попереднє точне, всебічне математичний опис завдання та способи її вирішення, формальний доказ правильності обраного алгоритму і подальшу реалізацію алгоритму у вигляді максимально простою, структурованої програми, коректність якої повинна бути формально доведена.

На думку Дейкстри, панівний у комп'ютерній індустрії підхід до програмування як до процесу досягнення результату методом проб і помилок («написати код - протестувати - знайти помилки - виправити - протестувати - ...«) порочний, оскільки стимулює програмістів не думати над завданням, а писати код , при цьому зовсім не гарантує коректність програм, яка не може бути доведена тестуванням в принципі.

Дейкстра багаторазово застерігав від спроб перетворити розробку програм в якийсь тривіальний процес; на його думку, програмування, в суті своїй - надзвичайно складна наукова і інженерна діяльність, і ніякі нові методи й інструменти не зможуть кардинально змінити це становище - вони лише звільняють програміста від частини рутинної роботи. Спроби ж перетворити програмування в просте заняття, доступне кожному, приречені на провал.

Дейкстра також придбав чималу популярність за межами академічних кіл завдяки своїм різким і афористичним висловлювань з актуальних проблем комп'ютерної індустрії.

 

ЖАЛДАК МИРОСЛАВ ІВАНОВИЧ

Оcвіта: Київський державний університет імені Т.Г.Шевченка, 1959 р.

Посада: почесний директор інституту, завідувач кафедри, професорНаукові ступені і звання: академік НАПН України, доктор педагогічних наук, професорДисципліни, які викладає: теорія ймовірностейВ університеті працює: з 1962 р.Кафедра теоретичних основ інформатикиФах: математик-обчислювач. Рід діяльності: науково-педагогічна. Освіта: Київський державний університет імені Т.Г.Шевченка, механіко-математичний факультет в 1959 р.Вчені ступені, звання:кандидат фізико-математичних наук (1965),доцент (1970),доктор педагогічних наук (1990),професор (1991),член-кореспондент Академії педагогічних наук України (1992),академік Академії педагогічних наук України (1995).Наукові, почесні звання:Ветеран праці (1987),Відмінник народної освіти УРСР (1987),Відмінник освіти СРСР (1989),Заслужений діяч науки і техніки України (2000),Заслужений професор НПУ імені М.П. Драгоманова(2011).Працював:1959-1960 - ДКБ а/я 56, м. Тула (Росія), інженер;1960-1962 - КВІРТУ м. Київ, асистент кафедри вищої математики;з 1962 - Київський державний педагогічний інститут імені О.М.Горького (нині Національний педагогічний університет імені М.П.Драгоманова): аспірант, молодший науковий співробітник науково-дослідної електронно-обчислювальної лабораторії, асистент, старший викладач, доцент, завідуючий кафедрою, професор.з 1980 - завідуючий кафедрою вищої математики,з 1989 - завідуючий кафедрою інформатики.з 2008 - директор Інституту інформатики, завідуючий кафедрою теоретичних основ інформатики. Досліджує проблеми комп'ютерно-орієнтованих систем навчання природничих дисциплін в середніх і вищих педагогічних навчальних закладах.Читає лекції з обчислювальної математики, теорії ймовірностей, інформатики.Підготував 28 кандидатів наук і дванадцять докторів наук.Член (з 2003 року голова) спеціалізованої Вченої ради Д 26.053.03 із захисту докторських і кандидатських дисертацій за спеціальністю 13.00.02 - теорія і методика навчання (математики, фізики, інформатики).Науковий керівник Всеукраїнського науково-методичного семінару з проблем інформатизації навчального процесу, головний редактор збірника наукових праць ''Комп'ютерно-орієнтовані системи навчання'', який видається за результатами роботи семінару, член редколегій журналів ''Комп'ютер в школі та сім'ї'', ''Математика в школі'', член редакційної ради газети ''Інформатика'', голова методичної комісії з інформатики при Науково-методичній раді Міністерства освіти і науки України.З 1987 р. по 2002 р. був головою журі обласних і республіканських олімпіад з інформатики, республіканських конкурсів Вчитель року з інформатики (2002 р., м. Херсон) та математики (2004 р., м. Біла Церква) , Брав участь у роботі Малої Академії наук (1998-2000 рр. голова журі).Співавтор змісту і програм курсів ''Чисельні методи'', ''Основи інформатики'', ''Інформатика'', ''Математична логіка і теорія алгоритмів'', ''Обчислювальна практика для фізико-математичних факультетів педагогічних інститутів'' (1992 р.), один із авторів концепції інформатизації освіти в Україні (1994 р.), концепції змісту наскрізної освіти з інформатики і обчислювальної техніки для всіх ланок освіти (1993 р.), проекту Державного стандарту загальної середньої освіти в Україні з інформатики (1997 р.), Держаного стандарту загальної середньої освіти в Україні з інформатики (2003 р.), типової програми кандидатського іспиту із спеціальності 13.00.02 Теорія і методика навчання інформатики (1999 р.), Галузевих стандартів вищої освіти напряму підготовки 0101 Педагогічна освіта. спеціальність 6.010100 Педагогіка і методика середньої освіти; Математика і фізика (2002 р.).Опублікував понад 250 робіт, серед яких біля 50 книг і брошур. Основні з них:1. Чисельні методи математики. -К. Вища школа. 1984. -206 с. (у співавторстві з Рамським Ю.С.).2. Изучение языков программирования в школе. -К. Радянська школа. 1988. -272 с. (у співавторстві з Шкілем М.І., Морзе Н.В., Рамським Ю.С.).3. Інформатика. Навчальний посібник для студентів фізико-математичних факультетів педагогічних інститутів. -К. Вища школа. 1991. -320 с. (у співавторстві з Рамським Ю.С.).4. Комп'ютер на уроках математики. Посібник для вчителів. -К. Техніка. 1997. -304 с.5. Інформатика-7. Навчальний посібник для учнів 7-го класу загальноосвітньої школи. -К. ДіаСофт. 2000 -208 с. (у співавторстві з Морзе Н.В.)6. Елементи стохастики з комп'ютерною підтримкою. Посібник для вчителів. -К. Шкільний світ. 2002.- 120 с. (у співавторстві з Михаліним Г.О.).7. Математика (алгебра і початки аналізу) з комп'ютерною підтримкою Київ.: МАУП, 2003. - 304 с.( у співавторстві з Грохольською А.В., Жильцовим О.Б).8. Програмний комплекс GRAN Версія 1.0. Міністерство освіти і науки України. Державний департамент інтелектуальної власності. Свідоцтво про реєстрацію авторського права на твір № 7937 (у співавторстві з Горошко Ю.В., Вітюком О.В.).9. Математика з комп'ютером. Посібник для вчителів. - К. РНЦУ ДІНІТ, 2004 р. - 250 с. (у співавторстві з Ю.В. Горошком, Є.Ф. Вінниченком). 11. Комп'ютер на уроках геометрії. Посібник для вчителів. - К. РНЦУ ДІНІТ, 2004. - 172 с. (у співавторстві з Вітюком О.В.).10. Теорія ймовірностей і математична статистика. Підручник для студентів фізико-математичних факультетів педагогічних університетів. -Полтава. Довкілля - К. 2009. -500 с. (співавтори Г.О. Михалін, Н.М. Кузьміна).