Съдържание
18 отношения: Halting проблем, Компютър, Оцеляване на най-приспособения, Асемблерен език, Аксиома, Алгоритъм на Евклид, Алонсо Чърч, Най-голям общ делител, Стек (структура от данни), Хилбертови проблеми, Цялостност по Тюринг, Мохамед ал-Хорезми, Генетичен алгоритъм, Давид Хилберт, Детерминиран алгоритъм, Естествено число, Език (езикознание), Емил Пост.
- Алгоритми
- Математическа логика
- Теоретична информатика
Halting проблем
В теорията на изчислимостта, стоп-проблемът (halting problem) се състои в това дали е възможно да бъде определено, ако е дадена произволна компютърна програма и дадени входни данни за нея, дали програмата някога ще завърши или ще работи безкрайно много време. През 1936 г., Алън Тюринг доказва, че алгоритъм, който да дава отговор на тази задача за всички двойки програма–входни данни, не може да съществува.
Виж Алгоритъм и Halting проблем
Компютър
Компютърът е изчислително устройство с общо предназначение, което може да бъде програмирано да извършва набор от аритметични и/или логически операции.
Оцеляване на най-приспособения
Хърбърт Спенсър, който съчинява израза „оцеляване на най-приспособения.“ Оцеляване на най-приспособения е фраза, с която се представя в съкратен вид идеята за конкуренцията за оцеляване или превъзходство.
Виж Алгоритъм и Оцеляване на най-приспособения
Асемблерен език
Асемблерен език е език за програмиране от ниско ниво, който е свързан с конкретен процесор и не може да бъде пренесен без значителни изменения към машина с различна компютърна архитектура и набор от инструкции.
Виж Алгоритъм и Асемблерен език
Аксиома
Папирус, съдържащ част от Втора книга от „Елементи“ на Евклид Еварист Галоа (1811 – 1832) Аксиома или постулат в класическата логика е твърдение, което не е доказано, а се разглежда като самоподразбиращо се или като неизбежно произволно приемане.
Алгоритъм на Евклид
Алгоритъмът на Евклид е алгоритъм за намиране на най-големия общ делител (НОД) на две естествени числа.
Виж Алгоритъм и Алгоритъм на Евклид
Алонсо Чърч
Алонсо Чърч (Alonzo Church) е американски математик и логик, който има съществен принос към математическата логика и основите на теоретичната информатика.
Най-голям общ делител
Най-голям общ делител (НОД) на две цели числа, поне едното от които е различно от нула, в математиката е най-голямото цяло число, което дели и двете числа без остатък.
Виж Алгоритъм и Най-голям общ делител
Стек (структура от данни)
Стек с функциите Push (добави) и Pop (извади) Стекът е линейна структура от данни в информатиката, в която обработката на информация става само от едната страна наречена връх.
Виж Алгоритъм и Стек (структура от данни)
Хилбертови проблеми
Хилбертовите проблеми ca 23 нерешени от математиците проблема, представeни от Давид Хилберт по време на втория математически конгрес, проведен в Париж през 1900 г.
Виж Алгоритъм и Хилбертови проблеми
Цялостност по Тюринг
В изчислителната теория система от правила за манипулация на данни (като набор от инструкции на компютъра, програмен език, или клетъчен автомат) се смята за цялостна по Тюринг или изчислително универсална, ако може да се използва за симулиране на която и да било еднолентова машина на Тюринг.
Виж Алгоритъм и Цялостност по Тюринг
Мохамед ал-Хорезми
Мохамед ибн Муса ал-Хорезми (محمد بن موسى الخوارزمي) е хорезмийски математик, астроном и географ, работил през по-голямата част от живота си в Багдад – столицата на Абасидския халифат.
Виж Алгоритъм и Мохамед ал-Хорезми
Генетичен алгоритъм
Генетичните алгоритми са клас адаптивни алгоритми за стохастична оптимизация, които включват търсене и итеративно оптимизиране на решението.
Виж Алгоритъм и Генетичен алгоритъм
Давид Хилберт
Давѝд Хѝлберт (David Hilbert) е германски математик, нареждан сред най-влиятелните на 19 и 20 век.
Детерминиран алгоритъм
Детерминиран алгоритъм в информатиката е алгоритъм, който винаги при един и същ подаден вход връща един и същ резултат, като преминава през една и съща поредица от състояния.
Виж Алгоритъм и Детерминиран алгоритъм
Естествено число
В математиката естествено число е цяло положително число (1, 2, 3, …).
Виж Алгоритъм и Естествено число
Език (езикознание)
#пренасочване Език (лингвистика).
Виж Алгоритъм и Език (езикознание)
Емил Пост
Емил Леон Пост (Emil Leon Post) е американски математик и логик.
Вижте също
Алгоритми
- Алгоритъм
- Итерация
- Медицински алгоритъм
- Решето на Ератостен
Математическа логика
- Аксиоми на Пеано
- Алгоритъм
- Изброен тип
- Изчислителна теория
- Индикаторна функция
- Истина
- Математическа логика
- Математическо доказателство
- Основи на математиката
- Променлива величина
- Релация
- Съждение
- Таблица на математически символи
- Тавтология (логика)
- Теорема на Гьодел за непълнота
- Теория на множествата
- Теория на моделите