Hae kuvattomia artikkeleita.
4
Luokasta 'Matemaattinen_logiikka' löytyi yhteensä 391 kuvatonta artikkelia.
- A+ (ohjelmointikieli)
- Ohjelmointikielet
- ABAP
- Ohjelmointikielet
- ALGOL
- Proseduraaliset ohjelmointikielet, Strukturoidut ohjelmointikielet, Tietotekniikan historia
- AMOS (ohjelmointikieli)
- Amiga, Ohjelmointikielet, Vuoden 1990 ohjelmistot, 1990-luvun ohjelmointikielet
- AMPLE
- Ohjelmointikielet
- ANSI C
- C
- AWK
- Bell Labs, Ohjelmointikielet
- A Sharp (Axiom)
- Funktionaaliset ohjelmointikielet
- Aakkosto (logiikka)
- Formaalit kielet, Logiikka
- Ackermannin funktio
- Aritmetiikka, Erikoisfunktiot
- ActionScript
- Oliopohjaiset ohjelmointikielet
- Additiivinen funktio
- Aritmeettiset funktiot
- Ajax (ohjelmointi)
- Ohjelmointikielet
- Aksiomaattinen joukko-oppi
- Joukko-oppi
- Aksiooma
- Matemaattiset aksioomat
- Alkeisfunktio
- Analyysi, Funktiot
- Alkeisvaraus
- Atomifysiikka, Luonnonvakiot, Sähkövarauksen yksiköt
- Alkio (joukko-oppi)
- Joukko-oppi
- AnyChart
- Android, Java, JavaScript, PHP, Python, Vapaat ohjelmistot
- Applesoft BASIC
- BASIC
- Aritmeettinen funktio
- Aritmeettiset funktiot
- AsciiDoc
- Merkintäkielet
- Assembler
- Ohjelmointi, Ohjelmointikielet
- Aste (polynomi)
- Polynomit
- Attribuuttikielioppi
- Formaalit kielet, Lauseoppi
- Automatically Programmed Tool
- CNC, Tietokoneavusteinen suunnittelu, Täsmäkielet
- Avaruus (matematiikka)
- Joukko-oppi
- Avoin ja suljettu kuvaus
- Funktiot, Topologia
- BBN LISP
- Lisp
- BCPL
- Proseduraaliset ohjelmointikielet
- BLISS (ohjelmointikieli)
- Ohjelmointikielet, OpenVMS-ohjelmat
- B (ohjelmointikieli)
- Bell Labs, Ohjelmointikielet
- Babylon.js
- JavaScript, Ohjelmointi
- Backus–Naur-muoto
- Formaalit kielet
- Bc (ohjelmointikieli)
- Bell Labs, Ohjelmointikielet, Unix, Vuoden 1975 ohjelmistot
- Befunge
- Ohjelmointikielet
- Benfordin laki
- Joukko-oppi
- Bigwig
- Ohjelmointikielet
- Binäärirelaatio
- Joukko-oppi
- Bittioperaatio
- Ohjelmointikielet, Digitaalitekniikka
- Blitz BASIC
- Amiga, Ohjelmointikielet
- Boltzmannin vakio
- Luonnonvakiot, Termodynamiikka
- Bomb Jack
- Amiga-pelit, Amstrad CPC -pelit, Atari ST -pelit, Commodore 16 -pelit, Commodore 64 -pelit, Game Boy -pelit, Java ME -pelit, Kolikkopelit, MSX-pelit, NEC PC-8801 -pelit, NEC PC-9801 -pelit, PlayStation 2 -pelit, Sega SG-1000 -pelit, Tasohyppelyt, Virtual Console -pelit, Vuoden 1984 videopelit, Xbox-pelit, ZX Spectrum -pelit
- Bookworm
- Vuoden 2003 videopelit, Windows-pelit, Xbox Live Arcade -pelit, Game Boy Advance -pelit, IOS-pelit, Java ME -pelit, Mac OS -pelit, Nintendo DS -pelit
- Boost
- C++, Ohjelmakirjastot, Vapaan ja avoimen lähdekoodin lisenssit
- C++03
- C++
- C++11
- C++
- C++14
- C++
- C++17
- C++
- C++20
- C++
- C++23
- C++
- C++98
- C++
- C++ ja olio-ohjelmointi
- C++, Suomalaiset tietotekniikkakirjat, Vuoden 1998 kirjat
- C--
- Ohjelmointikielet
- C-esikääntäjä
- C
- C11
- C
- C18 (C-standardi)
- C
- C23
- C
- C99
- C
- CLU
- Massachusetts Institute of Technology, Ohjelmointikielet
- CPAN
- Paketinhallintajärjestelmät, Perl
- CPL (ohjelmointikieli)
- Ohjelmointikielet
- Cahenin vakio
- Transkendenttiset luvut, Vakiot
- Cantorin diagonaaliargumentti
- Joukko-oppi, Matemaattiset todistukset
- Cantorin lause
- Joukko-oppi
- Cantorin–Schröderin–Bernsteinin lause
- Joukko-oppi
- Catalanin vakio
- Vakiot
- Champernownen vakio
- Lukuteoria, Vakiot
- Chart.js
- JavaScript
- Chomskyn hierarkia
- Formaalit kielet, Noam Chomsky
- Chomskyn normaalimuoto
- Formaalit kielet, Noam Chomsky
- Ck-funktio
- Differentiaalilaskenta, Funktiot
- Clarion (ohjelmointikieli)
- Ohjelmointikielet
- Classpath
- Java
- Close to Metal
- AMD, Ohjelmointikielet
- Coccinelle
- C, Linux-ohjelmat, Staattisen analyysin työkaluohjelmat
- CodeSandbox
- JavaScript, Ohjelmointi, Web-sovellukset
- Common Lisp
- Lisp
- D3.js
- JavaScript, Ohjelmakirjastot
- DS-XML
- XML
- D (ohjelmointikieli)
- Oliopohjaiset ohjelmointikielet, Vuoden 1999 ohjelmistot
- DarkBASIC
- BASIC-sukuiset ohjelmointikielet
- Darwin Information Typing Architecture
- XML
- Dedekindin leikkaus
- Joukko-oppi
- Dedekindin zeetafunktio
- Algebrallinen lukuteoria, Erikoisfunktiot
- Digital Command Language
- Digital Equipment Corporation, Komentotulkit, Ohjelmointikielet, OpenVMS
- DocBook
- XML
- Dublin Core
- Metadata, XML
- EbXML
- XML
- Eilenbergin–Steenrodin aksioomat
- Matemaattiset aksioomat, Homologiateoria
- Eksponenttifunktion sarjakehitelmä
- Funktiot
- Ekvivalenssirelaatio
- Joukko-oppi
- Elliptinen funktio
- Elliptiset funktiot
- Elliptinen gammafunktio
- Erikoisfunktiot
- Embedded SQL
- SQL
- Epätäydellinen polylogaritmi
- Erikoisfunktiot
- Erikoisfunktio
- Erikoisfunktiot
- Esoteerinen ohjelmointikieli
- Ohjelmointikielet
- Eulerin φ-funktio
- Multiplikatiiviset funktiot
- Eulerin–Mascheronin vakio
- Ratkaisemattomat matemaattiset ongelmat, Vakiot
- Extensible Stylesheet Language
- Tyylisivukielet, W3C-standardit, XML
- FAS (ohjelmointikieli)
- Ohjelmointikielet
- Fantom (ohjelmointikieli)
- Oliopohjaiset ohjelmointikielet
- Feynmanin piste
- Pii, Richard Feynman
- Fibonaccin kertoma
- Kertomat
- Formaali kieli
- Formaalit kielet
- Formaali kielioppi
- Formaalit kielet
- Forth (ohjelmointikieli)
- Ohjelmointikielet
- Frappe Charts
- Grafiikkakirjastot, JavaScript
- FreeBASIC
- BASIC, Ohjelmointikielen kääntäjät, Oliopohjaiset ohjelmointikielet
- Function block diagram
- Automaatio, Ohjelmointikielet
- Funktioavaruus
- Joukko-oppi
- GDL
- Ohjelmointikielet
- GNU Fortran
- Fortran, GNU-projektin ohjelmat
- GW-BASIC
- BASIC, Microsoftin ohjelmistot, Vuoden 1983 ohjelmistot
- Galilein paradoksi
- Joukko-oppi, Matemaattiset paradoksit
- Gangstar 2: Kings of L.A.
- Android-pelit, IOS-pelit, Java ME -pelit, Nintendo DS -pelit, Vuoden 2008 videopelit
- Gelfondin–Schneiderin vakio
- Transkendenttiset luvut, Vakiot
- Genera
- Käyttöjärjestelmät, Lisp, Ohjelmointiympäristöt
- GeoJSON
- JavaScript
- Gray-koodi
- Koodausmenetelmät, Matemaattinen logiikka
- Gödelin epätäydellisyyslause
- Matemaattinen logiikka
- HTML-elementti
- Merkintäkielet
- Hack (ohjelmointikieli)
- Ohjelmointikielet
- Henryn vakio
- Fysikaalinen kemia, Vakiot
- Hilbertin aksioomat
- Matemaattiset aksioomat, Geometria
- Homogeeninen polynomi
- Homogeeniset polynomit
- HyperTalk
- Ohjelmointikielet
- Hypergeometrinen sarja
- Erikoisfunktiot
- Hyvinjärjestys
- Joukko-oppi
- Hyvän järjestyksen periaate
- Joukko-oppi
- IDL (ohjelmointikieli)
- Ohjelmointikielet
- Ideaalikaasun moolitilavuus
- Luonnonvakiot
- Infimum
- Joukko-oppi
- Inform
- Oliopohjaiset ohjelmointikielet
- Interlisp
- Lisp, Ohjelmointiympäristöt
- International Press Telecommunications Council
- Digitaalinen valokuvaus, Metadata, XML
- JOVIAL
- Ohjelmointikielet
- JUnit
- Java
- J (ohjelmointikieli)
- Ohjelmointikielet
- J sharp
- .NET Framework, Microsoft, Ohjelmointikielet
- Jacobin elliptiset funktiot
- Elliptiset funktiot
- Jacobin polynomi
- Erikoisfunktiot
- Jaksollinen funktio
- Funktiot
- Java- ja C++-ohjelmointikielten vertailu
- C++, Java, Olio-ohjelmointi
- Java-alusta, Standard Edition
- Java
- Java-sovelma
- Java, Ohjelmointi, Selainlaajennukset, World Wide Web
- JavaBean
- Java
- JavaScript-moottori
- JavaScript -moottorit
- JavaServer Pages
- Java
- Java Database Connectivity
- Ohjelmointirajapinnat, Java
- Java Development Kit
- Java
- Java ME
- Java
- Java Platform, Enterprise Edition
- Java
- Java Web Start
- Java
- Javadoc
- Java
- Jini
- Java
- Järjestetty pari
- Joukko-oppi
- Järjestysrelaatio
- Joukko-oppi
- Kaasuvakio
- Luonnonvakiot
- Kertomafunktio
- Funktiot
- Keskinäinen rekursio
- Matemaattinen logiikka, Ohjelmointi, Tietojenkäsittelyteoria
- Kierto
- Graafiteoria
- Klassinen elektronin säde
- Atomifysiikka, Luonnonvakiot
- Kleenen tähti
- Formaalit kielet
- Kokonaisluvun radikaali
- Aritmeettiset funktiot
- Komentokieli
- Ohjelmointikielet
- Konsistenssi
- Matemaattinen logiikka
- Kontinuumihypoteesi
- Joukko-oppi
- Kontraktio
- Funktiot
- Korkean tason ohjelmointikieli
- Ohjelmointikielet
- Kosmologinen vakio
- Kosmologia, Luonnonvakiot, Yleinen suhteellisuusteoria
- Kroneckerin delta
- Funktiot
- Kyselykieli
- Kyselykielet
- Käänteisfunktio
- Joukko-oppi
- L-systeemi
- Biologia, Formaalit kielet, Sovellettu matematiikka
- LINPACK
- Suorituskykymittausohjelmat, Fortran
- LLVM
- C-kielen kääntäjät, Ohjelmointikielen kääntäjät, Staattisen analyysin työkaluohjelmat
- LPC (ohjelmointikieli)
- MUD-pelit, Ohjelmointikielet
- Laajennettu kompleksitaso
- Analyyttiset funktiot, Kompleksiluvut
- Laitteistokuvauskieli
- Laitteistokuvauskielet, Tietokonetekniikka
- Lambdakalkyyli
- Matemaattinen logiikka, Tietojenkäsittelyteoria
- Laurentin polynomi
- Polynomit
- Lause (matematiikka)
- Matemaattinen logiikka
- Legendren liittofunktio
- Erikoisfunktiot
- Lemma
- Logiikka, Matemaattinen logiikka
- Lerchin transsendentti
- Erikoisfunktiot
- Linda (ohjelmointikieli)
- Ohjelmointikielet
- Logisismi
- Logisismi
- Luettelo XML-kielistä
- XML
- Luettelo ohjelmointikielistä
- Luettelot tietotekniikasta, Ohjelmointikielet
- Luettelo piin laskukaavoista
- Luettelot matematiikasta, Pii
- Lukujoukko
- Joukko-oppi, Lukuavaruudet
- Luokka (matematiikka)
- Joukko-oppi
- Luonnollinen päättely
- Matemaattinen logiikka
- Luonnonvakio
- Luonnonvakiot
- M4 (makrokieli)
- Bell Labs, Ohjelmointikielet
- MBL
- Ohjelmointikielet
- ML/I
- Ohjelmointikielet
- ML (ohjelmointikieli)
- Funktionaaliset ohjelmointikielet
- MUMPS
- Ohjelmointikielet, Vuoden 1967 ohjelmistot
- MacLisp
- Lisp
- Macsyma
- Lisp, Massachusetts Institute of Technology, Matematiikkaohjelmistot
- Mahtavuus
- Joukko-oppi
- Maksimi
- Joukko-oppi
- Malbolge
- Ohjelmointikielet
- Malliteoria
- Malliteoria
- Matemaattinen logiikka
- Matemaattinen logiikka
- Matemaattinen merkintäkieli
- Matemaattiset merkintäkielet
- Matemaattinen todistus
- Matemaattinen logiikka, Matemaattiset todistukset
- Matemaattinen vakio
- Vakiot
- MathML
- Matemaattiset merkintäkielet, W3C-standardit, XML
- Mengerin lause
- Graafiteoria
- Mercury (ohjelmointikieli)
- Funktionaaliset ohjelmointikielet
- Merkintäkieli
- Merkintäkielet, World Wide Web
- Merkkijono
- Formaalit kielet, Ohjelmointi
- Meromorfinen funktio
- Funktiot, Kompleksianalyysi
- Microsoft Small Basic
- Microsoftin ohjelmistot, Ohjelmointiympäristöt, BASIC-sukuiset ohjelmointikielet
- Millsin vakio
- Lukuteoria, Vakiot
- Minimi
- Joukko-oppi
- Mod perl
- Perl
- Modula-2
- Ohjelmointikielet
- Mojo (ohjelmointikieli)
- Ohjelmointikielet
- Monomi
- Polynomit
- Multiplikatiivinen funktio
- Multiplikatiiviset funktiot
- Möbius-kuvaus
- Funktiot, Lien ryhmät, Projektiivinen geometria
- Neliömuoto
- Homogeeniset polynomit, Lineaarialgebra
- Neon (ohjelmointikieli)
- Oliopohjaiset ohjelmointikielet
- Nimiavaruus
- Formaalit kielet, Ohjelmointi
- Nollafunktio
- Funktiot
- Nollakohta
- Funktiot, Nolla
- Npm
- JavaScript, Paketinhallintajärjestelmät
- Numeroituva joukko
- Joukko-oppi
- O'Haskell
- Funktionaaliset ohjelmointikielet, Oliopohjaiset ohjelmointikielet
- OCaml
- 1990-luvun ohjelmointikielet, Oliopohjaiset ohjelmointikielet, Vapaat ohjelmistot, Vuoden 1996 ohjelmistot
- OPL (ohjelmointikieli)
- Ohjelmointikielet, Psion
- Object Pascal
- Pascal (ohjelmointikieli)
- Objective-C
- 1980-luvun ohjelmointikielet, C-sukuiset ohjelmointikielet, Vuoden 1986 ohjelmistot
- Occam (ohjelmointikieli)
- Ohjelmointikielet
- Open Shading Language
- 3D-grafiikkaohjelmistot, Ohjelmointikielet
- Osittaisfunktio
- Funktiot
- Ositus
- Joukko-oppi
- Otsikkotiedosto
- Ohjelmointikielet
- PBASIC
- BASIC
- PDO
- PHP
- PEAR
- PHP
- PECL
- PHP
- PHP:n luokkakirjastot
- PHP
- PL/I
- IBM, Ohjelmointikielet
- POSXML
- Ohjelmointikielet
- Painlevén yhtälöt
- Erikoisfunktiot, Tavalliset differentiaaliyhtälöt
- Peanon aksioomat
- Aritmetiikka, Matemaattiset aksioomat
- Perl
- Perl
- Perl 6
- Perl
- Perusjoukko
- Joukko-oppi
- Perussuunnikas
- Elliptiset funktiot
- PhpDocumentor
- PHP
- Plain Old Documentation
- Merkintäkielet, Perl
- Planckin vakio
- Kvanttimekaniikka, Luonnonvakiot, Max Planck
- Polunetsintä
- Graafiteoria, Tekoäly
- Poncelet’n lause
- Elliptiset käyrät, Kartioleikkaukset
- Portable C Compiler
- C-kielen kääntäjät
- PostScript
- Adobe Systems, Tiedostomuodot, Tietokonetulostaminen, Täsmäkielet
- Postulaatti
- Matemaattinen logiikka, Tietoteoria
- PowerBASIC
- BASIC
- Principia Mathematica
- Kirjat filosofiasta, Kirjat matematiikasta, Logisismi
- Principles of Mathematics
- Kirjat logiikasta, Kirjat matematiikasta, Logisismi
- Prolog
- Ohjelmointikielet
- Propel
- PHP
- Psyco
- Python
- Pumppauslemma
- Formaalit kielet
- PyPy
- Python
- Q-gammafunktio
- Erikoisfunktiot
- Q-polygammafunktio
- Erikoisfunktiot
- QB64
- BASIC, Ohjelmointiympäristöt
- RDF
- Metadata, XML
- REALbasic
- 1990-luvun ohjelmointikielet, BASIC-sukuiset ohjelmointikielet, Oliopohjaiset ohjelmointikielet
- REXX
- IBM:n ohjelmistot, Ohjelmointikielet
- RPG (ohjelmointikieli)
- IBM, Ohjelmointikielet, Tietotekniikan historia
- RPL (ohjelmointikieli)
- Hewlett-Packard, Ohjelmointikielet
- Rajapintojen kuvauskieli
- Formaalit kielet, Ohjelmointi
- Rajoittuma
- Funktiot
- Rationaalifunktio
- Funktiot
- Rationaalijuurilause
- Polynomit
- Rekursio
- Matemaattinen logiikka, Ohjelmointi, Tietojenkäsittelyteoria
- Relax NG
- XML
- Resultantti (matematiikka)
- Determinantit, Polynomit
- Riemannin zeeta-funktio
- Analyyttinen lukuteoria, Erikoisfunktiot, Kompleksianalyysi
- Russellin paradoksi
- Joukko-oppi, Matemaattiset paradoksit
- Rydbergin vakio
- Luonnonvakiot
- S-lauseke
- Funktionaaliset ohjelmointikielet
- SAML
- Tietotekniikka, Tietoturva, XML
- SAS (ohjelmisto)
- Ohjelmointikielet, Tilasto-ohjelmistot, Tilastotiede
- SAX
- XML
- SGML
- Merkintäkielet, World Wide Web
- SMIL
- XML
- SNOBOL
- Ohjelmointikielet
- SPARK (ohjelmointikieli)
- Ohjelmointikielet
- SQL
- IBM, SQL
- SQL-injektio
- SQL, Turvallisuushaavoittuvuudet
- Samuus
- Joukko-oppi
- Scheme
- 1970-luvun ohjelmointikielet, Lisp, Vuoden 1970 ohjelmistot
- Scratch
- Ohjelmointikielet
- Sed
- Bell Labs, Ohjelmointikielet, Unix-ohjelmat
- Server Side Includes
- Ohjelmointikielet, World Wide Web
- SiMPLE
- Ohjelmointikielet
- Sierpińskin joukko
- Joukko-oppi, Mittateoria
- Sigmafunktio
- Multiplikatiiviset funktiot
- Simula
- Oliopohjaiset ohjelmointikielet, Tietotekniikan historia
- Skaalautumaton verkko
- Graafiteoria
- Smalltalk
- Oliopohjaiset ohjelmointikielet
- Smarty
- Ohjelmointikielet
- Solidity
- Oliopohjaiset ohjelmointikielet
- Solmu (verkko)
- Graafiteoria, Tietojenkäsittelytiede, Tietoliikenne
- Sparse
- C, Linux-ohjelmat, Staattisen analyysin työkaluohjelmat
- Standard Template Library
- C++
- Stefanin–Boltzmannin vakio
- Luonnonvakiot
- Subharmoninen funktio
- Funktiot, Kompleksianalyysi, Potentiaaliteoria
- Suljettu joukko
- Joukko-oppi
- Sumea joukko
- Joukko-oppi
- Suodatin (joukko-oppi)
- Joukko-oppi
- Svelte
- Ohjelmointikielet
- Swift (ohjelmointikieli)
- Apple, Ohjelmointikielet
- Symmetrinen funktio
- Diskreetti matematiikka, Funktiot
- Syntaksiohjattu kääntäminen
- Formaalit kielet, Lauseoppi
- SystemC
- C++, Laitteistokuvauskielet
- Säännöllinen kieli
- Formaalit kielet
- Säännöllinen lauseke
- Formaalit kielet
- TECO
- Massachusetts Institute of Technology, Ohjelmointikielet, Tekstieditorit
- TM-XML
- XML
- Tcl (ohjelmointikieli)
- Ohjelmointikielet
- Technical Report 1
- C++
- Tihonovin lause
- Joukko-oppi, Matemaattiset teoreemat, Topologia
- Tikapuulogiikka
- Automaatio, Ohjelmointikielet
- Timber
- Funktionaaliset ohjelmointikielet
- Todennäköisyyden aksioomat
- Matemaattiset aksioomat, Todennäköisyyslaskenta
- Toteutuvuus
- Malliteoria
- Totuusfunktio
- Matemaattinen logiikka
- Totuustaulu
- Matemaattinen logiikka
- Transfiniittinen induktio
- Matemaattinen logiikka
- Transitiivisuus (matematiikka)
- Joukko-oppi
- Transkendenttifunktio
- Analyyttiset funktiot
- Trinomi
- Polynomit
- Troff
- Julkaisuohjelmat, Matemaattiset merkintäkielet, Unix-ohjelmat
- Tulkinta (logiikka)
- Malliteoria
- Turbo Basic
- BASIC, Ohjelmointikielen kääntäjät
- Turbo Pascal
- Borland, Ohjelmointikielen kääntäjät, Ohjelmointiympäristöt, Pascal (ohjelmointikieli)
- Täsmäkieli
- Täsmäkielet
- Täydellisyysaksiooma
- Matemaattiset aksioomat, Reaaliluvut
- UBASIC
- BASIC
- V8 (JavaScript-moottori)
- JavaScript -moottorit, Vapaat ohjelmistot
- VBScript
- Ohjelmointikielet
- VHDL
- IEEE-standardit, Laitteistokuvauskielet, Tietokonetekniikka
- Vakio
- Vakiot
- Validointi
- XML
- Valinta-aksiooma
- Joukko-oppi, Matemaattiset aksioomat
- Verkko
- Graafiteoria
- Vietan kaavat
- Polynomit
- Visual Basic
- 1990-luvun ohjelmointikielet, BASIC-sukuiset ohjelmointikielet, Microsoftin ohjelmistot, Vuoden 1991 ohjelmistot
- Visual Prolog
- Ohjelmointikielet
- Von Mangoldtin funktio
- Analyyttinen lukuteoria, Aritmeettiset funktiot
- Vue.js
- JavaScript
- WML
- Matkapuhelimet, XML
- Wallisin kaavat
- Pii
- Web Audio API
- JavaScript, Ohjelmointirajapinnat
- Web Ontology Language
- Metadata, XML
- Weierstrassin elliptinen funktio
- Algebralliset käyrät, Elliptiset funktiot
- XC
- Ohjelmointikielet
- XHTML
- W3C-standardit, XML
- XL (XML-pohjainen ohjelmointikieli)
- Ohjelmointikielet, XML
- XL (ohjelmointikieli)
- Ohjelmointikielet
- XLink
- XML
- XML
- XML
- XML-tiedonhaku
- Tiedonhaku, XML
- XML Schema
- W3C-standardit, XML
- XProc
- W3C-standardit, XML
- XQuery
- Kyselykielet, XML
- XSL-FO
- W3C-standardit, XML
- XSLT
- Ohjelmointikielet, XML
- XSQL
- Perl, SQL, XML
- Ydinfunktio
- Funktiot
- Yhteydetön kieli
- Formaalit kielet
- Yhteydetön kielioppi
- Formaalit kielet
- Yleiskäyttöinen ohjelmointikieli
- Ohjelmointikielet
- Ylinumeroituva joukko
- Joukko-oppi
- Yläraja
- Joukko-oppi
- Yorick
- Ohjelmointikielet
- Zeeta-funktio
- Erikoisfunktiot
- Zend Engine
- PHP, Vapaat ohjelmistot
- Zornin lemma
- Joukko-oppi
- Äärellinen joukko
- Joukko-oppi