Колектив кафедри вітає

доктора технічних наук, професора кафедри
Фечана Андрія Васильовича
з днем народження!
З днем народження щиро вітаємо,
Щасливої долі й здоров’я бажаємо,
Кар'єрного росту і процвітання
І щоб збувались усі побажання!

Колектив кафедри вітає

кандидата фізико-математичних наук, асистента кафедри
Галину Юріївну Гарматій
з днем народження!
Нехай дороги стеляться крилато, будуть чисті, рівні як струна.
І добро не оминає хату, як не оминає світ весна.
Хай малює доля з буднів свято, і дарує Вам багато літ!
Хай світла, радісна дорога щасливо стелиться в житті!

Гурток Інтернету Речей (IoT) на ПЗ

На кафедрі програмного забезпечення діє гурток Інтернету Речей (IoT), в якому студенти мають змогу пройти серію навчальних курсів - "Спеціалізація з основ Інтернету Речей (ІоТ)" - An Introduction to Programming the Internet of Things (IOT) Specialization від Каліфорнійського Університету в Ірвайн, США.
Перші студенти вже отримали свої сертифікати! читати більше

Програмування вбудованих систем

На кафедрі ПЗ для студентів організовано
гурток з програмування вбудованих систем
– команда працівників і студентів кафедри ділиться власним досвідом, здобутим у процесі роботи над реальними проектами спільно з італійською компанією Dinamica Generale S.p.A, що спеціалізується на інноваційних рішеннях для агропромисловості.
більше про гурток

Співпраця із компанією Sigma Software

«Львівська політехніка» та компанія «Sigma Software» уклали договір про співробітництво щодо навчання, проходження практики, стажування та забезпечення подальшої співпраці із випускниками за напрямом підготовки «Програмна інженерія».

Virtual Innovation Space

Do you want to be successful in IT and realize own ideas?
Connect to Virtual Innovation Space
Check your innovative idea in IT and win good prize!

Join today!

Семотюк Володимир Миколайович

кандидат технічних наук, доцент

Освіта

1983 р. - науковий ступінь к.т.н., захистив кандидатську дисертацію за спеціальністю 05.09.05 "Теоретичні основи електротехніки";
1972-1976 рр. - аспірантура у Львівському політехнічному інституті під керівництвом професора, Заслуженого діяча науки України Блажкевича Богдана Івановича;
1963-1968 рр. - Львівський державний університет імені Івана Франка, фізичний факультет, спеціальність "радіофізика".

Професійна діяльність

з 1992 р. - доцент кафедри програмного забезпечення, Національний університет "Львівська політехніка";
1989 р. - старший викладач кафедри прикладної математики, Національний університет "Львівська політехніка";
1973-1989 рр. - Фізико-механічний інститут Академії наук України - працював науковим співробітником, зав. групою, зав. сектором, старшим науковим співробітником;
1968 р. - працював на львівських підприємствах "Полярон" та "Електрон" і в обчислювальному центрі Львівського державного університету.

Викладацька діяльність

"Інтелектуальний аналіз даних";
"Метрики програмного забезпечення".

Наукові інтереси

моделювання складних систем методами декомпозиції
програмне забезпечення комп'ютерних навчальних систем та середовищ для дистанційного навчання.

Публікації

Понад 100 наукових публікацій, серед них 1 монографія, 1 навчальний посібник, 2 препринти.

Монографії, посібники та препринти Основні наукові публікації Повний перелік наукових публікацій Навчально-методичні розробки

Монографії, посібники та препринти

Бунь Р.А., Васильев Е.Д., Семотюк В.М. Моделирование электрических цепей методом подсхем. Наукова думка, К. 1991, 174 с.
Семотюк В.М. Програмування в середовищі Турбо Паскаль. Посібник для студентів технічних спеціальностей. Львів.- БАК. 2000 р.
Погрибной В.А., Литвинюк А.А., Рожанковский И.В., Семотюк В.М., Тимченко А.В. Ориентированные на ОВС методы нерекурсивной фильтрации с дельта-модуляцией. Методическое пособие. Препринт. Научно-технический центр по высокопроизводительным системам «Интеграл», Львов, 1990, 76 с.
Блажкевич Б.І., Семотюк В.М. Анализ нелинейных электрических цепей с выделенной линейной частью. Препринт ФМИ АН УССР: №107, Львов, 1986, 48 с.

