Засоби формалізації математичних знань та міркувань: теоретичні та практичні аспекти
Наведення формальної мови для подання математичних текстів. Побудова системи комп’ютерних засобів автоматичної перевірки їх коректності. Розробка процедури пошуку виведення, оригінальної дворівневої архітектури процедури автоматичного доведення.
Подобные документы
Розробка комплексних рішень з автоматизації бізнес-процесів. Використання комп'ютерних технологій та засобів комунікацій у енергоощадних проектах. Організація системи енергоменеджменту на промисловому підприємстві. Інформаційне моделювання будівель.
статья, добавлен 29.09.2016Дослідження основних шляхів виникнення обчислювальної похибки та її вплив на точність обчислень. Аналіз величини похибки при обчисленні деяких математичних функцій на комп’ютері. Графік абсолютної та відносної похибки для 8 та 16 розрядної сітки.
лабораторная работа, добавлен 16.10.2015Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015Поняття предметної області. Огляд електронних засобів навчання, їх класифікація. Комп’ютерні навчальні системи і системи дистанційної освіти, інструментальні засоби їх розробки. Методи машинного навчання (machine learning). Діагностика стану знань учня.
автореферат, добавлен 15.01.2016Етапи розвитку обчислювальної техніки. Поява комп'ютерних технологій, смартфонів та гаджетів. Характеристики комп’ютеру Altair 8800. Розробка програмного забезпечення компанією MicroSoft для персональних комп'ютерів. Виробництво периферійних засобів.
презентация, добавлен 19.12.2019Підвищення ефективності обчислювальної техніки. Використання методів статичної й динамічної верифікації у системах проектування паралельних програм. Побудова графа за допомогою засобів автоматичної візуалізації. Перевірка семантичної коректності структур.
статья, добавлен 10.06.2024Поняття та класифікація комп’ютерних вірусів. Характеристика антивірусного програмного забезпечення, особливості його застосування для користувача. Види сучасних комп’ютерних шкідливих програм, способи попередження зараження та заходи профілактики.
реферат, добавлен 10.11.2010Засоби автоматичного управління обчислювальним процесом та засоби перетворення в системах комп'ютерної алгебри. Розгляд властивостей та реалізація новітньої системи сімейства Аналітик. Зростання складності математичного моделювання наукових задач.
автореферат, добавлен 29.09.2015Мультимедіа - інтерактивні системи, що забезпечують роботу з нерухомими і рухомим зображенням, анімованою графікою і текстом, мовою, звуком. Відео і аудіо засоби, носії інформації, програмні утиліти; засоби автоматичної настройки конфігурації комп'ютера.
реферат, добавлен 13.02.2011Розробка програмного модуля визначення рівня довіри, модуля аутентифікації та системи формування реакцій вузлів децентралізованих мобільних комп’ютерних мереж динамічної структури. Аналіз методу удосконалення побудови систем формування реакцій вузлів.
автореферат, добавлен 25.02.2015Аналіз засобів формування реакцій вузлів децентралізованих мобільних (ДЦМ) комп’ютерних мереж динамічної структури (КМДС). Розроблення програмного модуля визначення рівня довіри, модуля аутентифікації, а також системи формування реакцій вузлів ДЦМ КМДС.
автореферат, добавлен 29.09.2015Загальна характеристика періоду становлення нової системи освіти. Дослідження особливостей використання комп’ютерних технологій в навчанні. Вивчення видів та структури електронних засобів навчання. Визначення мети створення електронного посібника.
реферат, добавлен 20.05.2015Комп’ютерні мережі як невід’ємна частина сучасних інформаційно-управляючих систем, розгляд головних видів. Загальна характеристика методів та інструментальних засобів розробки комп'ютерних мереж інформаційно-управляючих систем критичного застосування.
автореферат, добавлен 27.07.2014Інтерфейс як визначені стандартом правила взаємодії користувачів, пристроїв та програм. Створення програмних засобів для виведення високоякісного звуку та відеозображення - один з найбільш перспективних напрямків розвитку комп'ютерних технологій.
статья, добавлен 21.07.2017- 90. Методи і засоби підвищення ефективності систем моніторингу безпеки в комп'ютерних системах і мережах
Оцінки рівня загроз вторгнень із врахуванням цілей дій порушників та аналізу ризиків реалізації загроз безпеки інформаційних ресурсів. Засоби адаптивного управління безпекою комп'ютерних систем і мереж. Середовище для моделювання програм безпеки.
автореферат, добавлен 26.07.2014 Створення моделі організації комп’ютеризованого навчання. Побудова профілю користувача з урахуванням індивідуальних психофізіологічних характеристик. Розробка інструментальних засобів. Реалізація та оцінка ефективності автоматизованих навчаючих систем.
автореферат, добавлен 26.08.2015Розподіл всіх апаратних засобів гетерогенних комп’ютерних мереж авіакомпанії. Вибір і обґрунтування операційної системи, визначення числа і типів серверів, каналів зв’язку між корпусами, комунікаційного устаткування для проектування мережі авіакомпанії.
дипломная работа, добавлен 18.02.2011Удосконалення методики оцінки ефективності інформаційного пошуку. Побудова моделі поширення інформації у мережі Інтернет. Вдосконалення трирівневої системи для знаходження текстових документів. Створення метапошукової програми та інтерфейсу користувача.
автореферат, добавлен 04.03.2014Апаратне і програмне забезпечення виведення інформації. Характеристики електронно-променевих, рідкокристалічних та плазмових моніторів. Структура та інтерфейс діалогових вікон. Основні види комп’ютерних вірусів та їх джерела. Захист файлів на комп'ютері.
отчет по практике, добавлен 28.08.2014Розвиток методології і розроблення теоретичних засад формалізації та організації руху даних в розподілених комп'ютерних системах. Аналіз існуючих технологій проектування, діагностування та моделювання РКС. Формалізація характеристик системних об'єктів.
автореферат, добавлен 29.09.2014Електронне видання - одна з нових поширюваних інформаційних технологій, які використовують у навчальному процесі. Розробка комп’ютерних підручників нового покоління. Комп’ютерний педагогічний програмний засіб, що призначений для подання матеріалу.
статья, добавлен 10.03.2018Розгляд процесу побудови бази знань та математичних моделей окремих задач для розв’язування яких призначена дана інформаційна система. Здійснення імітаційного моделювання функціонування системи воєнних дій військ, наведення відповідних прикладів.
статья, добавлен 29.11.2016Побудова інформаційно-математичної моделі задачі і визначення структури даних. Реалізація та програмне тестування проекту у навчально-комп’ютерному середовищі "WebDMath". Використання комп’ютерних технологій під час екзаменів та індивідуального навчання.
курсовая работа, добавлен 03.11.2014Характеристика вимог до перевірки якості програмного продукту перед передачею його в роботу. Дослідження етапів побудови системи нечіткого виведення для визначення якості розроблюваного програмного продукту. Моделювання розробленої нечіткої моделі.
статья, добавлен 23.10.2020Теоретичне дослідження феномену комп’ютерної дидактичної гри. Принципи розробки, впровадження і застосування інформаційно-комунікаційних технологій для створення ігрових методик навчання математичних дисциплін у педагогічних вищих навчальних закладах.
статья, добавлен 04.03.2018