programowania – zbiór zasad określających, kiedy ciąg symboli tworzy program komputerowy oraz jakie obliczenia opisuje. Teorią języków programowania w...
14 KB (1,364 words) - 08:30, 27 May 2024
Teoria języków programowania (ang. programming language theory, PLT) – dziedzina informatyki teoretycznej zajmująca się analizą, charakteryzacją, klasyfikacją...
9 KB (911 words) - 09:35, 22 May 2024
50-kubitowy komputer kwantowy. Osobny artykuł: Teoria języków programowania. Teoria języków programowania (ang. Programming language theory, PLT) to dziedzina...
71 KB (5,813 words) - 12:45, 29 May 2024
funkcją języków programowania zmniejszającą liczby błędów. Dwie najbardziej znane teorie typów to typ rachunku λ Alonzo Churcha i intuicyjna teoria typów...
1 KB (154 words) - 22:57, 20 January 2024
Teoria obliczeń – dział informatyki i matematyki, który dzieli się na: teorię automatów i języków formalnych, teorię obliczalności oraz teorię złożoności...
3 KB (293 words) - 21:56, 31 July 2023
Paradygmat programowania (ang. programming paradigm) — wzorzec programowania komputerów przedkładany w danym okresie rozwoju informatyki ponad inne lub...
3 KB (288 words) - 15:34, 20 January 2024
Oprogramowanie (section Narzędzia do programowania)
licencji. Oprogramowanie pisane jest zazwyczaj przy użyciu różnych języków programowania z wykorzystaniem algorytmów. Programy przekształcające oprogramowanie...
10 KB (955 words) - 20:53, 27 May 2024
struktury danych są w programie rzeczą szczególnie istotną, wiele języków programowania wspiera programistę, dostarczając bibliotekę standardową z zaimplementowanymi...
2 KB (180 words) - 05:42, 19 September 2023
smashed [online], phys.org [dostęp 2017-11-24] (ang.). QCL – język programowania maszyn kwantowych Moduły do Perla związane z obliczeniami kwantowymi...
18 KB (1,718 words) - 16:35, 7 May 2024
Algorytmika (redirect from Teoria algorytmów)
heurystyka teoria obliczalności teoria automatów język formalny system formalny teoria typów teoria języków programowania paradygmat programowania geometria...
2 KB (143 words) - 13:34, 23 January 2024
Informatyka kwantowa (redirect from Teoria informacji kwantowej)
kierunkiem badań są prace dotyczące idei kwantowego komputera. Stworzono teorię i pewne realizacje bramek kwantowych, a na targach CES w 2018 roku firma...
3 KB (283 words) - 20:58, 30 March 2023
Bjarne Stroustrup (category Twórcy języków programowania)
„AT&T Fellow”: „za fundamentalne działania na rzecz rozwoju języków programowania i programowania zorientowanego obiektowo, skumulowane w języku C++” 1998...
5 KB (423 words) - 10:09, 10 November 2023
Problem optymalizacyjny (redirect from Problem optymalizacyjny (teoria obliczeń))
heurystyka teoria obliczalności teoria automatów język formalny system formalny teoria typów teoria języków programowania paradygmat programowania geometria...
1 KB (110 words) - 07:07, 3 June 2022
Wyrażenie regularne (category Teoria automatów)
regexp) – wzorzec opisujący łańcuch symboli. Teoria wyrażeń regularnych jest związana z teorią języków regularnych. Wyrażenia regularne mogą określać...
19 KB (1,954 words) - 14:40, 12 September 2022
gałąź zarówno matematyki, jak i informatyki; ponadto jest blisko związana z teorią informacji, inżynierią oraz bezpieczeństwem komputerowym. Kryptologię dzieli...
62 KB (6,440 words) - 21:32, 27 April 2024
Filtr Kalmana (category Teoria sterowania)
niestacjonarnymi i nie można było tego w żaden sposób ignorować. Teoria ta wkrótce przybrała nazwę teorii filtru Kalmana. W 1960 Rudolf Kalman i jego współpracownicy...
16 KB (2,044 words) - 14:17, 14 March 2024
Obliczenia równoległe (redirect from Programowanie równoległe)
AltiVec, SSE i 3DNow!. W celu ułatwienia programowania komputerów równoległych stworzono specjalne: języki programowania, interfejsy i biblioteki. Można je...
65 KB (6,262 words) - 15:48, 24 March 2024
Obliczenia rozproszone (redirect from Programowanie rozproszone)
heurystyka teoria obliczalności teoria automatów język formalny system formalny teoria typów teoria języków programowania paradygmat programowania geometria...
2 KB (159 words) - 11:44, 18 April 2023
Językoznawstwo (section Zróżnicowanie języków)
stosowanego zalicza się również fonetykę eksperymentalną, teorię przekładu, teorię nauczania języków obcych, leksykografię, lingwistykę kliniczną, niekiedy...
37 KB (4,007 words) - 06:17, 3 May 2024
stopnia) Metody realizacji języków programowania (materiały dydaktyczne MIMUW na studia informatyczne II stopnia) Teoria Kompilacji (materiały dydaktyczne...
12 KB (1,107 words) - 11:32, 19 January 2024
heurystyka teoria obliczalności teoria automatów język formalny system formalny teoria typów teoria języków programowania paradygmat programowania geometria...
2 KB (252 words) - 13:48, 27 September 2023
sieci przełączające (funkcje boolowskie), formalna semantyka języków programowania, programowanie logiczne. Szczególny charakter ma próba zastosowania osiągnięć...
9 KB (877 words) - 10:29, 5 May 2024
Kompletność Turinga (category Teoria obliczeń)
to: maszyna Turinga rachunek lambda system półthueowski Większość języków programowania jest zupełna w sensie Turinga. Włączone są w to: wszystkie języki...
8 KB (830 words) - 21:24, 17 February 2024
wniósł wkład w rozwój psycholingwistyki, informatyki (w zakresie teorii języków programowania, lingwistyki komputerowej). Laureat Nagrody Kioto w dziedzinie...
26 KB (2,634 words) - 08:25, 8 May 2024
Odlesianie (informatyka) (category Teoria języków programowania)
Odlesianie (również: fuzja) – pojęcie informatyczne z teorii języków programowania, przekształcenie programu mające na celu wyeliminowanie pośrednich struktur...
2 KB (186 words) - 09:30, 22 May 2024
Twierdzenie Böhma-Jacopiniego (category Teoria języków programowania)
Böhma-Jacopiniego (ang. Böhm–Jacopini theorem) – twierdzenie w teorii języków programowania mówiące o tym że grafy przepływu sterowania mogą obliczyć dowolną...
2 KB (214 words) - 21:20, 11 April 2022
of programming languages with delimited continuations (Teoria i praktyka języków programowania z kontynuacjami organiczonymi), a w następnym rozpoczął...
4 KB (274 words) - 14:37, 12 December 2023
wykorzystanie APL i w teorię i praktykę języków programowania. 1980 C. Antony R. Hoare Za istotny wkład w określenie i projekt języków programowania. 1981 Edgar...
37 KB (1,151 words) - 22:51, 4 June 2024
problemy optymalizacyjne – polegające na znalezieniu najlepszej odpowiedzi. Teoria złożoności obliczeniowej kategoryzuje problemy decyzyjne w zależności od...
4 KB (416 words) - 20:35, 7 May 2024
Symulacja komputerowa (category Programowanie komputerów)
stosowane są np.: język programowania GPSS Crystal Ball @Risk Arena SciLab FlexSim Jednym z nietypowych dostępnych języków programowania jest ModSim oparty...
7 KB (738 words) - 07:25, 3 May 2024
algebraicznej, a także w teorii języków programowania. Można też podejść do teorii kategorii inaczej: jako do pewnej ogólnej metody ujmowania teorii matematycznych...
60 KB (8,652 words) - 12:36, 23 February 2024