Основні наукові публікації

Семотюк В.М. Програмне середовище проектування навчальних систем для мобільних пристроїв. Матеріали міжнародної науково-практичної Інтернет–конференції «Сучасні напрями теоретичних і прикладних досліджень», 15-26 березня 2010 року.
Семотюк В.М., Піка О. А. Експертна система вибору оптимального варіанту. Матеріали 4-ї Міжнародної науково-технічної конференції CSIT’2009 15-17 жовтня 2009 р., Україна, Львів, с.126-129.
Семотюк В.М. Інструментальна система розробки програм дистанційного навчання. Збірник наукових праць 3-ї Міжнародної науково-практичної конференції «Освітній процес: погляд зсередини». Дніпропетровськ, ПДАБА, 2009, с.35-39.
Semotyuk V. Intellectual Computer System For Distance Learning. MEMSTECH, 2009, Proc.of the Vth. International Conference (MEMSTECH''2009) - Lviv - Polyana, April, 22-24, 2009. - P. 101–102.
Semotyuk V. The Modeling of Pupil in Adaptive System of Distance Teaching. Proceeding of the International Conference on Computer Sience and Information Technologies CSIT’2007. September 27th-29th 2007, Lviv. P.185-186.
Семотюк В.М., Амеліна В. Середовище проектування навчальних програм для мобільних систем. Prrceedings Of the III International Conference on Computer Scince and Infirmation Technologies CSIT’2008, p.354-356.
Семотюк В.М. Інтелектуальна комп’ютерна навчальна система в мережі дистанційної освіти. Матеріали 3-ї Міжнародної науково-технічної конференції "Динаміка наукових досліджень", м. Дніпропетровськ, 21-30 червня 2004р. т. 24 , стор.13-15.
Бунь Р.А., Васильев Е.Д., Семотюк В.М. Моделирование электрических цепей на основе макромоделей линейных и нелинейных подсхем в виде дифференциальных уравнений повышенного порядка. Отбор и обработка информации, вып.6, 1991, с. 34-38
Семотюк В.М., Мандзюк І. Підсистема керування навчанням в експертній навчальній системі з програмування на низькому рівні. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, вип.468, Львів, 2002, стор. 49-53.
Семотюк В.М. Формирование математической модели дидно-транзисторных цепей с линейными компонентами и методика их численного интегрирования. Теоретическая электротехника, вып. 28, с. 128-134, 1980

Повний перелік наукових публікацій

