Більш швидкий доступ, ніж браузер!
177 відносини: Association for Computing Machinery, CAE, Digital Subscriber Line, JPEG, Message-oriented middleware, MP3, NP-повна задача, Peer-to-peer, Zip, Курт Гедель, Кубіт, Кібернетика, Криптографія, Квантова механіка, Квантовий комп'ютер, Клод Шеннон, Колмогоровська складність, Комунікація, Комбінаторна оптимізація, Комп'ютер, Комп'ютерна графіка, Комп'ютерна мережа, Комп'ютерна програма, Комп'ютерна пам'ять, Комп'ютерна платформа, Компілятор, Компакт-диск, Конфіденційність, Пітер Шор, Підпрограма, Природа, Прикладна математика, Принцип суперпозиції (квантова механіка), Програмне забезпечення, Пропускна здатність каналу, Паралельні обчислення, Паралельний алгоритм, Паралелізм бітового рівня, Паралелізм даних, Паралелізм на рівні команд, Плагіат, Постійний запам'ятовувач, Пошукова система, Похідна, Порожній рядок, Первісна, Перетворення даних (статистика), Обчислювальна складність, Обчислювальна біологія, Обчислювальна геометрія, ..., Обмін повідомленнями, Оптимізація (математика), Асиметричні алгоритми шифрування, Архітектура комп'ютера, Абстрактна алгебра, Автоматизована система технологічної підготовки виробництва, Автентифікація, Алгоритм, Алгебраїчний вираз, Анімація, Анатомія, Аналіз даних, Наукова візуалізація, Національний інститут стандартів і технології, Навчання з учителем, Напівпровідник, Нерухома точка, Неврологія, Недетермінована машина Тюрінга, Нейробіологія, Нелінійні алгебраїчні рівняння, Річард Філіпс Фейнман, Розподілені обчислення, Суспільство, Стівен Кук, Структура даних, Статистична модель, Статистика, Стиснення без втрат, Стиснення з втратами, Система типізації, Система автоматизованого проектування і розрахунку, Система комп'ютерної алгебри, Спам, Сплутані квантові стани, Специфікація, Сервісно-орієнтована архітектура, Семантика мов програмування, Транзистор, Технічна система, Теорія складності обчислень, Теорія інформації, Теорія чисел, Теорія розпізнавання образів, Теорія автоматів, Теорія алгоритмів, Теорія випадкових процесів, Теорія графів, Теорія ймовірностей, Теорія категорій, Теорія кодування, Теорія обчислюваності, Теореми Геделя про неповноту, Увипадковлений алгоритм, Функція (математика), Фізика, Формальні методи, Формальна мова, Хімія, Хвильова функція, Цілісність інформації, Центральний процесор, Число з рухомою комою, Чисельні методи, Чисельне інтегрування, Чорна діра, Штучний інтелект, Мікросхема, Мікропроцесор, Масова багатокористувацька онлайн-гра, Машинне навчання, Математична логіка, Математичний аналіз, Математичний об'єкт, Математика, Мистецтво програмування, Мова програмування, Мовознавство, Модель обчислення, Молекулярна біологія, Закон Амдала, Закономірність, Звичайні диференціальні рівняння, Змінна, Зовнішня пам'ять, Б-дерево, Біт, Бінарний код, Біоінформатика, Біоінженерія, Біофізика, Біохімія, Біологія, Британська енциклопедія, Баг, Багатоядерний процесор, База даних, Вибірка, Виклик віддалених процедур, Вояджер, Верифікація програмного забезпечення, Головний мозок, Геш-таблиця, Геноміка, Генетика, Геоінформаційна система, Геометрія, Дані (обчислювальна техніка), Диференціальне рівняння з частинними похідними, Добування даних, Додаток (програма), Дональд Кнут, Детермінізм, Інтерфейс користувача, Інтернет, Інтегральне рівняння, Інформатика, Ефективний метод, Еволюція, Екологія, Електротехніка, Електронна обчислювальна машина, Людське тіло, Логічний вентиль, Логіка в інформатиці, Левін Леонід Анатолійович, 0 (число). Розгорнути індекс (127 більше) »
Association for Computing Machinery
Асоціація обчислювальної техніки (Association for Computing Machinery, ACM) — найстаріша і найбільша міжнародна організація в комп'ютерній галузі.
Новинка!!: Теоретична інформатика і Association for Computing Machinery · Побачити більше »
CAE
CAE (Computer-aided engineering) — загальна назва програм або програмних пакетів, призначених для інженерних розрахунків, аналізу і симуляції фізичних процесів.
Новинка!!: Теоретична інформатика і CAE · Побачити більше »
Digital Subscriber Line
Digital subscriber line (DSL, на початку — digital subscriber loop) — сімейство технологій, що дозволяють значно розширити пропускну здатність абонентської лінії місцевої телефонної мережі шляхом використання ефективних лінійних кодів і адаптивних методів корекції викривлень лінії на базі сучасних досягнень мікроелектроніки і методів цифрової обробки сигналу.
Новинка!!: Теоретична інформатика і Digital Subscriber Line · Побачити більше »
JPEG
JPEG (Joint Photographic Experts Group) — растровий формат збереження графічної інформації, що використовує стиснення з втратами.
Новинка!!: Теоретична інформатика і JPEG · Побачити більше »
Message-oriented middleware
Підпрограмне забезпечення, орієнтоване на обробку повідомлень (Message-Oriented Middleware, MOM), або сервіси обробки повідомлень, — підпрограмне забезпечення проміжного шару, орієнтоване на обмін повідомленнями в розподіленому оточенні.
Новинка!!: Теоретична інформатика і Message-oriented middleware · Побачити більше »
MP3
MP3 — формат файлу для зберігання аудіо-інформації.
Новинка!!: Теоретична інформатика і MP3 · Побачити більше »
NP-повна задача
Діаграма Венна відношення між класами складності задач (у випадку вірності гіпотези P ≠ NP). NP-повна задача (NP-complete) — в теорії алгоритмів та теорії складності це задача, що належить до класу NP та всі задачі з класу NP можна звести до неї за поліноміальний час.
Новинка!!: Теоретична інформатика і NP-повна задача · Побачити більше »
Peer-to-peer
Мережа типу peer-to-peer. Серверна мережа (не peer-to-peer) Peer-to-peer, P2P (з — рівний до рівного.) — варіант архітектури системи, в основі якої стоїть мережа рівноправних вузлів.
Новинка!!: Теоретична інформатика і Peer-to-peer · Побачити більше »
Zip
ZIP (Lempel Ziv Welch) — формат стиснення та архівації даних.
Новинка!!: Теоретична інформатика і Zip · Побачити більше »
Курт Гедель
Курт Ге́дель (Kurt Gödel) (*28 квітня 1906, Брюнн, Австро-Угорщина (тепер Брно, Чехія) — †14 січня 1978, Принстон, США) — австрійський логік і математик, приват-доцент Віденського університету (1933–1938).
Новинка!!: Теоретична інформатика і Курт Гедель · Побачити більше »
Кубіт
У теорії квантових обчислень кубіт або квантовий біт (quantum bit, qubit) — одиниця квантової інформації, квантовий аналог біта.
Новинка!!: Теоретична інформатика і Кубіт · Побачити більше »
Кібернетика
Кіберне́тика — багатозначне поняття: 1) з (cybernetics, Kybernetik) — наука про загальні принципи керування в комплексі складними (множинними) системами різної природи походження (наприклад, у технічних, біологічних, соціальних та ін.); 2) науки (чи мистецтво) керування (управління) складними системами різної природи походження на основі знань, що сформовані на зворотних з"язках. Інше визначення (Глушков) — наука про загальні закони одержання, зберігання, передавання й перетворення інформації у складних системах управління.
Новинка!!: Теоретична інформатика і Кібернетика · Побачити більше »
Криптографія
Другої світової війни для шифрування повідомлень для вищого військового керівництва. Криптогра́фія (від грецького κρυπτός — прихований і gráphein — писати) — наука про математичні методи забезпечення конфіденційності, цілісності і автентичності інформації.
Новинка!!: Теоретична інформатика і Криптографія · Побачити більше »
Квантова механіка
енергію (збільшується згори вниз: n.
Новинка!!: Теоретична інформатика і Квантова механіка · Побачити більше »
Квантовий комп'ютер
3 кубіти квантового регістра проти 3 бітів звичайного. Квáнтовий комп'ю́тер — фізичний обчислювальний пристрій, функціонування якого ґрунтується на принципах квантової механіки, зокрема, принципі суперпозиції та явищі квантової заплутаності.
Новинка!!: Теоретична інформатика і Квантовий комп'ютер · Побачити більше »
Клод Шеннон
Клод Елвуд Шеннон (Claude Elwood Shannon; *30 квітня, 1916 — †24 лютого, 2001) — американський електротехнік і математик, «батько теорії інформації».
Новинка!!: Теоретична інформатика і Клод Шеннон · Побачити більше »
Колмогоровська складність
Складність та ентропія конструктивних об'єктів, відома як колмоговська складність, складність колмогова, стохастична складність в алгоритмічній теорії інформації, складність об'єкту(або тексту) -- є міра обчислювальних ресурсів, що необхідні для того, щоб точно визначити цей об'єкт.
Новинка!!: Теоретична інформатика і Колмогоровська складність · Побачити більше »
Комунікація
І. Рєпін (1880) Комуніка́ція (від communicatio — єдність, передача, з'єднання, повідомлення, пов'язаного з дієсловом communico — роблю спільним, повідомляю, з'єдную, похідним від communis — спільний) — це процес обміну інформацією (фактами, ідеями, поглядами, емоціями тощо) між двома або більше особами, спілкування за допомогою вербальних і невербальних засобів із метою передавання та одержання інформації.
Новинка!!: Теоретична інформатика і Комунікація · Побачити більше »
Комбінаторна оптимізація
Комбінаторна оптимізація (Combinatorial optimization) — розділ теорії оптимізації.
Новинка!!: Теоретична інформатика і Комбінаторна оптимізація · Побачити більше »
Комп'ютер
Монітор 2: Материнська плата 3: Процесор 4: Порт ATA 5: Оперативна пам'ять 6: Карти розширення 7: Комп'ютерний блок живлення 8: Дисковод 9: Жорсткий диск 10: Клавіатура 11: Комп'ютерна миша персонального комп'ютера — системний блок, відеомонітор, клавіатура) Комп'ютер (від computer; computator — обчислювач, computatrum — рахувати, МФА) — програмно-керований пристрій для обробки інформації.
Новинка!!: Теоретична інформатика і Комп'ютер · Побачити більше »
Комп'ютерна графіка
Мартіном Ньюеллем в 1975 році. 3D-Модель у середовищі редактора тривимірної графіки Blender Комп'ютерна гра́фіка — 1) в науці - розділ інформатики, який вивчає методи цифрового синтезу і обробки візуального контенту; 2) вид сучасного мистецтва, яке також називають цифровим, що входить до загального медіа-арту - зображення, які створюються, перетворюються, оцифровуються, обробляються і виводяться засобами обчислювальної техніки, включаючи апаратні і програмні засоби, Рухома комп'ютерна графіка називається комп'ютерним відео або комп'ютерною анімацією. Для виведення графіки використовують монітор, принтер, плотер тощо. Робота з комп'ютерною графікою — один з найпопулярніших напрямків використання персонального комп'ютера, до того ж виконують цю роботу не тільки професійні художники і дизайнери. На будь-яких підприємствах іноді виникає необхідність подачі рекламних оголошень в газетах і журналах або просто у випуску рекламної листівки або буклету. Без комп'ютерної графіки не обходиться жодна сучасна мультимедійна програма. Робота над графікою становить до 90% робочого часу програмістських колективів, які випускають програми масового використання. Розрізняють 3 види комп'ютерної графіки. Це растрова графіка, векторна графіка і фрактальна графіка. Вони відрізняються принципами формування зображення при відображенні на екрані монітора або при друці на папері. Растрову графіку використовують при розробці електронних (мультимедійних) і поліграфічних видань. Ілюстрації, виконані засобами растрової графіки, рідко створюють вручну за допомогою комп'ютерних програм. Частіше для цього використовують скановані ілюстрації, підготовлені художником на папері, або фотографії. Останнім часом для вводу растрових зображень в комп'ютер широко використовують цифрові фото- і відеокамери. Більшість графічних редакторів, призначених для роботи з растровими ілюстраціями, орієнтовані більше на обробку, а не створення зображення. В Інтернеті поки що використовують тільки растрові ілюстрації. Програмні засоби для роботи з векторною графікою призначені найперше для створення ілюстрацій і менше для їхньої обробки. Такі засоби широко використовують в рекламних агентствах, дизайнерських бюро, редакціях і виданнях. Оформлювальні роботи із застосуванням шрифтів і простих геометричних елементів, вирішуються засобами векторної графіки набагато простіше. Існують приклади високохудожніх творів, створених засобами векторної графіки, але вони скоріше винятки, ніж правило, оскільки художня підготовка ілюстрацій засобами векторної графіки надзвичайно складна. Програмні засоби для роботи з фрактальною графікою призначені для автоматичної генерації зображення шляхом математичних розрахунків. Створення фрактальної художньої композиції полягає не в рисуванні чи оформленні, а в програмуванні. Фрактальну графіку рідко використовують для створення друкованих або електронних документів, але її часто використовують у розважальних програмах.
Новинка!!: Теоретична інформатика і Комп'ютерна графіка · Побачити більше »
Комп'ютерна мережа
Комп'ю́терна мере́жа — система зв'язку між двома чи більше комп'ютерами.
Новинка!!: Теоретична інформатика і Комп'ютерна мережа · Побачити більше »
Комп'ютерна програма
Комп'ютерна програма Комп'ю́терна програ́ма (Computer program) — набір інструкцій у вигляді слів, цифр, кодів, схем, символів чи у будь-якому іншому вигляді, виражених у формі, придатній для зчитування (комп'ютером), які приводять його у дію для досягнення певної мети або результату (це поняття охоплює як операційну систему, так і прикладну програму, виражені у вихідному або об'єктному кодах).
Новинка!!: Теоретична інформатика і Комп'ютерна програма · Побачити більше »
Комп'ютерна пам'ять
Комп'ю́терна па́м'ять (memory, storage) — функціональна частина ЕОМ, призначена для прийому, зберігання та видачі даних.
Новинка!!: Теоретична інформатика і Комп'ютерна пам'ять · Побачити більше »
Комп'ютерна платформа
Комп'ю́терна платфо́рма — сукупність комп'ютерів, сумісних між собою в тому або іншому сенсі.
Новинка!!: Теоретична інформатика і Комп'ютерна платформа · Побачити більше »
Компілятор
Компілятор (Compiler від to compile — збирати в ціле) — комп'ютерна програма (або набір к. програм), що перетворює (компілює) вихідний код, написаний певною мовою програмування (мова джерела, source language), на семантично еквівалентний код в іншій мові програмування (мова цілі, target language), який зазвичай необхідний для виконання програми машиною, наприклад, комп'ютером.
Новинка!!: Теоретична інформатика і Компілятор · Побачити більше »
Компакт-диск
Компа́кт-ди́ск (compact disc) (CD) — переносний оптичний диск для збереження інформації (даних) у цифровому вигляді, тобто формату зберігання даних.
Новинка!!: Теоретична інформатика і Компакт-диск · Побачити більше »
Конфіденційність
Конфіденційність (confidentiality) — властивість не підлягати розголосові; довірливість, секретність, суто приватність.
Новинка!!: Теоретична інформатика і Конфіденційність · Побачити більше »
Пітер Шор
Пітер Віллістон Шор (Peter Williston Shor) — американський вчений, автор робіт у галузі геометрії, теорії ймовірностей, комбінаторики, теорії алгоритмів та квантової інформатики.
Новинка!!: Теоретична інформатика і Пітер Шор · Побачити більше »
Підпрограма
Підпрограма (subroutine) — частина програми, яка реалізує певний алгоритм і дозволяє звернення до неї з різних частин загальної (головної) програми.
Новинка!!: Теоретична інформатика і Підпрограма · Побачити більше »
Природа
Приро́да (термін є частковою калькою латинського слова natūra — від nat — народжувати, породжувати) — багатозначний термін, що в залежності від контексту, може означати.
Новинка!!: Теоретична інформатика і Природа · Побачити більше »
Прикладна математика
Прикладна математика — галузь математики, що розглядає застосування математичних знань в інших сферах діяльності.
Новинка!!: Теоретична інформатика і Прикладна математика · Побачити більше »
Принцип суперпозиції (квантова механіка)
При́нцип суперпози́ції — одна із фундаментальних засад квантової механіки.
Новинка!!: Теоретична інформатика і Принцип суперпозиції (квантова механіка) · Побачити більше »
Програмне забезпечення
Програ́мне забезпе́чення (програ́мні за́соби) (ПЗ; software) — сукупність програм системи обробки інформації і програмних документів, необхідних для експлуатації цих програм.
Новинка!!: Теоретична інформатика і Програмне забезпечення · Побачити більше »
Пропускна здатність каналу
В електротехніці, інформатиці та теорії інформації, пропускна спроможність — найвища верхня оцінка обсягу інформації, яка може бути надійно передана через комунікаційний канал.
Новинка!!: Теоретична інформатика і Пропускна здатність каналу · Побачити більше »
Паралельні обчислення
масово паралельний суперкомп'ютер IBM Blue Gene/P Паралельні обчислення — це форма обчислень, в яких кілька дій проводяться одночасно.
Новинка!!: Теоретична інформатика і Паралельні обчислення · Побачити більше »
Паралельний алгоритм
Парале́льний алгори́тм в інформатиці (також конкурентний алгоритм), на відміну від традиційного послідовного, це алгоритм, який одночасно може виконуватися на багатьох обчислювальних приладах, з наступним об'єднанням отриманих результатів для отримання вірного загального результату.
Новинка!!: Теоретична інформатика і Паралельний алгоритм · Побачити більше »
Паралелізм бітового рівня
Паралелізм бітового рівня — вид паралельних обчислень, що ґрунтується на збільшенні розміру машинного слова.
Новинка!!: Теоретична інформатика і Паралелізм бітового рівня · Побачити більше »
Паралелізм даних
Паралелізм даних є формою розпаралелювання обчислень на кількох процесорах в паралельно обчислювальних середовищах.
Новинка!!: Теоретична інформатика і Паралелізм даних · Побачити більше »
Паралелізм на рівні команд
Паралелізм на рівні команд (Instruction-level parallelism, ILP) — є мірою того, яка кількість операцій в комп'ютерній програмі може виконуватися одночасно.
Новинка!!: Теоретична інформатика і Паралелізм на рівні команд · Побачити більше »
Плагіат
Плагіа́т — привласнення авторства на чужий твір або на чуже відкриття, винахід чи раціоналізаторську пропозицію, а також використання у своїх працях чужого твору без посилання на автора.
Новинка!!: Теоретична інформатика і Плагіат · Побачити більше »
Постійний запам'ятовувач
Програмований постійний запам'ятовувальний пристрій (EPROM) з ультрафіолетовим витиранням. Віконце служить для витирання даних. Захищене сховище даних (ЗСД), пам'ять постійного зберігання, постійний запам'ятовувальний пристрій (ПЗП), пам'ять тільки для читання (ROM - Read Only Memory) — енергонезалежна пам'ять, з якої може проводитись тільки зчитування даних.
Новинка!!: Теоретична інформатика і Постійний запам'ятовувач · Побачити більше »
Пошукова система
Пошуко́ва систе́ма (або скорочено пошукови́к) певна база даних — онлайн-служба (апаратно-програмний комплекс з веб-інтерфейсом), що надає можливість пошуку інформації в Інтернеті.
Новинка!!: Теоретична інформатика і Пошукова система · Побачити більше »
Похідна
Графік функції, що позначено чорним кольором, та дотична до нього (червоний колір). Значення тангенса кута нахилу дотичної є значенням похідної у вказаній точці. Похідна́ — основне поняття диференціального числення, що характеризує швидкість зміни функції.
Новинка!!: Теоретична інформатика і Похідна · Побачити більше »
Порожній рядок
В інформатиці та теорії формальних мов, порожній рядок (або null рядок)Kernighan and Ritchie, C, p. 38 це особливий рядок нульової довжини.
Новинка!!: Теоретична інформатика і Порожній рядок · Побачити більше »
Первісна
Первісними для функції ''f(x).
Новинка!!: Теоретична інформатика і Первісна · Побачити більше »
Перетворення даних (статистика)
В статистиці перетворення даних зводиться до застосування детермінованої математичної функції до кожного елементу в наборі даних, тобто, кожна точка z в наборі даних замінюється на трансформоване значення y_i.
Новинка!!: Теоретична інформатика і Перетворення даних (статистика) · Побачити більше »
Обчислювальна складність
Складність обчислювальних процесів — це поняття теорії складності обчислень, оцінка ресурсів (зазвичай часу) необхідних для виконання алгоритму.
Новинка!!: Теоретична інформатика і Обчислювальна складність · Побачити більше »
Обчислювальна біологія
Обчислювальна біологія — міждисциплінарна область науки, що використовує досягнення інформатики, обчислювальної техніки, прикладної математики і статистики для вирішення біологічних проблем.
Новинка!!: Теоретична інформатика і Обчислювальна біологія · Побачити більше »
Обчислювальна геометрія
Обчислювальна геометрія (computational geometry) — галузь комп'ютерних наук присвячена вивченню алгоритмів, які описуються в термінах геометрії.
Новинка!!: Теоретична інформатика і Обчислювальна геометрія · Побачити більше »
Обмін повідомленнями
Обмін повідомленнями — в програмуванні, є способом координації в конкурентних, паралельних, та об'єктно-орієнтованих системах, та організації взаємодії між процесами.
Новинка!!: Теоретична інформатика і Обмін повідомленнями · Побачити більше »
Оптимізація (математика)
максимум в точці (''x, y, z'').
Новинка!!: Теоретична інформатика і Оптимізація (математика) · Побачити більше »
Асиметричні алгоритми шифрування
Принцип роботи асиметричної криптосистеми Асиметричні криптосистеми — ефективні системи криптографічного захисту даних, які також називають криптосистемами з відкритим ключем.
Новинка!!: Теоретична інформатика і Асиметричні алгоритми шифрування · Побачити більше »
Архітектура комп'ютера
Конвеєрність є ключовою концепцією в архітектурі комп'ютера. У комп'ютерній інженерії і інформатиці, архітектура комп'ютера (Computer architecture) — це набір дисциплін, які описують функціональність, організацію та реалізацію комп'ютерних систем.
Новинка!!: Теоретична інформатика і Архітектура комп'ютера · Побачити більше »
Абстрактна алгебра
Абстра́ктна або ви́ща а́лгебра — галузь математики, зосереджена на вивченні властивостей аксіоматично впроваджених алгебраїчних структур.
Новинка!!: Теоретична інформатика і Абстрактна алгебра · Побачити більше »
Автоматизована система технологічної підготовки виробництва
Автоматизо́вана систе́ма технологі́чної підгото́вки виробни́цтва, АСТПВ, CAM (Computer-aided manufacturing) — підготовка технологічного процесу виробництва виробів, орієнтована на використання ЕОМ.
Новинка!!: Теоретична інформатика і Автоматизована система технологічної підготовки виробництва · Побачити більше »
Автентифікація
Автентифікáція (з; реальний або істинний) — процедура встановлення належності користувачеві інформації в системі пред'явленого ним ідентифікатора.
Новинка!!: Теоретична інформатика і Автентифікація · Побачити більше »
Алгоритм
Сторінка з «Алгебри» аль-Хорезмі — перського математика, від імені якого походить слово ''алгоритм''. Алгори́тм (Algorithmi за араб. ім'ям узб. математика аль-Хорезмі) — набір інструкцій, які описують порядок дій виконавця, щоб досягти результату розв'язання задачі за скінченну кількість дій; система правил виконання дискретного процесу, яка досягає поставленої мети за скінченний час.
Новинка!!: Теоретична інформатика і Алгоритм · Побачити більше »
Алгебраїчний вираз
Алгебраїчний вираз (expression) — скінченна комбінація символів, граматично правильна щодо правил, застосовних в поточному контексті.
Новинка!!: Теоретична інформатика і Алгебраїчний вираз · Побачити більше »
Анімація
Графічна анімація Аніма́ція (з лат. anima — душа і похідного фр. animation — оживлення), мультипліка́ція (з лат. multiplicatio — розмноження, збільшення, зростання) — вид кіномистецтва, твори якого створюються шляхом знімання послідовних фаз руху намальованих (графічна анімація) або об'ємних (об'ємна анімація) об'єктів.
Новинка!!: Теоретична інформатика і Анімація · Побачити більше »
Анатомія
Анатомічна будова голови людини, вид збоку Анато́мія (з ἀνα- — верх і τέμνω — різати) — це наука про форму, будову організму та окремих його органів чи систем.
Новинка!!: Теоретична інформатика і Анатомія · Побачити більше »
Аналіз даних
Аналіз даних — розділ математики, що займається розробкою методів обробки даних незалежно від їх природи.
Новинка!!: Теоретична інформатика і Аналіз даних · Побачити більше »
Наукова візуалізація
Візуалізація молекули протеїну. Науко́ва візуаліз́ація (scientific visualization) — міждисциплінарний науковий напрям, який зосереджено, в основному, на «візуалізації тривимірних явищ (архітектури, метеорології, медицини, біології, і так далі), з наголосом на реалістичному зображені об'ємів, поверхонь, джерел освітлення, і тому подібному, можливо, з динамічною складовою (часу)».
Новинка!!: Теоретична інформатика і Наукова візуалізація · Побачити більше »
Національний інститут стандартів і технології
Націона́льний інститу́т станда́́ртів і техноло́гії (NIST, до 1988 відомий як Національне бюро стандартів, National Bureau of Standards.) — національний орган зі стандартизації у США.
Новинка!!: Теоретична інформатика і Національний інститут стандартів і технології · Побачити більше »
Навчання з учителем
Навчання з учителем (Supervised learning) — один із способів машинного навчання, в ході якого випробувана система примусово навчається за допомогою наявної множини прикладів «стимул-реакція» з метою визначення «реакції» для «стимулів», які не належать наявній множини прикладів.
Новинка!!: Теоретична інформатика і Навчання з учителем · Побачити більше »
Напівпровідник
методом Чохральського Напівпровідники́ (semiconductors) — матеріали, електропровідність яких має проміжне значення між провідностями провідника та діелектрика.
Новинка!!: Теоретична інформатика і Напівпровідник · Побачити більше »
Нерухома точка
Графік функції з трьома нерухомими точками Нерухома точка відображення множини в себе — точка, яка відображається сама в себе.
Новинка!!: Теоретична інформатика і Нерухома точка · Побачити більше »
Неврологія
Магнітно-ядерний резонанс — методика обстеження, яку часто застосовують у неврології Невроло́гія — наука, яка вивчає нервову систему, розробляє теорію і практику лікування неврологічних хворих.
Новинка!!: Теоретична інформатика і Неврологія · Побачити більше »
Недетермінована машина Тюрінга
В теоретичній інформатиці недетермінована машина Тюрінга — машина Тюрінга, функція переходу якої являє собою недетермінований скінченний автомат.
Новинка!!: Теоретична інформатика і Недетермінована машина Тюрінга · Побачити більше »
Нейробіологія
Нейробіоло́гія — наука, що вивчає пристрій, функціонування, розвиток, генетику, біохімію, фізіологію, і патологію нервової системи.
Новинка!!: Теоретична інформатика і Нейробіологія · Побачити більше »
Нелінійні алгебраїчні рівняння
0, де P_n(x) є многочленом степеня n. Тобто, таке рівняння має такий вигляд: a_n x^n + a_ x^ +...
Новинка!!: Теоретична інформатика і Нелінійні алгебраїчні рівняння · Побачити більше »
Річард Філіпс Фейнман
Рі́чард Фі́ліпс Фе́йнман (Richard Phillips Feynman) (11 травня 1918, Нью-Йорк − 15 лютого 1988, Лос-Анджелес) — американський фізик, один з творців квантової електродинаміки.
Новинка!!: Теоретична інформатика і Річард Філіпс Фейнман · Побачити більше »
Розподілені обчислення
(A) - (B) Розподілена система. (C) Паралельна система. Розподі́лені обчи́слення (розподілена обробка даних) — спосіб розв'язання трудомістких обчислювальних завдань з використанням двох і більше комп'ютерів, об'єднаних в мережу.
Новинка!!: Теоретична інформатика і Розподілені обчислення · Побачити більше »
Суспільство
Суспільством називають організовану сукупність людей на певному етапі історичного розвитку, об'єднаних характерними для них відносинами.
Новинка!!: Теоретична інформатика і Суспільство · Побачити більше »
Стівен Кук
Стівен Артур Кук (Stephen Arthur Cook 14 грудня 1939) — канадський та американський математик та науковець у галузі теоретичної інформатики, лауреат премії Тюрінга.
Новинка!!: Теоретична інформатика і Стівен Кук · Побачити більше »
Структура даних
Бінарне дерево, одна з найпростіших деревоподібних структур даних В програмуванні та комп'ютерних науках структу́ри да́них — це способи організації даних в комп'ютерах.
Новинка!!: Теоретична інформатика і Структура даних · Побачити більше »
Статистична модель
Статисти́чна моде́ль — абстрактна схема відношень між величинами, що характеризують властивості реального процесу, розробка якої здійснюється неформальним шляхом.
Новинка!!: Теоретична інформатика і Статистична модель · Побачити більше »
Статистика
Стати́стика — наука, що вивчає методи кількісного охоплення і дослідження масових, зокрема суспільних, явищ і процесів.
Новинка!!: Теоретична інформатика і Статистика · Побачити більше »
Стиснення без втрат
Стиснення без втрат (Lossless compression) — метод стиснення даних, при використанні якого закодована інформація може бути повністю відновлена зі стиснутих даних.
Новинка!!: Теоретична інформатика і Стиснення без втрат · Побачити більше »
Стиснення з втратами
Стиснення з втратами (Lossy compression) — метод стиснення даних, при якому розпакований файл відрізняється від оригіналу, проте може бути корисним для використання.
Новинка!!: Теоретична інформатика і Стиснення з втратами · Побачити більше »
Система типізації
Система типізації в програмуванні визначає множину припустимих значень даних та множину операцій над даними.
Новинка!!: Теоретична інформатика і Система типізації · Побачити більше »
Система автоматизованого проектування і розрахунку
Приклад 2D-креслення Приклад 3D-моделі Систе́ма автоматизо́ваного проектува́ння (САП або САПР) або автоматизо́вана систе́ма проектува́ння (АСП) — автоматизована система, призначена для автоматизації технологічного процесу проектування виробу, результатом якого є комплект проектно-конструкторської документації, достатньої для виготовлення та подальшої експлуатації об'єкта проектування.
Новинка!!: Теоретична інформатика і Система автоматизованого проектування і розрахунку · Побачити більше »
Система комп'ютерної алгебри
Система комп'ютерної алгебри — це комп'ютерна програма чи пакет програм, що дозволяє виконувати найрізноманітніші математичні операції та перетворення алгебраїчних виразів заданих в чисельній та символьній (змінні, функції, поліноми, матриці тощо) формах.
Новинка!!: Теоретична інформатика і Система комп'ютерної алгебри · Побачити більше »
Спам
160px Спам — масова розсилка кореспонденції рекламного чи іншого характеру людям, які не висловили бажання її одержувати.
Новинка!!: Теоретична інформатика і Спам · Побачити більше »
Сплутані квантові стани
Квантова заплутаність — квантовомеханічне явище, при якому квантовий стан двох або більшої кількості об'єктів повинен описуватися у взаємозв'язку один з одним, навіть якщо окремі об'єкти рознесені в просторі.
Новинка!!: Теоретична інформатика і Сплутані квантові стани · Побачити більше »
Специфікація
Специфіка́ція (specification) — формалізований опис властивостей, характеристик і функцій об'єктів.
Новинка!!: Теоретична інформатика і Специфікація · Побачити більше »
Сервісно-орієнтована архітектура
Се́рвісно-орієнто́вана архітекту́ра (Service-oriented architecture, SOA) — архітектурний шаблон програмного забезпечення, модульний підхід до розробки програмного забезпечення, заснований на використанні розподілених, слабко пов'язаних замінних компонентів, оснащених стандартизованими інтерфейсами для взаємодії за стандартизованими протоколами.
Новинка!!: Теоретична інформатика і Сервісно-орієнтована архітектура · Побачити більше »
Семантика мов програмування
Семантика в теорії програмування — розділ що вивчає математичне значення мови програмування та моделі обчислень.
Новинка!!: Теоретична інформатика і Семантика мов програмування · Побачити більше »
Транзистор
Різноманітні транзистори поверхневого монтажу Транзи́стор (transfer — «переносити» і resistor — «опір») — напівпровідниковий елемент електронної техніки, який дозволяє керувати струмом, що протікає крізь нього, за допомогою зміни вхідної напруги або струму, поданих на базу, або інший електрод.
Новинка!!: Теоретична інформатика і Транзистор · Побачити більше »
Технічна система
Техні́чна систе́ма (ТС) — це штучно створена сукупність елементів і відношень (зв'язків) між ними, які утворюють цілісну структуру об'єкта, що має властивості, які не зводяться до властивостей елементів і призначена для виконання корисних функцій.
Новинка!!: Теоретична інформатика і Технічна система · Побачити більше »
Теорія складності обчислень
Теорія складності обчислень — підрозділ теоретичної інформатики, що займається дослідженням складності алгоритмів для розв'язання задач на основі формально визначених моделей обчислювальних пристроїв.
Новинка!!: Теоретична інформатика і Теорія складності обчислень · Побачити більше »
Теорія інформації
Теóрія інформáції — це розділ математики, який досліджує процеси зберігання, перетворення і передачі інформації.
Новинка!!: Теоретична інформатика і Теорія інформації · Побачити більше »
Теорія чисел
Теорія чисел або вища арифметика — галузь математики, яка розпочалась з вивчення деяких властивостей натуральних чисел, пов'язаних з питаннями подільності і розв'язання алгебраїчних рівнянь у натуральних (а згодом також цілих) числах.
Новинка!!: Теоретична інформатика і Теорія чисел · Побачити більше »
Теорія розпізнавання образів
Автоматичне виявлення облич спеціальною програмою. Тео́рія розпізнава́ння о́бразів — розділ кібернетики, що розвиває теоретичні основи й методи класифікації і ідентифікації предметів, явищ, процесів, сигналів, ситуацій і т. п.
Новинка!!: Теоретична інформатика і Теорія розпізнавання образів · Побачити більше »
Теорія автоматів
Тео́рія автома́тів — логіко-математична теорія, об'єктом дослідження якої є абстрактні дискретні автомати — покрокові перетворювачі інформації; розділ теоретичної кібернетики.
Новинка!!: Теоретична інформатика і Теорія автоматів · Побачити більше »
Теорія алгоритмів
Теорія алгоритмів (Theory of computation) — окремий розділ математики, що вивчає загальні властивості алгоритмів.
Новинка!!: Теоретична інформатика і Теорія алгоритмів · Побачити більше »
Теорія випадкових процесів
Теорія випадкових процесів — підрозділ математики (а саме теорії імовірностей), який займається вивченням випадкових процесів, їх властивостей та застосування.
Новинка!!: Теоретична інформатика і Теорія випадкових процесів · Побачити більше »
Теорія графів
Граф зі шістьма вершинами та сімома ребрами Теорія графів — розділ математики, що вивчає властивості графів.
Новинка!!: Теоретична інформатика і Теорія графів · Побачити більше »
Теорія ймовірностей
Тео́рія імові́рності — розділ математики, що вивчає закономірності випадкових явищ: випадкові події, випадкові величини, їхні функції, властивості й операції над ними.
Новинка!!: Теоретична інформатика і Теорія ймовірностей · Побачити більше »
Теорія категорій
Теорія категорій — розділ математики, що вивчає властивості відношень між математичними структурами, не залежно від внутрішньої будови структур; абстрагується від множин та функцій до діаграм, де об'єкти зв'язані морфізмами (стрілками).
Новинка!!: Теоретична інформатика і Теорія категорій · Побачити більше »
Теорія кодування
Теорія кодування — це вивчення властивостей кодів та їх придатності для специфічних задач.
Новинка!!: Теоретична інформатика і Теорія кодування · Побачити більше »
Теорія обчислюваності
Теорія обчислюваності, також відома як теорія рекурсії, являє собою галузь математичної логіки, що заснована у 30-х роках XX ст.
Новинка!!: Теоретична інформатика і Теорія обчислюваності · Побачити більше »
Теореми Геделя про неповноту
Теорема Геделя про неповноту і друга теорема Геделя (Gödel's incompleteness theorems) — дві теореми математичної логіки про принципові обмеження формальної арифметики і, як наслідок, будь-якої формальної системи, в якій можливо визначити основні арифметичні поняття: натуральні числа, 0, 1, додавання та множення.
Новинка!!: Теоретична інформатика і Теореми Геделя про неповноту · Побачити більше »
Увипадковлений алгоритм
Увипадковлений алгоритм (randomized algorithm) — це алгоритм, який використовує елемент випадковості як частину своєї логіки.
Новинка!!: Теоретична інформатика і Увипадковлений алгоритм · Побачити більше »
Функція (математика)
Функція f відображає область визначення X в цільову множину Y; менший овал всередині Y — це область значень функції f Фу́нкція (відображення, трансформація, оператор) в математиці — це правило, яке кожному елементу з першої множини (області визначення) ставить у відповідність один і тільки один елемент з другої множини.
Новинка!!: Теоретична інформатика і Функція (математика) · Побачити більше »
Фізика
літію. Вивчення матерії на атомному рівні — одна з пріоритетних задач фізики Синхротрон. Сучасна фізика використовує гігантські експериментальні інструменти. Фі́зика (від φυσικός природний, φύσις природа) — природнича наука, яка досліджує загальні властивості матерії та явищ у ній, а також виявляє загальні закони, які керують цими явищами.
Новинка!!: Теоретична інформатика і Фізика · Побачити більше »
Формальні методи
Формальні методи (Formal methods) — у комп'ютерних науках, побудовані на математиці методи написання специфікацій, розробки та перевірки (verification) програмного забезпечення та комп'ютерного обладнання.
Новинка!!: Теоретична інформатика і Формальні методи · Побачити більше »
Формальна мова
Синтаксичне підрозділ в рамках формальної системи. Форма́льна мо́ва — множина скінчених послідовностей символів, які описуються правилами певного виду, які називаються граматикою, або синтаксисом мови (див. формальна граматика).
Новинка!!: Теоретична інформатика і Формальна мова · Побачити більше »
Хімія
Хімічні речовини у пляшках. Хі́мія — одна з наук про природу, яка вивчає молекулярно-атомні перетворення речовин, тобто, при яких молекули одних речовин руйнуються, а на їхньому місці утворюються молекули інших речовин з новими властивостями.
Новинка!!: Теоретична інформатика і Хімія · Побачити більше »
Хвильова функція
Хвильова функція, або псі-функція \psi \, — комплекснозначна функція, що використовується в квантовій механіці для опису стану квантовомеханічної системи.
Новинка!!: Теоретична інформатика і Хвильова функція · Побачити більше »
Цілісність інформації
Цілісність даних (data integrity) — підтримка та забезпечення точності та цілісності даних протягом всього, що є критично важливим аспектом при проектуванні, впровадженні та експлуатації систем, які зберігають, обробляють та постачають дані.
Новинка!!: Теоретична інформатика і Цілісність інформації · Побачити більше »
Центральний процесор
Сучасний мікропроцесор Intel Core i7 2600K Socket LGA1155, вигляд зверху Стійка центрального процесора EDVAC Вид з середини на стійку центрального процесора PDP-8-1 оперативної пам'яті та система охолодження 80486dx2 Центральний процесор, ЦП (Central processing unit, CPU) — функціональна частина комп'ютера, що призначена для інтерпретації команд.
Новинка!!: Теоретична інформатика і Центральний процесор · Побачити більше »
Число з рухомою комою
Число з рухомою комою — форма представлення дійсних чисел, в якій число зберігається у формі мантиси і показника степеня.
Новинка!!: Теоретична інформатика і Число з рухомою комою · Побачити більше »
Чисельні методи
Чисе́льні ме́тоди, також числові́ ме́тоди, чисе́льний ана́ліз — методи наближеного або точного розв'язування задач чистої або прикладної математики, які ґрунтуються на побудові послідовності дій над скінченною множиною чисел.
Новинка!!: Теоретична інформатика і Чисельні методи · Побачити більше »
Чисельне інтегрування
Задача чисе́льного інтегрува́ння полягає в знаходженні приблизного значення інтегралу де f(x) — задана функція.
Новинка!!: Теоретична інформатика і Чисельне інтегрування · Побачити більше »
Чорна діра
Великою Магелановою Хмарою (художнє зображення) Чорна діра — астрофізичний об'єкт, який створює настільки потужну силу тяжіння, що жодні, як завгодно швидкі частинки, не можуть покинути його поверхню, навіть світло.
Новинка!!: Теоретична інформатика і Чорна діра · Побачити більше »
Штучний інтелект
Шту́чний інтеле́кт (Artificial intelligence, AI) — розділ комп'ютерної лінгвістики та інформатики, що опікується формалізацією проблем та завдань, які нагадують справи, виконувані людиною.
Новинка!!: Теоретична інформатика і Штучний інтелект · Побачити більше »
Мікросхема
ППЗП) з прозорим віконцем, через яке видно кристал напівпровідника Інтегральна схема (І мікросхема) Мікросхе́ма, інтегральна мікросхема (integrated circuit) — електронна схема, що реалізована у вигляді напівпровідникового кристалу (чипу) та виконує певну функцію.
Новинка!!: Теоретична інформатика і Мікросхема · Побачити більше »
Мікропроцесор
Мікропроцесор 80486dx2 Мікропроце́сор (microprocessor) — інтегральна схема, яка виконує функції центрального процесора (ЦП) або спеціалізованого процесора.
Новинка!!: Теоретична інформатика і Мікропроцесор · Побачити більше »
Масова багатокористувацька онлайн-гра
Масова багатокористувальницька онлайн-гра (Massively Multiplayer Online Game, MMO, MMOG) — мережева відеогра, в яку одночасно грає багато гравців (переважно, не менше кількох десятків, зараз найчастіше тисячі, іноді сотні тисяч).
Новинка!!: Теоретична інформатика і Масова багатокористувацька онлайн-гра · Побачити більше »
Машинне навчання
Машинне навчання (machine learning) — це підгалузь штучного інтелекту в галузі інформатики, яка часто застосовує статистичні прийоми для надання комп'ютерам здатності «навчатися» (тобто, поступово покращувати продуктивність у певній задачі) з даних, без того, щоби бути програмованими явно.
Новинка!!: Теоретична інформатика і Машинне навчання · Побачити більше »
Математична логіка
Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.
Новинка!!: Теоретична інформатика і Математична логіка · Побачити більше »
Математичний аналіз
Математи́чний ана́ліз — фундаментальний розділ математики, що веде свій відлік від XVII століття, коли було строго сформульовано теорію нескінченно малих.
Новинка!!: Теоретична інформатика і Математичний аналіз · Побачити більше »
Математичний об'єкт
Математичний об'єкт —, який виникає в математиці.
Новинка!!: Теоретична інформатика і Математичний об'єкт · Побачити більше »
Математика
Рафаеля Матема́тика (μάθημα — наука, знання, вивчення) — наука, яка первісно виникла як один з напрямків пошуку істини (у грецькій філософії) у сфері просторових відношень (землеміряння — геометрії) і обчислень (арифметики), для практичних потреб людини рахувати, обчислювати, вимірювати, досліджувати форми та рух фізичних тіл.
Новинка!!: Теоретична інформатика і Математика · Побачити більше »
Мистецтво програмування
Мистецтво програмування (The Art of Computer Programming (TAOCP)) — фундаментальна монографія відомого американського фахівця в галузі комп'ютерних наук та математикa Дональда Кнута, присвячена розгляду та аналізу найважливіших алгоритмів, що застосовуються в інформатиці.
Новинка!!: Теоретична інформатика і Мистецтво програмування · Побачити більше »
Мова програмування
Мо́ва програмува́ння (Programming language) — це штучна мова, створена для передачі команд машинам, зокрема комп'ютерам.
Новинка!!: Теоретична інформатика і Мова програмування · Побачити більше »
Мовознавство
Мовозна́вство, також лінгві́стика — наука, що вивчає мову в усій складності її прояву; наука про мову взагалі й окремі мови світу як індивідуальних її представників.
Новинка!!: Теоретична інформатика і Мовознавство · Побачити більше »
Модель обчислення
Модель обчислення в інформатиці, а особливо у теорії обчислюваності та теорії складності обчислень, - це визначення множин допустимих операцій, що використовуються при обчисленні, та їх відповідні витрати.
Новинка!!: Теоретична інформатика і Модель обчислення · Побачити більше »
Молекулярна біологія
Молекуля́рна біоло́гія — галузь біології, яка вивчає біологічні процеси на рівні біополімерів— нуклеїнових кислот і білків та їх надмолекулярних структур.
Новинка!!: Теоретична інформатика і Молекулярна біологія · Побачити більше »
Закон Амдала
Графік залежності прискорення виконання програми залежно від числа процесорів при різних рівнях розпаралелювання програмного коду Закон Амдала визначає потенційне прискорення алгоритму при збільшенні числа процесорів.
Новинка!!: Теоретична інформатика і Закон Амдала · Побачити більше »
Закономірність
Закономірність — об'єктивний, постійний і необхідний взаємозв'язок між предметами, явищами або процесами, що випливає з їх внутрішньої природи, сутності; закономірність.
Новинка!!: Теоретична інформатика і Закономірність · Побачити більше »
Звичайні диференціальні рівняння
Звичайні диференціальні рівняння — рівняння вигляду де x.
Новинка!!: Теоретична інформатика і Звичайні диференціальні рівняння · Побачити більше »
Змінна
Змінна — математична величина, значення якої може змінюватись у межах певної задачі.
Новинка!!: Теоретична інформатика і Змінна · Побачити більше »
Зовнішня пам'ять
Зовнішня пам'ять (external memory або auxiliary memory) - це комп'ютерна пам'ять, що реалізована у вигляді зовнішніх, відносно материнської плати, пристроїв із різними принципами збереження інформації і типами носія, призначених для довготривалого зберігання інформації.
Новинка!!: Теоретична інформатика і Зовнішня пам'ять · Побачити більше »
Б-дерево
Зображення Б-дерева Б-дерева (B-tree) — це один з видів збалансованих дерев, що забезпечують ефективне збереження інформації на магнітних дисках та інших пристроях з прямим доступом.
Новинка!!: Теоретична інформатика і Б-дерево · Побачити більше »
Біт
Тумблер, фізичний еквівалент одного біта Біт (bit, переклад: шматочок) — мінімальна одиниця кількості інформації, яка дорівнює одному двійковому розряду, який може бути рівним одному з двох значень/станів (0 або 1), застосовуваних для представлення даних у двійковій системі числення.
Новинка!!: Теоретична інформатика і Біт · Побачити більше »
Бінарний код
Слово «Wikipedia» закодоване бінарним ASCII-кодом. Біна́рний код — є загальним позначенням для коду, за допомогою якого повідомлення можуть передаватися послідовностями (секвенціями) за допомогою двох символів (наприклад, «1» та «0»).
Новинка!!: Теоретична інформатика і Бінарний код · Побачити більше »
Біоінформатика
геному людини — одне з найбільших досягнень біоінформатики. Біоінформа́тика — галузь обчислювальної біології, що застосовує машинні алгоритми і статистичні методи для аналізу великих наборів біологічних даних, які, як правило, складаються з великого числа нуклеотидних (ДНК і РНК) та пептидних (білки) послідовностей і даних структури білків.
Новинка!!: Теоретична інформатика і Біоінформатика · Побачити більше »
Біоінженерія
Біоінженерія (bioengineering) — напрям науки і техніки, застосування інженерних принципів в біології та медицині.
Новинка!!: Теоретична інформатика і Біоінженерія · Побачити більше »
Біофізика
Біофі́зика (від βίος — життя, φύσις — природа): — галузь науки, яка вивчає живу природу через фізичні та фізико-хімічні явища зародження, формування, життєдіяльність, відтворення життя на всіх рівнях, починаючи з молекул, клітин, органів та тканин, закінчуючи організмами системами та біосфери і ноосфери в цілому.
Новинка!!: Теоретична інформатика і Біофізика · Побачити більше »
Біохімія
Біохі́мія (від βίος — «життя» і єгип. kēme — «Земля», також біологічна або фізіологічна хімія) — наука про хімічний склад організмів та їхніх складових частин та про хімічні процеси, що протікають в організмах.
Новинка!!: Теоретична інформатика і Біохімія · Побачити більше »
Біологія
Біоло́гія (βίοσ — життя, λόγος — слово; наука) — система наук, що вивчає життя в усіх його проявах й на всіх рівнях організації живого, про живу природу, про істот, що заселяють Землю чи вже вимерли, їхні функції, розвиток особин і родів, спадковість, мінливість, взаємини, систематику, поширення на Землі; про зв'язки істот та їхні зв'язки з неживою природою.
Новинка!!: Теоретична інформатика і Біологія · Побачити більше »
Британська енциклопедія
Британська енциклопедія (Encyclopædia Britannica, British Encyclopaedia) або Британіка — найповніша й найстаріша універсальна енциклопедія англійською мовою.
Новинка!!: Теоретична інформатика і Британська енциклопедія · Побачити більше »
Баг
Баг (bug — жук) — жаргонізм, що означає помилку, ваду або дефект в програмі або системі, що викликає в ній неправильний або неочікуваний результат або неочікувану поведінку.
Новинка!!: Теоретична інформатика і Баг · Побачити більше »
Багатоядерний процесор
Багатоядерний процесор складається з двох і більше «обчислювальних ядер» на одному кристалі.
Новинка!!: Теоретична інформатика і Багатоядерний процесор · Побачити більше »
База даних
База даних (database) – сукупність даних, організованих відповідно до концепції, яка описує характеристику цих даних і взаємозв'язки між їх елементами; ця сукупність підтримує щонайменше одну з областей застосування (за стандартом ISO/IEC 2382:2015).
Новинка!!: Теоретична інформатика і База даних · Побачити більше »
Вибірка
Вибірка — це множина об'єктів, подій, зразків або сукупність вимірів, за допомогою визначеної процедури вибраних з генеральної сукупності для участі в дослідженні.
Новинка!!: Теоретична інформатика і Вибірка · Побачити більше »
Виклик віддалених процедур
Виклик віддалених процедур (Remote procedure call, RPC) — протокол, що дозволяє програмі, запущеній на одному комп'ютері, звертатись до функцій (процедур) програми, що виконується на іншому комп'ютері, подібно до того, як програма звертається до власних локальних функцій.
Новинка!!: Теоретична інформатика і Виклик віддалених процедур · Побачити більше »
Вояджер
«Вояджер» «Вояджер» (раніше званий: «Марінер») — назва космічної програми НАСА та двох американських космічних зондів, виведених на орбіту ракетоносіями типу Титан-3 (Центавр) у межах цієї програми.
Новинка!!: Теоретична інформатика і Вояджер · Побачити більше »
Верифікація програмного забезпечення
Верифікація програмного забезпечення — процес посвідчення, що програми та їх компоненти виконують запропоновані їм вимоги.
Новинка!!: Теоретична інформатика і Верифікація програмного забезпечення · Побачити більше »
Головний мозок
Головний мозок шимпанзе Головни́й мо́зок (cerebrum; також encephalon від ἐγκέφαλος — в середині голови) — головний відділ центральної нервової системи (невраксісу) всіх хребетних тварин, у яких він міститься в «коробці» — черепі.
Новинка!!: Теоретична інформатика і Головний мозок · Побачити більше »
Геш-таблиця
Геш-таблиця — структура даних, що реалізує інтерфейс асоціативного масиву, а саме, вона дозволяє зберігати пари (ключ, значення) і здійснювати три операції: операцію додавання нової пари, операцію пошуку і операцію видалення за ключем.
Новинка!!: Теоретична інформатика і Геш-таблиця · Побачити більше »
Геноміка
Геноміка — розділ генетики, предметом дослідження якого є організація та функціонування геномів живих організмів.
Новинка!!: Теоретична інформатика і Геноміка · Побачити більше »
Генетика
хромосоми Гене́тика (γεννώ — породжувати) — це наука про спадковість і мінливість ознак організмів, методи управління ними та організацію спадкового матеріалу; розділ біології.
Новинка!!: Теоретична інформатика і Генетика · Побачити більше »
Геоінформаційна система
Геоінформаці́йна систе́ма — сучасна комп'ютерна технологія, що дозволяє поєднати модельне зображення території (електронне відображення карт, схем, космо-, аерозображень земної поверхні) з інформацією табличного типу (різноманітні статистичні дані, списки, економічні показники тощо).
Новинка!!: Теоретична інформатика і Геоінформаційна система · Побачити більше »
Геометрія
прямокутного трикутника. Геоме́трія (від γη — Земля і μετρέω — вимірюю; землеміряння) — розділ математики, наука про просторові форми, відносини і їхні узагальнення.
Новинка!!: Теоретична інформатика і Геометрія · Побачити більше »
Дані (обчислювальна техніка)
Дані (data) – це формалізоване подання інформації, придатне для інтерпретування, пересилання чи оброблення за участю людини або автоматичними засобами (за стандартом ISO/IEC 2382:2015).
Новинка!!: Теоретична інформатика і Дані (обчислювальна техніка) · Побачити більше »
Диференціальне рівняння з частинними похідними
Диференціальне рівняння з частинними похідними (також відоме як рівняння математичної фізики) — диференціальне рівняння, що містить невідомі функції декількох змінних і їхні частинні похідні.
Новинка!!: Теоретична інформатика і Диференціальне рівняння з частинними похідними · Побачити більше »
Добування даних
Добува́ння да́них (Data Mining), також глиби́нний ана́ліз да́них — виявлення прихованих закономірностей або взаємозв'язків між змінними у великих масивах необроблених даних.
Новинка!!: Теоретична інформатика і Добування даних · Побачити більше »
Додаток (програма)
Додаток (add-on) в програмуванні — це клас відносно невеликих програм, що доповнюють і розширюють можливості основного застосунку (application) або ж міняють його зовнішній вигляд.
Новинка!!: Теоретична інформатика і Додаток (програма) · Побачити більше »
Дональд Кнут
Дональд Ервін Кнут (Donald Ervin Knuth, 10 січня 1938) — інформатик, ідеолог програмування та почесний професор Стенфордського університету.
Новинка!!: Теоретична інформатика і Дональд Кнут · Побачити більше »
Детермінізм
Детерміні́зм (determinatus — «визначений», «обмежений») — філософське вчення про загальну об’єктивну зумовленість явищ природи, суспільства та людської психіки, зокрема волі, внаслідок причинності, тобто такого зв’язку явищ, за якого одне явище (причина) за певних умов породжує інше (дію).
Новинка!!: Теоретична інформатика і Детермінізм · Побачити більше »
Інтерфейс користувача
Інтерфе́йс користувача́ (ІК), (user interface, UI) — засіб зручної взаємодії користувача з інформаційною системою.
Новинка!!: Теоретична інформатика і Інтерфейс користувача · Побачити більше »
Інтернет
Opte Project Кількість точок доступу до мережі Інтернет на 10000 жителів Кількість користувачів Інтернету у відсотках від населення країни (2015 р.) Інтерне́т (від Internet), міжмере́жжя — всесвітня система сполучених комп'ютерних мереж, що базуються на комплекті Інтернет-протоколів.
Новинка!!: Теоретична інформатика і Інтернет · Побачити більше »
Інтегральне рівняння
Інтегральне рівняння — рівняння, яке містить невідому функцію під знаком інтеграла, наприклад, \varphi(t).
Новинка!!: Теоретична інформатика і Інтегральне рівняння · Побачити більше »
Інформатика
Інформа́тика (informatics, information science; Informatik; информатика) — теоретична та прикладна (технічна, технологічна) дисципліна, що вивчає структуру і загальні властивості інформації, а також методи і (технічні) засоби її створення, перетворення, зберігання, передачі та використання в різних галузях людської діяльності.
Новинка!!: Теоретична інформатика і Інформатика · Побачити більше »
Ефективний метод
Ефективний методHunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971 або ефективна процедура у логіці, математиці та інформатиці, особливо у металогіці та теорії обчислюваності - це процедура вирішення проблеми з певного класу.
Новинка!!: Теоретична інформатика і Ефективний метод · Побачити більше »
Еволюція
Ернста Геккеля (1874 р.) Еволю́ція — природне явище зміни популяцій, видів, вищих таксонів, біоценозів, флор і фаун, генів і ознак у часі в ході історії Землі.
Новинка!!: Теоретична інформатика і Еволюція · Побачити більше »
Екологія
260 px 95px 173px 115px 125px Наукова дисципліна екологія охоплює галузь знань від вивчення глобальних процесів на планеті Земля (вгорі) до вивчення мешканців океанів і суходолу (центральні фото) та біологічної взаємодії, такі як хижацтво і запилення (внизу).
Новинка!!: Теоретична інформатика і Екологія · Побачити більше »
Електротехніка
Трансформатор — один з основних елементів електричних ліній Електроте́хніка (рос. электротехника, англ. electrical engineering, нім. Elekrotechnik f) — галузь науки і техніки, пов'язана із застосуванням електричних і магнітних явищ для перетворення енергії, добування і зміни складу хімічних речовин, виробництва та обробки матеріалів; галузь, що охоплює питання отримання (виробництва), розподілу, перетворення і застосування електроенергії.
Новинка!!: Теоретична інформатика і Електротехніка · Побачити більше »
Електронна обчислювальна машина
Електро́нна обчи́слювальна маши́на (ЕОМ) — загальна назва для обчислювальних машин, що є електронними (починаючи з перших лампових машин, включаючи напівпровідникові тощо) на відміну від електромеханічних (на електричних реле тощо) та механічних обчислювальних машин.
Новинка!!: Теоретична інформатика і Електронна обчислювальна машина · Побачити більше »
Людське тіло
Ця стаття про людське тіло в цілому. Зовнішня будова тіла людини. Людське тіло — фізична структура людини, людський організм.
Новинка!!: Теоретична інформатика і Людське тіло · Побачити більше »
Логічний вентиль
Елемент «І» Логічний вентиль — базовий елемент цифрової схеми, що виконує (обчислює) елементарну логічну операцію, перетворюючи таким чином вхідні логічні сигнали у вихідний логічний сигнал.
Новинка!!: Теоретична інформатика і Логічний вентиль · Побачити більше »
Логіка в інформатиці
Логіка в інформатиці — це напрям досліджень та галузей знань, де логіка застосовується в інформатиці та штучному інтелекті.
Новинка!!: Теоретична інформатика і Логіка в інформатиці · Побачити більше »
Левін Леонід Анатолійович
Леонід Анатолійович Левін ( 2 листопада 1948, Дніпропетровськ) — радянський і американський математик, фахівець в області теорії обчислювальної складності. Професор інформатики в Бостонському університеті.
Новинка!!: Теоретична інформатика і Левін Леонід Анатолійович · Побачити більше »
0 (число)
0 (нуль від nullus — ніякий) — цифра й одночасно число, нейтральний елемент для операції додавання.
Новинка!!: Теоретична інформатика і 0 (число) · Побачити більше »
