Цялостност по Тюринг

В изчислителната теория система от правила за манипулация на данни (като набор от инструкции на компютъра, програмен език, или клетъчен автомат) се смята за цялостна по Тюринг или изчислително универсална, ако може да се използва за симулиране на която и да било еднолентова машина на Тюринг.

Съдържание

Ada

Ада (Ada) е структуриран, компилиращ се език за програмиране със статично определяне на типа, подобен на езика Pascal.

Виж Цялостност по Тюринг и Ada

C (език за програмиране)

С програмен език (произнася се „си“ в оригинал на английски, защото е на латиница) е разработен за програмиране на софтуер и операционни системи език.

Виж Цялостност по Тюринг и C (език за програмиране)

C++

С++ е език за програмиране от високо ниво.

Виж Цялостност по Тюринг и C++

FORTRAN

FORTRAN е сред първите езици за програмиране от високо ниво.

Виж Цялостност по Тюринг и FORTRAN

Haskell

Haskell (Ха̀скъл) е функционален език за програмиране.

Виж Цялостност по Тюринг и Haskell

HTML

HTML (съкращение от термина HyperText Markup Language, произнасяно най-често като „ейч-ти-ем-ел“, в превод „език за маркиране на хипертекст“) е основният маркиращ език за описание и дизайн на уеб страници.

Виж Цялостност по Тюринг и HTML

Java

Java, или джава, е обектно ориентиран език за програмиране, разработен от Sun Microsystems и пуснат в употреба през 1995 година, като част от Java платформата.

Виж Цялостност по Тюринг и Java

JSON

JSON, или JavaScript Object Notation, е текстово базиран отворен стандарт, създаден за човешки четим обмен на данни.

Виж Цялостност по Тюринг и JSON

Lisp (език за програмиране)

Лисп (LISP, LISt Processing language – „език за обработка на списъци“; в съвременен запис: Lisp) е съвкупност от програмни езици и данни, създадена през 1958 г.

Виж Цялостност по Тюринг и Lisp (език за програмиране)

Magic: The Gathering

Magic: The Gathering (позната още като MTG и Magic) е първата събирателна игра на карти.

Виж Цялостност по Тюринг и Magic: The Gathering

Minecraft

Майнкрафт (Minecraft, mine – копаене, craft – изработване) е видеоигра, първоначално създадена от Notch и по-късно развита от неговата компания Mojang Studios.

Виж Цялостност по Тюринг и Minecraft

Minesweeper (Windows)

Windows Minesweeper е компютърна игра, създадена от Робърт Донър и Кърт Джонсън от Microsoft.

Виж Цялостност по Тюринг и Minesweeper (Windows)

Smalltalk

Smalltalk (чете се Смолток, означава „общи/празни приказки“, „разговор без особен смисъл“) е обектно ориентиран език за програмиране.

Виж Цялостност по Тюринг и Smalltalk

SQL

SQL, или Език за структурирани запитвания, (Structured Query Language, SQL) е популярен език за програмиране, предназначен за създаване, видоизменяне, извличане и обработване на данни от релационни системи за управление на бази данни.

Виж Цялостност по Тюринг и SQL

XML

Лого XML (на български се произнася екс-ем-ел, Extensible Markup Language – екстензивен, широкообхватен маркиращ език) е стандарт (метаезик), дефиниращ правила за създаване на специализирани маркиращи езици, както и синтаксисът, на който тези езици трябва да се подчиняват.

Виж Цялостност по Тюринг и XML

XSLT

XSLT (Extensible Stylesheet Language Transformations) е декларативен, XML-базиран език използван за преобразуване на XML документи.

Виж Цялостност по Тюринг и XSLT

Курт Гьодел

Курт Гьодел (IPA:, Kurt Gödel) е австрийски и американски логик, математик и философ.

Виж Цялостност по Тюринг и Курт Гьодел

Краен автомат

Крайните автомати са математически модели на много прости сметачни машини, които намират приложение най-вече в теоретичната информатика и по-специално в изучаването на формалните езици и изкуствения интелект.