Семотюк В.М. Програмне середовище проектування навчальних систем для мобільних пристроїв. Матеріали міжнародної науково-практичної Інтернет–конференції «Сучасні напрями теоретичних і прикладних досліджень», 15-26 березня 2010 року.
Семотюк В.М., Піка О. А. Експертна система вибору оптимального варіанту. Матеріали 4-ї Міжнародної науково-технічної конференції CSIT’2009 15-17 жовтня 2009 р., Україна, Львів, с.126-129.
Семотюк В.М. Інструментальна система розробки програм дистанційного навчання. Збірник наукових праць 3-ї Міжнародної науково-практичної конференції «Освітній процес: погляд зсередини». Дніпропетровськ, ПДАБА, 2009, с.35-39.
Semotyuk V. Intellectual Computer System For Distance Learning. MEMSTECH, 2009, Proc.of the Vth. International Conference (MEMSTECH''2009) - Lviv - Polyana, April, 22-24, 2009. - P.101 – 102
Semotyuk V. The Modeling of Pupil in Adaptive System of Distance Teaching. Proceeding of the International Conference on Computer Sience and Information Technologies CSIT’2007. September 27th-29th 2007, Lviv. P.185-186.
Семотюк В.М., Амеліна В. Середовище проектування навчальних програм для мобільних систем. Prrceedings Of the III International Conference on Computer Scince and Infirmation Technologies CSIT’2008, p.354-356.
Семотюк В.М. Інтелектуальна комп’ютерна навчальна система в мережі дистанційної освіти. Матеріали 3-ї Міжнародної науково-технічної конференції "Динаміка наукових досліджень", м. Дніпропетровськ, 21-30 червня 2004р. т. 24 , стор13-15.
Бунь Р.А., Васильев Е.Д., Семотюк В.М. Моделирование электрических цепей на основе макромоделей линейных и нелинейных подсхем в виде дифференциальных уравнений повышенного порядка. Отбор и обработка информации, вып.6, 1991, с. 34-38
Семотюк В.М., Мандзюк І. Підсистема керування навчанням в експертній навчальній системі з програмування на низькому рівні. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, вип.468, Львів, 2002, стор. 49-53.
Семотюк В.М. Формирование математической модели дидно-транзисторных цепей с линейными компонентами и методика их численного интегрирования. Теоретическая электротехника, вып. 28, с. 128-134, 1980
Семотюк В.М. Інтелектуальна комп’ютерна навчальна система з машинно-орієнтованого програмування. Науково-технічний журнал “Інформаційні технології і системи”, м.Львів.-2004.-т.7,№1.- с.124-129.
Семотюк В.М., Амеліна В. Інструментальна система динамічного генерування мобільних навчальних програм. Вісник Національного університету «Львівська політехніка»
Semotyuk V., Dovbenko V., Ivashchyshyn O. Computer Environment for learning and teaching foreign languages. Людина. Комп’ютер. Комунікація: Збірник наукових праць Всеукраїнської наукової конференції. (6-8 травня 2008 року). Львів: Видавництво університету «Львівська політехніка», 2008.-с.154-156.
Semotyuk V. Ivashchyshyn O. The Creation of Call Environment for EFL Learners. IPSI-2005 FRANCE, Carcassonne, France, April 23-26, 2005
Semotyuk V. Instrumental Computer System for Distance Learning. Proceedings of the International Conference on Computer Sience and Information Technologies CSIT’2006. September 28th-30th 2006, Lviv. P.67-68.
Семотюк В.М. Комп’ютерна система для вивчення понять і термінів предметної сфери з нечіткою структурою. Збірник наукових праць учасників 9-ї Міжнародної наукової конференції «Проблеми української термінології Слово Світ 2006», м.Львів, 19-21 вересня 2006 р. С.167-169.
Семотюк В.М., Паніткіна В. Архітектура інтелектуальної комп’ютерної навчальної системи дистанційного навчання. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, Львів, 2004 р.
Семотюк В.М. Комп’ютерні навчальні системи та середовища на базі лінгвістичних структур у фаховій підготовці лінгвістів-прикладників. Матеріали щорічної науково-практичної конференції “Ефективність державного управління в контексті європейської інтеграції”, м.Львів, 23 січня 2004 р., частина 2, стор. 304-306.
Семотюк В.М. Аспекти реалізації банку терміносистеми “СловоСвіт”. Збірник наукових праць учасників 8-ї Міжнародної наукової конференції “Проблеми української термінології СловоСвіт 2004“, м.Львів, 7-9 вересня 2004 р. стор.39-40.
Семотюк В.М. Інструментальна система розробки систем дистанційного навчання. Збірник наукових праць “Комп’ютерні технології друкарства”, №12, Львів, 2004, стор.93-97.
Семотюк В.М. Інтелектуальні комп’ютерні навчальні середовища в мережі дистанційної освіти. Матеріали Міжнародної наукової конференції “Професійна освіта і сучасний ринок праці: методологія, теорія, практика”, м. Львів, 1-3 червня 2004 р //“Педагогіка і психологія професійної освіти”. - 2004. - №5. - с. 48-56.
Семотюк В.М. Парадигма семантичних відношень лінгвістичних структур в інтелектуальних комп’ютерних технологіях навчання. Матеріали Міжнародної наукової конференції “Лінгводидактика та лінгвостатистика на зламі століть: питання теорії та практики”, м.Львів, 22-24 квітня 2004 року, стор.79-82.
Семотюк В.М., Талалай О. Принципи побудови експертної навчальної системи з програмування на низькому рівні. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, вип.468, Львів, 2002, стор. 46-49.
Семотюк В.М., Мандзюк І. Структура підсистеми діагностики комп’ютерної навчальної системи з машинно-орієнтованого програмування. Матеріали 4-ї міжнародної конференції “Інформаційні технології друкарства: Алгоритми, системи, сигнали – Друкотехн 2002”. – Збірник Комп’ютерні технології друкарства, №9, Львів, 2002, стор. 82-85
Семотюк В.М., Овсяк В. Алгоритми підсистеми діагностики комп’ютерної навчальної системи з машинно-орієнтованого програмування. Матеріали 4-ї Міжнародної конференції “Інформаційні технології друкарства: Алгоритми, системи, сигнали – Друкотехн 2002”. – Збірник “Комп’ютерні технології друкарства”, №9, Львів, 2002, стор.78-82
Семотюк В.М., Шрам В. Організація бази знань в комп’ютерному середовищі для вивчення понять і термінів предметної області з нечіткою структурою. Вісник НУЛП “Проблеми української термінології”, Львів, 2002, стор.109-113
Семотюк В.М. Формування бази знань в комп’ютерній системі з моделлю учня оверлейного типу. Матеріали Міжнародної конференції з індуктивного моделювання “МКІМ-2002”, т.1, ч.2, стор.96-99; Львів, 2002.
Семотюк В.М. Агрегативний підхід до моделювання складних нелінійних систем з лінійною частиною. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, Львів, 2000, стор. 71-72.
Семотюк В.М. Моделювання складних нелінійних систем з виділенням лінійних та нелінійних агрегатів. Збірник наукових праць №4 “Комп’ютерні технології друкарства”, Львів, 2000, стор 187-190.
Семотюк В.М. Комп’ютерне навчальне середовище слабо формалізованої предметної області на основі тезауруса. Збірник наукових праць №5 “Комп’ютерні технології друкарства”, Львів, 2000, стор 176-179.
Семотюк В.М., Сало О.Я. Банк термінологічної системи для роботи в локальній мережі ДУ “Львівська політехніка”. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, Львів, 2000 р., с. 186-188.
Семотюк В.М., Семотюк О.В. Аналіз періодичних режимів в коливальних системах методом формалізованих рядів. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, 1999р
Семотюк В.М., Гой М.Р. Алгоритми опрацювання знань в комп’ютерному навчальному середовищі слабоформалізованої предметної області. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, вип.370, 1999,с.144-149.
Семотюк В.М., Ярич О.І. Комп’ютерне навчальне середовище для слабо формалізованої предметної області. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, вип.349, 1998,
Семотюк В.М., Крук М.М. Реалізація навчальної системи керуючого типу. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, вип.351, 1998,с.29-33.
Погрібний В.О., Семотюк В.М., Семотюк О.В. Алгоритм цифрової фільтрації на основі адаптивної дельта-модуляції. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, вип.322, 1997, с.106-109.
Семотюк В.М., Овсяк В.К., Крук М.М. Управління базами даних комп’ютерної навчальної системи керуючого типу. Матеріали 2-ї міжнародної конференції “Інформаційні технології друкарства: Алгоритми, системи, сигнали – Друкотехн 98”. – 1998 р. с.32-35.
Семотюк В.М., Ярич О.І. BIBLE – комп’ютерна система для вивчення термінів та понять Біблії. Вісник ДУЛП. Матеріали 5-ї міжнародної наукової конференції “СловоСвіт’98”, вип.336, 1998 р. с. 238-241.
Семотюк В.М. Тезаурус – основа для побудови комп’ютерної навчальної системи. Вісник ДУЛП. Матеріали 5-ї міжнародної наукової конференції “СловоСвіт’98”, вип.336, 1998 р. с. 109-110.
Семотюк В.М. Проблеми розроблення експертної навчальної системи для вивчення програмування. Матеріали Міжнародної науково-практичної конференції “Освіта у сучасному суспільстві: проблеми, теорія, практика”.- Одеса, 1996 р. с. 128-132.
Семотюк В.М. Моделювання динамічних режимів складних систем на основі макромоделей підсистем. Вісник ДУЛП “Комп’ютерна інженерія та інформаційні технології”, вип.294, 1995, с.16-20.
Семотюк В.М., Логвин В., Мукалов Д. Діагностика знань учня в експертній комп’ютерній навчальній системі з основ програмування. Тези 5-ї Міжнародної науково-практичної конференції УкрСофт-95, Львів, 1995 р., с. 53-54.
Семотюк В.М., Логвин В., Юхновець О.База знань і керування навчанням в експертній комп’ютерній навчальній системі. Тези 5-ї Міжнародної науково-практичної конференції УкрСофт-95, Львів, 1995 р., с. 53.
Базилевич Р.П., Семотюк В.М. Методичне забезпечення експертної комп’ютерної навчальної системи з основ програмування. Тези 5-ї Міжнародної науково-практичної конференції УкрСофт-95, Львів, 1995 р., с. 61- 62.
Семотюк В.М., Семотюк О.В. Програма моделювання високодобротних резонансних цифрових фільтрів. Тези 4-ї Міжнародної науково-практичної конференції УкрСофт-94, Львів, 28-30 вересня 1994 р., с. 62.
Семотюк В.М., Мукалов Д., Щерб’юк І. Україномовний комп’ютерний посібник для вивчення інтегрованого середовища TURBO PASCAL. Тези 4-ї Міжнародної науково-практичної конференції УкрСофт-94, Львів, 28-30 вересня 1994 р., с. 50-51.
Семотюк В.М., Котлярова Ю. Формування моделі учня при діагностиці помилок в комп’ютерній навчальній системі. Тези 4-ї Міжнародної науково-практичної конференції УкрСофт-94, Львів, 28-30 вересня 1994 р., с. 37-38.
Семотюк В.М., Пукало О. Експертна комп’ютерна навчальна система “ПАСКАЛЬ”. Тези 3-ї Міжнародної науково-практичної конференції «Проблеми українізації комп’ютерів», Львів, 28-30 вересня 1993 р., с. 93-94.
Семотюк В.М. Про прект стандарту UKRSCII для кодування української абетки. Тези 3-ї Міжнародної науково-практичної конференції «Прблеми українізації комп’ютерів», Львів, с.31-37.
Базилевич Р.П., Фелиштин О.Й., Семотюк В.М. Проект стандарту UKRSCII для кодування української абетки. Тези 3-ї Міжнародної науково-практичної конференції «Прблеми українізації комп’ютерів», Львів, 28-30 вересня 1993 р., с. 6-7.
Бобало С.И., Васильев Е.Д., Дущенко В.К., Семотюк В.М. Оценка конструктивно-топологических параметров КМОП инверторов на основе моделирования их динамических характеристик. Тезисы докладов 5-й школы-семинара «Математическое и машинное моделирование в микроэлектронике, Паланга, 1987, 2-4 сентября
Погрибной В.А., Семотюк В.М. Проектирование резонансных фильтров высокой добротности. Отбор и обработка информации, вып.7, 1991, с. 68-75.
Бобало С.И., Васильев Е.Д., Дущенко В.К., Семотюк В.М. Моделирование динамических характеристик КМОП инверторов для проектирования их конструктивно-топологических параметров. Теоретическая электротехника, вып. 45, 1988
Дущенко В.К., Семотюк В.М. Применение метода формализованных рядов для анализа периодических режимов неавтономных колебательных систем. Тезисы докладов 3-й всесоюзной конференции «Проблемы нелинейной электротехники», ч.1, Киев, 1988, с. 44-45
Семотюк В.М. Метод подсхем и его использование для анализа нелинейных электрических цепей с линейной частью. Дисертація на здобуття вченого ступеня канд. техн. наук, Львів, 1984, 204 ст.
Семотюк В.М. Анализ нелинейных цепей с линейной частью. Тезисы докладов 3-го республиканского совещания-семинара по машинному проектированию электронных схем (5-6 апреля 1983 г.), Славско, 1983, с.17-18
Блажкевич Б.І. ,Семотюк В.М. Анализ переходного процесса в нелинейных цепях с выделенной линейной частью. Тезисы докладов 6-й всесоюзной межвузовской конференции по теории и методам расчета нелинейных цепей и системам (19-21 октября 1982 г.), ч.1, Ташкент, 1982, с.62-63
Семотюк В.М. Исследование вычислительных характеристик рекуррентной процедуры вычисления определяющих миноров разреженных полиномиальных матриц. Отбор и передача информации, 1980, вып. 61, с.39-43
Блажкевич Б.І. Васильев Е.Д., Семотюк В.М. Рациональная форма представления математической модели нелинейной цепи с линейными компонентами. Теоретическая электротехника, вып. 28, с. 119-128, 1980
Семотюк В.М., Ткачик Т.В. Процедура обращения разреженной полиномиальной матрицы. Тезисы докладов научно-технической конференции, Запорожье, 1977, с.10-11
Блажкевич Б.І., Семотюк В.М. Использование метода наращивания для многовариантного анализа электрических цепей. Тезисы докладов научно-технической конференции, Запорожье, 1977, с.9-10
Семотюк В.М. Исследование характеристик алгоритма построчного вычисления определяющих миноров разреженной матрицы. 993-79. Деп. 22 марта 1979 г.
Семотюк В.М. Получение математической модели линейной части цепи путем покомпонентного наращивания. 993-79. Деп. 22 марта 1979 г
Семотюк В.М., Ткачик Т.В.. Алгоритм обращения разреженной полиномиальной матрицы и особенности его реализации. 993-79 Деп. 22 марта 1979 г.
Блажкевич Б.І., Семотюк В.М. Анализ линейной части нелинейной цепи методом наращивания. Преобразователи измерительных информационных систем, 1978, с. 124-135
Блажкевич Б.І., Семотюк В.М. Построчное вычисление определителя разреженной квазиленточной матрицы по рекуррентной процедуре. Республиканский фонд алгоритмов и программ, регистр. № 4867, К., 1978
Блажкевич Б.І., Семотюк В.М. Использование рекуррентной процедуры построчного вычисления определителя при анализе цепи методом канонических параметров. Отбор и передача информации, 1978, вып. 55, с.20-24
Блажкевич Б.І., Семотюк В.М. Вычисление определителя полиномиальной матрицы по рекуррентной процедуре. Республиканский фонд алгоритмов и программ, регистр. № 60, К., 1976
Блажкевич Б.І., Семотюк В.М., Жибцов П.П. Исследование параметрической устойчивости линейных систем. Республиканский фонд алгоритмов и программ, регистр. № 58, К., 1976
Семотюк В.М. Вычисление определителя разреженной матрицы методом триангуляризации. Республиканский фонд алгоритмов и программ, регистр. № 59, К., 1976
Семотюк В.М. Исследование с помощью ЦВМ установившегося режима в сверхрегенераторе, применяемом для измерения излучения ядерного квадрупольного резонанса. Тезисы докладов ХХ1 украинской республиканской научно-технической конференции, Львов, 1972
Мочульский Ю.С., Семотюк В.М., Синицкий Л.А. Исследование явления прерывистой генерации с помощью ЦВМ. Теоретическая электротехника, вып. 15, с. 115-121, 1973
Блажкевич Б.І., Семотюк В.М. О вычислении параметров многополюсных подсхем методом канонических параметров. Отбор и передача информации, 1976, вып.48, с.51-56
Блажкевич Б.І., Семотюк В.М. Алгоритм раскрытия определителя полиномиальной матрицы. Республиканский фонд алгоритмов и программ, регистр. № 228, К., 1975
Блажкевич Б.І., Семотюк В.М., Щибря М.П. Определение параметров многополюсных подсхем методом канонических параметров. Теоретическая электротехника, вып. 19, с. 3-10, 1975
Блажкевич Б.І., Дерябина А.Г. ,Семотюк В.М. Алгоритм раскрытия определителя полиномиальной матрицы. Республиканский фонд алгоритмов и программ, регистр. № 146, К., 1975
Блажкевич Б.І., Семотюк В.М. Перечисление деревьев в мультиграфе. Республиканский фонд алгоритмов и программ, регистр. № 150, К., 1974.
Блажкевич Б.І., Семотюк В.М. Алгоритм поиска деревьев в графе. Отбор и передача информации, 1976, вып.48, с.51-56.
Блажкевич Б.І., Семотюк В.М. Алгоритм поиска и вычисления значений определяющих миноров вершинной матрицы инциденций направленного графа. Республиканский фонд алгоритмов и программ, регистр. № 50, К., 1974
Блажкевич Б.І., Семотюк В.М., Щибря М.П. Вычисление определяющих миноров вершинной матрицы инциденций. Отбор и передача информации, 1975, вып.43, с.15-21.

