Більш швидкий доступ, ніж браузер!
65 відносини: Ada, ALGOL, BASIC, BCPL, C (мова програмування), C Sharp, C++, COBOL, Common Lisp, Dylan (мова програмування), Eiffel, Forth, Intel 8086, Java, JavaScript, Lua, MATLAB, Object Pascal, Objective Caml, Pascal, Perl, PHP, PostScript, Python, RDF, Ruby, Simula, Smalltalk, Standard ML, VHDL, Web Ontology Language, Коваль Алла Петрівна, Професійна лексика, Пакетний файл, Орієнтований граф, Оберон (мова програмування), Онтологічна інженерія, Описова логіка, Операційна семантика, Аксіоматична семантика, Русанівський Віталій Макарович, Рідна Мова (журнал), Сулима Микола Федорович, Сімович Василь Іванович, Слово, Семантична павутина, Семантика логіки, Троян Іван, Фортран, Чередниченко Іван Григорович, ..., Шило (інструмент), Математична логіка, Мова асемблера, Метадані, Жовтобрюх Михайло Андрійович, Білодід Іван Костянтинович, Багмут Йосип Адріанович, Всесвітнє павутиння, Ващенко Василь Семенович, Графова база даних, Гладкий Микола Дмитрович, Денотаційна семантика, Іларіон (Огієнко), 1967, 1971. Розгорнути індекс (15 більше) »
Ada
Ада — структурована наказова мова програмування зі статичним зв'язуванням типу змінних, розроблена Жаном Ішбіа (Jean David Ichbiah) на фірмі Cii Honeywell Bull у 1977–1983 роках.
Новинка!!: Семантика і Ada · Побачити більше »
ALGOL
АЛГОЛ або ALGOL (скорочення від ALGOrithmic Language — алгоритмічна мова) — сімейство імперативних мов програмування, першу версію розроблено в середині 1950-х, і стала де факто стандартною мовою публікації алгоритмів на наступні 30 років.
Новинка!!: Семантика і ALGOL · Побачити більше »
BASIC
BASIC (Бейсик) — (від анг. basic - початковий, елементарний) мова програмування високого рівня, метою створення якої було отримати просту в користуванні мову для початківців.
Новинка!!: Семантика і BASIC · Побачити більше »
BCPL
BCPL (Basic Combined Programming Language) це процедурна, імперативна і структурна комп'ютерна мова програмування розроблена, вченим з Кембриджського університету в 1966.
Новинка!!: Семантика і BCPL · Побачити більше »
C (мова програмування)
C (Сі) — універсальна, процедурна, імперативна мова програмування загального призначення, розроблена у 1972 році Денісом Рітчі у Bell Telephone Laboratories з метою написання нею операційної системи UNIX.
Новинка!!: Семантика і C (мова програмування) · Побачити більше »
C Sharp
C# (вимовляється Сі-шарп) — об'єктно-орієнтована мова програмування з безпечною системою типізації для платформи.NET.
Новинка!!: Семантика і C Sharp · Побачити більше »
C++
C++ (Сі-плюс-плюс) — мова програмування високого рівня з підтримкою кількох парадигм програмування: об'єктно-орієнтованої, узагальненої та процедурної.
Новинка!!: Семантика і C++ · Побачити більше »
COBOL
Кобол (COBOL, COmmon Business Oriented Language) — компільована мова програмування високого рівня, використовується в економічній галузі і для розв'язання бізнес-задач, створена на початку 1960-х років.
Новинка!!: Семантика і COBOL · Побачити більше »
Common Lisp
Common Lisp (Коммон Лісп) — діалект мови програмування Лісп, визначений стандартом ANSI X3.226-1994.
Новинка!!: Семантика і Common Lisp · Побачити більше »
Dylan (мова програмування)
Dylan — динамічна об'єктно-орієнтована мова програмування, націлена на швидку розробку програм; розроблений насамперед зусиллями Apple.
Новинка!!: Семантика і Dylan (мова програмування) · Побачити більше »
Eiffel
Eiffel — об'єктно-орієнтована мова програмування.
Новинка!!: Семантика і Eiffel · Побачити більше »
Forth
Forth (Форт) — мова програмування та середовище для програмування, розроблена Чарльзом Муром (також відомим як Чак Мур) на початку 1970-х у Національній радіообсерваторії США.
Новинка!!: Семантика і Forth · Побачити більше »
Intel 8086
Intel 8086 (також відомий як iAPX86) — перший 16-бітний мікропроцесор компанії Intel, що розроблявся з весни 1976 року і був випущений 8 червня 1978.
Новинка!!: Семантика і Intel 8086 · Побачити більше »
Java
Java (вимовляється Джава) — об'єктно-орієнтована мова програмування, випущена 1995 року компанією «Sun Microsystems» як основний компонент платформи Java.
Новинка!!: Семантика і Java · Побачити більше »
JavaScript
JavaScript (JS) — динамічна, об'єктно-орієнтована прототипна мова програмування.
Новинка!!: Семантика і JavaScript · Побачити більше »
Lua
Lua (місяць) — швидка і компактна скриптова мова програмування, розроблена підрозділом Tecgraf Католицького університету Ріо-де-Жанейро (Computer Graphics Technology Group of Pontifical Catholic University of Rio de Janeiro in Brazil).
Новинка!!: Семантика і Lua · Побачити більше »
MATLAB
MATLAB — пакет прикладних програм для числового аналізу, а також мова програмування, що використовується в даному пакеті.
Новинка!!: Семантика і MATLAB · Побачити більше »
Object Pascal
Object Pascal — об'єктно-орієнтована мова програмування, нащадок Pascal, більш відома як основна мова програмування середовища Delphi.
Новинка!!: Семантика і Object Pascal · Побачити більше »
Objective Caml
OCaml (о-ка-ем-ель, Objective Caml) — одна із реалізацій мови програмування Caml.
Новинка!!: Семантика і Objective Caml · Побачити більше »
Pascal
Pascal — алгоритмічна мова програмування універсального призначення.
Новинка!!: Семантика і Pascal · Побачити більше »
Perl
Perl (неофіційна розшифровка Practical Extraction and Reporting Language — практична мова витягів та звітів) — високорівнева, інтерпретована, динамічна мова програмування загального призначення.
Новинка!!: Семантика і Perl · Побачити більше »
PHP
PHP (PHP: Hypertext Preprocessor — PHP: гіпертекстовий препроцесор), попередня назва: Personal Home Page Tools — скриптова мова програмування, була створена для генерації HTML-сторінок на стороні веб-сервера.
Новинка!!: Семантика і PHP · Побачити більше »
PostScript
PostScript — мова програмування та мова розмітки сторінок, в основному використовується у видавничих системах.
Новинка!!: Семантика і PostScript · Побачити більше »
Python
Python (найчастіше вживане прочитання — «Па́йтон», запозичено назву з британського шоу Монті Пайтон) — інтерпретована об'єктно-орієнтована мова програмування високого рівня з строгою динамічною типізацією.
Новинка!!: Семантика і Python · Побачити більше »
RDF
RDF — Розроблена консорціумом W3C технологія семантичної павутини, яка включає в себе середовище опису ресурсів (Resource Description Framework, RDF), визначає загальну архітектуру метаданих і призначена для забезпечення сумісності метаданих за допомогою спільної семантики, структури та синтаксису.
Новинка!!: Семантика і RDF · Побачити більше »
Ruby
Ruby («Рубін», читається «Ру́бі») — це інтерпретована, повністю об'єктно-орієнтована мова програмування з чіткою динамічною типізацією.
Новинка!!: Семантика і Ruby · Побачити більше »
Simula
Симула (Simula) — спільна назва двох мов програмування, Симула, та Симула 67, розроблених в 1960-ті роки в Норвезькому центрі комп'ютерних досліджень в Осло, Олє-Йоханом Далєм та Крістеном Нуґардом.
Новинка!!: Семантика і Simula · Побачити більше »
Smalltalk
Smalltalk (вимовляється) — об'єктно-орієнтована мова програмування з динамічною типізацією, розроблена в Xerox PARC Аланом Кейем, Деном Інгаллсом, Тедом Кеглером, Адель Голдберг в 1970-х роках.
Новинка!!: Семантика і Smalltalk · Побачити більше »
Standard ML
Standard ML (SML) — функціональна мова програмування загального призначення зі статичною типизацією та автоматичним виведенням типів.
Новинка!!: Семантика і Standard ML · Побачити більше »
VHDL
VHDL (англ. VHSIC (Very high speed integrated circuits) Hardware Description Language) — мова опису апаратури інтегральних схем.
Новинка!!: Семантика і VHDL · Побачити більше »
Web Ontology Language
Формат заголовка SSTP OWL (Web Ontology Language) — мова опису онтологій для семантичної павутини.
Новинка!!: Семантика і Web Ontology Language · Побачити більше »
Коваль Алла Петрівна
А́лла Петрі́вна Кова́ль (9 березня 1923, с. Білозір'я, тепер Черкаський район, Черкаська область — 2009, Київ) — український мовознавець.
Новинка!!: Семантика і Коваль Алла Петрівна · Побачити більше »
Професійна лексика
Професіоналізми характерні для мови людей певних професій.
Новинка!!: Семантика і Професійна лексика · Побачити більше »
Пакетний файл
Пакетний файл є свого роду файлом сценарію(скриптом) в DOS, OS/2 і Windows.
Новинка!!: Семантика і Пакетний файл · Побачити більше »
Орієнтований граф
Орієнтований граф з трьома дугами і трьома вершинами. Орієнтований граф (коротко орграф) — (мульти) граф, ребрам якого присвоєно напрямок.
Новинка!!: Семантика і Орієнтований граф · Побачити більше »
Оберон (мова програмування)
Оберон — мова програмування високого рівня, розроблена Ніклаусом Віртом.
Новинка!!: Семантика і Оберон (мова програмування) · Побачити більше »
Онтологічна інженерія
View model#Nominal set of views.Peter Shames, Joseph Skipper. http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/39851/1/06-0876.pdf «Toward a Framework for Modeling Space Systems Architectures». NASA, JPL. Онтологі́чна інженерія в комп'ютерних науках та інформатиці це нова галузь, яка вивчає методи і методики для будівництва онтологій: формального подання безлічі понять і відносини між цими поняттями.
Новинка!!: Семантика і Онтологічна інженерія · Побачити більше »
Описова логіка
Описо́ві ло́гіки (Description logics, іноді ще їх називають дескрипційними логіками) - сімейство мов представлення знань, що дозволяють описувати поняття предметної області в недвозначному, формалізованому вигляді.
Новинка!!: Семантика і Описова логіка · Побачити більше »
Операційна семантика
Конотати́вна (операці́йна) сема́нтика – це спосіб опису комп’ютерної системи за допомогою послідовностей кроків обчислення.
Новинка!!: Семантика і Операційна семантика · Побачити більше »
Аксіоматична семантика
Аксіоматична семантика — підхід до опису семантики системи за допомогою аксіоматичних теорій: теорії множин, натуральних чисел, математичної логіки.
Новинка!!: Семантика і Аксіоматична семантика · Побачити більше »
Русанівський Віталій Макарович
Віта́лій Мака́рович Русані́вський (25 червня 1931, Харків — 29 січня 2007, Київ) — український науковець, філолог, мовознавець-україніст, викладач і славіст.
Новинка!!: Семантика і Русанівський Віталій Макарович · Побачити більше »
Рідна Мова (журнал)
«Рі́дна Мо́ва» — популярний місячник, редагований Іваном Огієнком, що виходив у Варшаві 1933-1939 pp.
Новинка!!: Семантика і Рідна Мова (журнал) · Побачити більше »
Сулима Микола Федорович
Мико́ла Фе́дорович Сули́ма (*15 серпня 1892—1955, Ухта) — мовознавець-україніст.
Новинка!!: Семантика і Сулима Микола Федорович · Побачити більше »
Сімович Василь Іванович
Васи́ль Іва́нович Сімо́вич (9 березня 1880, Гадинківці, Гусятинський район Тернопільська область — 13 березня 1944, Львів) — український мовознавець, філолог і культурний діяч, дійсний член НТШ (з 1923).
Новинка!!: Семантика і Сімович Василь Іванович · Побачити більше »
Слово
Сло́во — найменша самостійна і вільно відтворювана в мовленні відокремлено оформлена значима одиниця мови, яка співвідноситься з пізнаним і вичленуваним окремим елементом дійсності (предметом, явищем, ознакою, процесом, відношенням та ін.) і основною функцією якого є позначення, знакова репрезентація цього елемента — його називання, вказування на нього або його вираження.
Новинка!!: Семантика і Слово · Побачити більше »
Семантична павутина
Логотип W3C Семантичної павутини Семантична павутина (Semantic web) — нова концепція розвитку Всесвітньої павутини і мережі Інтернет, яка створена і впроваджується Консорціумом Всесвітньої павутини (World Wide Web Consortium). Інші назви — семантичний веб, семантична мережа.
Новинка!!: Семантика і Семантична павутина · Побачити більше »
Семантика логіки
В логіці семантика логіки є дисципліна, що вивчає семантику (інтерпретації) формальних та природних мов шляхом їх формального опису в математичних термінах.
Новинка!!: Семантика і Семантика логіки · Побачити більше »
Троян Іван
Іва́н Троя́н — мовознавець-україніст у 1920-их роках, співробітник науково-дослідної кафедри мовознавства імені О. Потебні при Харківському інституті народної освіти.
Новинка!!: Семантика і Троян Іван · Побачити більше »
Фортран
Фортран (Fortran) (раніше FORTRAN — скорочення від «The IBM Mathematical Formula Translating System», тобто «Система трансляції математичних формул від IBM») — це імперативна мова програмування загального призначення, яка особливо підходить для інтенсивних чисельних та наукових обчислень.
Новинка!!: Семантика і Фортран · Побачити більше »
Чередниченко Іван Григорович
Іва́н Чередниче́нко (*, станиця Калузька, тепер Сєверського району Краснодарського краю —, Краснодар), мовознавець родом з Кубані.
Новинка!!: Семантика і Чередниченко Іван Григорович · Побачити більше »
Шило (інструмент)
Шило с дерев'яним руків'ям Ши́ло — інструмент у вигляді загостреного стрижня з руків'ям.
Новинка!!: Семантика і Шило (інструмент) · Побачити більше »
Математична логіка
Математи́чна ло́гіка — розділ математики, що вивчає мислення за допомогою числень, застосовуючи математичні методи та спеціальний апарат символів.
Новинка!!: Семантика і Математична логіка · Побачити більше »
Мова асемблера
Лістинг Motorola MC6800 Assembly, який показує оригінальний текст програми та згенеровані машинні коди Асе́мблер, Мова асемблера (assembler; assembly language) — мова програмування низького рівня для програмованої обчислювальної системи (мікропроцесора, мікроконтролера, комп'ютера або іншого програмованого пристрою), в якій існує строга відповідність між операторами мови та машинними командами.
Новинка!!: Семантика і Мова асемблера · Побачити більше »
Метадані
Метада́ні, у загальному випадку, — це дані, що характеризують або пояснюють інші дані.
Новинка!!: Семантика і Метадані · Побачити більше »
Жовтобрюх Михайло Андрійович
Миха́йло Андрі́йович Жовтобрюх (* року, село Ручки Гадяцького району, Полтавська область — † 16 грудня 1995, м. Київ) — український мовознавець, доктор філологічних наук з 1964, професор з 1965.
Новинка!!: Семантика і Жовтобрюх Михайло Андрійович · Побачити більше »
Білодід Іван Костянтинович
Могила Івана Білодіда Меморіальна дошка Білоді́д Іва́н Костьович (Белодед Иван Константинович,, Успенка —, Київ) — український мовознавець, педагог, академік АН УРСР (з 1957 року), академік АН СРСР (з 1972 року), заслужений діяч науки УРСР (з 1966 року).
Новинка!!: Семантика і Білодід Іван Костянтинович · Побачити більше »
Багмут Йосип Адріанович
Ба́гмут Йо́сип Адріа́нович (с. Бабайківка Новомосковського повіту Катеринославської губернії, нині Царичанського району Дніпропетровської облласті — 26 серпня 1968, м. Боржомі, Грузія, похований у Києві) — український мовознавець, перекладач.
Новинка!!: Семантика і Багмут Йосип Адріанович · Побачити більше »
Всесвітнє павутиння
Робертом Кайо Всесві́тня мережа (World Wide Web, скорочено: WWW; також: всемережжя, веб або тене́та) — найбільше всесвітнє багатомовне сховище інформації в електронному вигляді: десятки мільйонів пов'язаних між собою документів, що розташовані на комп'ютерах, розміщених на всій земній кулі.
Новинка!!: Семантика і Всесвітнє павутиння · Побачити більше »
Ващенко Василь Семенович
Ва́щенко Васи́ль Семе́нович (*11 березня 1905, Ніжин — †12 листопада 1993, Дніпропетровськ) — український мовознавець.
Новинка!!: Семантика і Ващенко Василь Семенович · Побачити більше »
Графова база даних
Графова база даних — це база даних, яка використовує структури графів для семантичних запитів з вершинами, ребрами та властивостями для представлення та зберігання даних.
Новинка!!: Семантика і Графова база даних · Побачити більше »
Гладкий Микола Дмитрович
Гладки́й Микола Дмитрович (*1885, Борзна — †1942?, Красноярськ) — український мовознавець, поет.
Новинка!!: Семантика і Гладкий Микола Дмитрович · Побачити більше »
Денотаційна семантика
Денотати́вна сема́нтика — це підхід до формалізації семантики програмних систем за допомогою математичних об'єктів, які описують зміст системи.
Новинка!!: Семантика і Денотаційна семантика · Побачити більше »
Іларіон (Огієнко)
Митрополит Іларіон (світське ім'я Іва́н Іва́нович Огіє́нко;, Брусилів —29 березня 1972, Вінніпег, Манітоба, Канада) — український вчений, єпископ (від 1940), митрополит УАПЦ (від 1944), предстоятель УГПЦК (від 1951), політичний, громадський і церковний діяч, мовознавець, лексикограф, історик церкви, педагог.
Новинка!!: Семантика і Іларіон (Огієнко) · Побачити більше »
1967
Банкомат.
Новинка!!: Семантика і 1967 · Побачити більше »
1971
Без опису.
Новинка!!: Семантика і 1971 · Побачити більше »