Виж Цялостност по Тюринг и Краен автомат

Компютърна памет

80-те години на XX в., сравнен с CompactFlash с обем от 2 GB от 2000 г. Съветски модули К565РУ3 за оперативна памет с капацитет 16384 бита Устройство за съхранение на информация на флаш-памет Компютърната памет в компютрите е вътрешната памет в компютрите; средата за съхранение на обработваните данни в течение на определено време.

Виж Цялостност по Тюринг и Компютърна памет

Компилатор

Компилаторът (англ. compiler, от compile – съчетавам, съставям) е компютърна програма, която превежда (компилира) даден компютърен изходен код в семантично отговарящ код на език от (обикновено) по-ниско ниво.

Виж Цялостност по Тюринг и Компилатор

Пролог (език за програмиране)

Пролог (Prolog) е компютърен език за логическо програмиране.

Виж Цялостност по Тюринг и Пролог (език за програмиране)

Паскал (език за програмиране)

Паскал (Pascal) е структурен език за програмиране, създаден през 1970 г.

Виж Цялостност по Тюринг и Паскал (език за програмиране)

Парадигма на програмиране

Парадигмата на програмиране, парадигма за програмиране или програмна парадигма представлява фундаменталния стил на програмиране.

Виж Цялостност по Тюринг и Парадигма на програмиране

Обектно-ориентирано програмиране

#пренасочване Обектно ориентирано програмиране.

Виж Цялостност по Тюринг и Обектно-ориентирано програмиране

Алън Тюринг

Алън Матисън Тюринг (Alan Mathison Turing) е британски математик, логик, криптоаналитик, информатик и философ.

Виж Цялостност по Тюринг и Алън Тюринг

Анонимна функция

Анонимна функция (или т.нар. функционален литерал или ламбда функция) в програмирането е дефинирана функция, която не е обвързана с идентификатор, тоест не е именувана.

Виж Цялостност по Тюринг и Анонимна функция

Регулярен израз