Навчально-методичні розробки

Семотюк В.М., Тикайло С.В., Основи програмування на мові Паскаль. Методичні вказівки по курсу “Конструювання програм і мови програмування” для студентів спеціальності 22.04 “Програмне забезпечення обчислювальної техніки та автоматизованих систем”. Львів: ДУЛП, 1991р. 28 с.
Семотюк В.М. Методичні вказівки для виконання курсової роботи по курсу “Конструювання програм і мови програмування” для студентів спеціальності 22.04 “Програмне забезпечення обчислювальної техніки та автоматизованих систем”. Львів: ДУЛП, 1992р. 34 с.
Семотюк В.М. Методичні вказівки для виконання лабораторних робіт з курсу “Основи програмування та алгоритмічні мови” для студентів спеціальності “Програмне забезпечення обчислювальної техніки та автоматизованих систем”, частина 1., Львів: ДУЛП, 1996р. 32 с.
Семотюк В.М., Заяць В.М., Методичні вказівки для виконання лабораторних робіт з курсу “Основи програмування ” для студентів спеціальності “Програмне забезпечення обчислювальної техніки та автоматизованих систем”, частина 2., Львів: ДУЛП, 1998р. 22 с.
Заяць В.М., Семотюк В.М. Методичні вказівки до лабораторних робіт з дисципліни “Логічне програмування” для студентів базового напрямку 6.0804 “Комп’ютерні науки”., Львів: ДУЛП, 1998р. 20 с.
Заяць В.М., Семотюк В.М. Методичні вказівки до лабораторних робіт з дисципліни “Функційне програмування” для студентів базового напрямку 6.0804 “Комп’ютерні науки. Львів: ДУЛП, 1994 р., 28 с.
Семотюк В.М. Методичні вказівки до виконання лабораторних робіт з дисципліни “Основи системного аналізу об’єктів і процесів комп’ютеризації” для студентів базового напрямку 6.0804 “Комп’ютерні науки”. Львів: ДУЛП, 1998р., 30 с.
Семотюк В.М. Методичні вказівки до лабораторних робіт з дисципліни “Комп’ютерне моделювання систем” для студентів спеціальності 7.080403 “Програмне забезпечення автоматизованих систем”. Львів: ДУЛП, 1999р., 26 с.
Семотюк В.М. Методичні вказівки до лабораторних робіт з дисципліни “Програмне забезпечення моделювання макро- та мікро-економічих систем” для студентів спеціальності 7.080403 “Програмне забезпечення автоматизованих систем”. Львів: НУЛП, “2002 р., 18 с.
Семотюк В.М. Використання англійських термінів та виразів при вивченні програмування та інших комп’ютерних дисциплін. Львів: Університет “Львівський Ставропігіон”, 2003 р. 12 с.
Семотюк В.М., Левус Є.В., Коротєєва Т.О.“Програмування мовою С”. Методичні вказівки до лабораторних робіт з дисципліни “Проблемно-орієнтовані мови програмування” для студентів базового напрямку 6.0804 “Комп’ютерні науки”. Львів: НУ “ЛП”, “2004 р., 18 с.
Семотюк В.М. Засоби мультимедіа для проектування інтелектуальних комп’ютерних навчальних середовищ. Львів: Університет “Львівський Ставропігіон”, 2004 р. 32 с.
Семотюк В.М. Програмне забезпечення моделювання макро- та мікроекономічних систем. Методичні вказівки до лабораторних робіт для студентів спеціальності 7.080403 “Програмне забезпечення автоматизованих систем” частина 2
Семотюк В.М. Авторська система Authorware. Методичні вказівки до дисципліни “Комп’ютерні технології навчання” для студентів спеціальності 7.080403 та 8.080403 “Програмне забезпечення автоматизованих систем”. Львів: НУ “ЛП”, “2004 р., 25 с.
Семотюк В.М., Левус Є.В., Коротєєва Т.О. Опрацювання агрегованих типів даних мовою С. Методичні вказівки до лабораторних робіт з дисципліни “Проблемно-орієнтовані мови програмування” для студентів базового напрямку 6.0804 “Комп’ютерні науки”. Львів: НУ “ЛП”, “2004 р., 24 с.
Семотюк В.М., Яковина В.С. Аналіз лінійних та нелінійних систем. Методичні вказівки до лабораторних робіт з дисципліни «Основи системного аналізу об’єктів та процесів комп’ютеризації» для студентів базового напрямку 6.0804 “Комп’ютерні науки”. Львів: НУ “ЛП”, “2006 р., 24 с.
Яковина В.С., Семотюк В.М., Білас О.Є. Метод аналізу ієрархій. Методичні вказівки до лабораторних робіт з дисципліни «Основи системного аналізу об’єктів та процесів комп’ютеризації» для студентів базового напрямку 6.0804 “Комп’ютерні науки”. Львів: НУ “ЛП”, “2006 р., 20 с.