Резултат от търсене с шаблона (?: търсят се поне два поредни интервала, разположени между точка (.) и главна буква. Стивън Коул Клийни, спомогнал за разработването на техниката В информатиката регулярен израз (regular expression, съкращавано понякога като regex или regexp) е последователност от знаци, която дефинира шаблон за търсене.

Виж Цялостност по Тюринг и Регулярен израз

Стивън Волфрам

Стивън Волфрам (Stephen Wolfram), роден на 29 август 1959 г.

Виж Цялостност по Тюринг и Стивън Волфрам

Тезис на Чърч

Тезисът на Чърч (също като Тезис на Чърч-Тюринг или Теза на Чърч-Тюринг), по името на американския логик Алонсо Чърч и Тюринг, в теория на изчислимостта е комбинирана хипотеза („тезис“) за природата на ефективно изчислимите функции чрез рекурсия (тезис на Чърч), чрез механичен способ, еквивалентен на машина на Тюринг (тезис на Тюринг) или чрез употреба на ламбда-изчисление на Чърч.

Виж Цялостност по Тюринг и Тезис на Чърч

Теория на категориите

Категория с обекти ''X'', ''Y'', ''Z'' и морфизми ''f'', ''g'', ''g'' ∘ ''f'', и три морфизма на идентичността (които не са показани) 1''X'', 1''Y'' и 1''Z''.

Виж Цялостност по Тюринг и Теория на категориите

Функционално програмиране

В компютърните науки функционално програмиране е парадигма за програмиране – стил за изграждането на структурата и елементите на компютърни програми, който третира като изчислява оценката на математически функции и избягва променящите състоянието непостоянни данни.

Виж Цялостност по Тюринг и Функционално програмиране

Формален език

Синтактично подразделение в рамките на формална система Формален език в математиката, логиката и компютърните науки е множество от думи и изрази с определена крайна дължина, извлечено от дадена крайна азбука.

Виж Цялостност по Тюринг и Формален език

Чарлз Бабидж

Чарлз Бабидж (1791–1871), британски математик, енциклопедист, философ и изобретател.

Виж Цялостност по Тюринг и Чарлз Бабидж

Машина на Тюринг

Художествено представяне на машината на Тюринг Машина на Тюринг е абстрактно изчислително устройство, описано от английския математик Алън Тюринг през 1936 г.

Виж Цялостност по Тюринг и Машина на Тюринг

Маркиращ език

Маркиращият език (езици за маркиране, Markup languages) е система от анотации на документ, която е синтактично различна от текста и указва какво да бъде оформлението на страницата, най-вече при електронно предаване на данни или изобразяване.

Виж Цялостност по Тюринг и Маркиращ език

Изчислителна теория

Изчислителна теория, наричана още рекурсивна теория, е клон на математическата логика, който произхожда от 30-те на 20 век с изследването на изчислимите функции и степени на Тюринг.

Виж Цялостност по Тюринг и Изчислителна теория

Императивно програмиране

Императивното програмиране (imperare.

Виж Цялостност по Тюринг и Императивно програмиране

Живот (игра)

Играта „Живот“ (Game of Life, Conway's Game of Life) е популярна игра с нула на брой играчи, измислена през 1970 година от Джон Хортън Конуей (John Horton Conway), която е най-известният пример за клетъчен автомат.

Виж Цялостност по Тюринг и Живот (игра)

Давид Хилберт

Давѝд Хѝлберт (David Hilbert) е германски математик, нареждан сред най-влиятелните на 19 и 20 век.

Виж Цялостност по Тюринг и Давид Хилберт

Език за програмиране

Виртуалната Java машина. Език за програмиране е изкуствен език, предназначен за изразяване на изчисления, които могат да се извършат от машина, по-специално от компютър.

Виж Цялостност по Тюринг и Език за програмиране

Леополд Кронекер

Леополд Кронекер (Leopold Kronecker) е един от най-значимите германски математици и логици.

Виж Цялостност по Тюринг и Леополд Кронекер

Йерархия на Чомски

Йерархията на Чомски е йерархия от класове формални граматики, образуващи формални езици.

Виж Цялостност по Тюринг и Йерархия на Чомски

Вижте също

Теория на алгоритмите

Юнионпедия е понятие карта или семантична мрежа организирана като една енциклопедия - речника. Тя дава кратко определение на всяка концепция и неговите взаимоотношения.

Това е гигантска онлайн умствена карта, която служи като основа за концептуални схеми. Той е свободен да използва и всяка статия или документ може да бъде изтеглена. Това е инструмент, ресурс или справка за проучване, изследвания, образование, обучение или преподаване, която може да се използва от учители, възпитатели, ученици или студенти; за академичния свят: за училище, основно, средно, средно училище, средно, техническо степен, колеж, университет, студент, магистърска или докторска степен; за документи, доклади, проекти, идеи, документация, изследвания, резюмета, или дисертация. Тук е определение, обяснението, описанието, или значението на всяка значителна, на която имате нужда от информация, както и списък на свързаните с тях понятия като речник. Предлага се в Български, Английски, Испански, Португалски, Японски, Китайски, Френски, Немски, Италиански, Полски, Холандски, Руски, Arabic, Хинди, Шведски, Украински, Унгарски, Каталонски, Чехия, Иврит, Датски, Фински, Индонезийски, Norwegian, Румънският, Турски, Виетнамски, Корейски, Thai, Гръцки, Хърватският, Словашки, Литовски, Филипински, Латвийски, Естонски и Словенски Още езици.

Информацията се основава на статии от Уикипедия и други проекти на Уикимедия и е достъпна съгласно лиценза Creative Commons Признание - Споделяне на споделеното.

Юнионпедия не е одобрена от или свързана с Фондация Wikimedia.

Google Play, Android и логото на Google Play са запазени марки на Google Inc.

Декларация за поверителност

Езици

Цялостност по Тюринг

Съдържание

Вижте също

Теория на алгоритмите