Search Results: Boolean

Przekierowanie do:


Logiczny typ danych
Jumat, 2022-11-18 14:31:12

szablon {{Dopracować}} z tego artykułu. Typ logiczny, typ boolowski (ang. boolean) – uporządkowany zbiór wartości logicznych, składający się z dokładnie...

Click to read more »
Algebra Boole’a
Selasa, 2025-12-02 00:56:08

został też wybrany za wiodący przez redaktorów monografii Handbook of Boolean Algebras. Z kolei symbole ∧ , ∨ {\displaystyle \wedge ,\vee } zgodne z...

Click to read more »
Notacja węgierska
Jumat, 2024-06-14 04:30:46

(przy zmiennych określających rozmiar, długość) l long w word dw dword b boolean (wartość logiczna: prawda lub fałsz) f flaga fn funkcja h handle (uchwyt)...

Click to read more »
Rozróżnianie wielkości liter
Sabtu, 2026-05-09 05:04:51

typu boolean, a wartość przybierze wartość domyślną, czyli false. W rezultacie $zmienna ma ustawioną wartość true, $Zmienna ma w typie boolean domyślną...

Click to read more »
Dysjunkcja (Sheffera)
Minggu, 2026-07-19 14:56:26

opublikował je w 1913 w artykule A Set of Five Independent Postulates for Boolean Algebras, with Application to Logical Constants. Wcześniej na ten pomysł...

Click to read more »
PL/SQL
Jumat, 2024-03-08 18:03:30

long, raw, long raw, nchar, nchar2, clob, blob, bfile nazwa_zmiennej boolean := true; Zmienne logiczne przechowują wartości: TRUE (prawda), FALSE (fałsz)...

Click to read more »
Abstrakcja (programowanie)
Jumat, 2024-06-14 04:18:05

interface IterListy { void pierwszy(); void ostatni(); void następny(); boolean czy_ostatni(); } // ... public void przetwarzaj_listę(IterListy iter_listy)...

Click to read more »
PHP
Rabu, 2026-07-15 23:22:53

argumentów funkcji pozwala na użycie typów skalarnych (string, integer, float, boolean). Wprowadzono również możliwość określenia typu zwracanego przez funkcję...

Click to read more »
Funkcja boolowska
Kamis, 2026-04-02 20:46:24

W.E.W. Weisstein Eric W.E.W., Boolean Function, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2023-08-29]. Boolean function (ang.), Encyclopedia of...

Click to read more »
Dychotomia
Senin, 2026-07-27 02:45:27

1996.  Saharon Szelach. How special are Cohen and random forcings i.e. Boolean algebras of the family of subsets of reals modulo meagre or null. „Israel...

Click to read more »
Vehicle Identification Number
Kamis, 2026-05-07 12:55:08

number.trim().toUpperCase(); this.checksum = this.calcChecksum(); } public boolean isChecksumValid() { return this.number.charAt(8) == this.checksum; } private...

Click to read more »
Desktop (rozszerzenie pliku)
Kamis, 2022-04-07 15:05:36

prezentowane użytkownikowi i zapisane w kodowaniu UTF-8, wartości logiczne boolean reprezentowane słowami true (prawda) i false (fałsz) oraz zmiennoprzecinkowe...

Click to read more »
Twierdzenie o ideale pierwszym
Jumat, 2025-12-12 04:50:19

Bardziej rozpowszechnioną wersją tego twierdzenia jest tzw. BPI (od ang. Boolean prime ideal theorem), które brzmi następująco: W każdej algebrze Boole’a...

Click to read more »
Aksjomat wyboru
Jumat, 2025-12-12 02:36:54

{\displaystyle i\in \mathbb {N} .} Twierdzenie o ideale pierwszym (BPI, od ang. Boolean prime ideal theorem) Na każdej algebrze Boole’a istnieje ultrafiltr. Prawdziwe...

Click to read more »
Term frequency
Kamis, 2026-05-07 12:01:45

t , d ) = f t , d {\displaystyle \mathrm {tf} (t,d)=f_{t,d}} binarna (Boolean) t f ( t , d ) = 1 {\displaystyle \mathrm {tf} (t,d)=1} , gdy f t , d >...

Click to read more »
Algorytm Luhna
Minggu, 2025-12-21 08:58:15

n-1))=CInt(Right(FullBarcode,1)) ' Dim i As Integer Dim temp As Integer Dim alt As Boolean Dim suma As Integer Dim wynik As Integer Barcode = Trim(Barcode) suma =...

Click to read more »
ECMAScript
Kamis, 2026-08-06 02:46:39

definiuje samą semantykę języka oraz niektóre podstawowe typy danych (String, Boolean, Number, Object itp.) i obiekty (np. Math, Array). Elementy, takie jak...

Click to read more »
Hermetyzacja (informatyka)
Senin, 2026-03-02 04:18:05

KontoBankowe(0); }; public boolean wplac( TypPieniedzy kwota ) { if ( kwota > 0 ) { saldo += kwota; return true; } return false; } public boolean wyplac( TypPieniedzy...

Click to read more »
Sztuka programowania
Sabtu, 2023-08-26 18:50:38

ISBN 0-201-89685-0. Volume 4, Fascicle 0: Introduction to Combinatorial Algorithms and Boolean Functions (Addison-Wesley Professional, 28 kwietnia 2008) vi+240 s. ISBN 0-321-53496-4...

Click to read more »
PostgreSQL
Selasa, 2025-11-04 04:57:53

Rozszerzona jest definicja typów danych o nowe typy m.in.: typ logiczny (boolean) typy liczbowe liczby całkowitych (smallint, integer, bigint) liczby zmiennoprzecinkowych...

Click to read more »
FAROO
Rabu, 2023-12-13 01:30:11

mieszającej. Decentralne wyszukiwanie wspiera frazy i operatory logiczne (Boolean Search). Demokratyczny ranking tworzony przez wszystkich użytkowników....

Click to read more »
Selasa, 2026-04-21 12:30:48

2023-03-11]  (ang.). Janet HeineJ.H. Barnett Janet HeineJ.H., Origins of Boolean Algebra in the Logic of Classes: George Boole, John Venn and C. S. Peirce...

Click to read more »
Przestrzeń Focka
Jumat, 2026-05-01 19:08:31

222–245, 1953. DOI: 10.1073/pnas.37.7.417.  H. Araki, J.E. Woods. Complete Boolean algebras of type I factors. „Publications of the Research Institute for...

Click to read more »
Twierdzenie Čecha-Pospíšila
Selasa, 2020-06-16 02:23:19

Bedřicha Pospíšila. Sabine Koppelberg, General Theory of Boolean Algebras, Handbook of Boolean Algebras, Vol. 3 (ed. J. Donald Monk with Robert Bonnet)...

Click to read more »
Metryka oprogramowania
Senin, 2026-03-09 16:04:30

danej klasy. Nie zalicza się tutaj odwołań do typów prymitywnych (int czy boolean) oraz podstawowych typów systemowych (w Javie: java.lang.*). Wysoka wartość...

Click to read more »
Visual Basic .NET
Jumat, 2026-01-09 06:37:51

przypadkach "=" porównuje wyrażenia zwracając wartość boolowską. np. Dim A As Boolean, B, C As Integer A = B = C oznacza, że wartości liczb B i C zostaną porównane...

Click to read more »
Firebird
Selasa, 2023-11-21 15:00:39

zapytania do 10 MB wyrażenia regularne w funkcji systemowej SUBSTRING typ BOOLEAN pełne wsparcie dla składni MERGE według specyfikacji SQL2008 możliwość...

Click to read more »
Marshall Stone
Jumat, 2026-08-07 12:33:57

[dostęp 2025-05-10] Stone, Marshall H., Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society...

Click to read more »
Visual Basic
Sabtu, 2026-02-28 19:33:48

ma wartość numeryczną równą −1. Dzieje się tak dlatego, gdyż typ danych Boolean jest przechowywany jako 16-bitowy integer ze znakiem (signed integer)....

Click to read more »
Pole znacznikowe
Jumat, 2023-10-27 14:48:56

Pascal - pole jawne wies typu Boolean: type adres=record kod : string[6]; poczta : ''string''[30]; case wies : Boolean of True : (nazwa : string[25];...

Click to read more »
Simula
Sabtu, 2026-06-20 20:21:44

ten sposób: Simulation Begin Class FittingRoom; Begin Ref (Head) door; Boolean inUse; Procedure request; Begin If inUse Then Begin Wait (door); door.First...

Click to read more »
Funktor zdaniotwórczy
Rabu, 2025-09-24 05:00:50

ISBN 83-01-12129-7. p d e Klasyczny rachunek zdań Kontrola autorytatywna (Boolean-valued function): GND: 4168049-2 Encyklopedie internetowe: SEP: connectives-logic...

Click to read more »
George Boole
Rabu, 2026-01-28 04:17:00

2015 [dostęp 2019-07-03]  (ang.). Dylan Tweney: Nov. 2, 1815: Boole Born, Boolean Logic Logically Follows. [w:] this Day In Tech [on-line]. Wired, 2010-11-02...

Click to read more »
Sortowanie przez kopcowanie
Senin, 2026-02-02 14:22:43

sprawdzająca czy dane mają postać kopca function check_heap(n: integer): boolean; var i: integer; begin result:=false; for i:=2 to n do if T[i]>T[i div...

Click to read more »
Ada (język programowania)
Jumat, 2026-06-05 22:00:40

Integer_Text_IO; procedure Short_Circuit is function Is_Odd (i : Integer) return Boolean is begin Put ("Testing"); Put (i); New_Line; return ((i / 2) * 2) /= i;...

Click to read more »
Automatyczne dowodzenie twierdzeń
Senin, 2025-05-05 03:01:07

twierdzeń system Mizar Bernd IB.I. Dahn Bernd IB.I., Robbins Algebras Are Boolean: A Revision of McCune's Computer-Generated Solution of Robbins Problem...

Click to read more »
Javadoc
Rabu, 2025-08-06 18:51:57

being moved * @return true if the chess move is valid, otherwise false */ boolean isValidMove(int theFromFile, int theFromRank, int theToFile, int theToRank)...

Click to read more »
Pierścień Boole’a
Minggu, 2025-08-24 14:01:19

Eric W.E.W. Weisstein Eric W.E.W., Boolean Ring, [w:] MathWorld, Wolfram Research  (ang.). [dostęp 2025-08-08]. Boolean ring (ang.), nLab, ncatlab.org, 14...

Click to read more »
TOML
Kamis, 2024-07-25 21:25:20

specyfikacja zawiera listę obsługiwanych typów danych: String, Integer, Float, Boolean, Datetime, Array i Table. # To jest przykładowy dokument TOML title = "TOML...

Click to read more »
Operator logiczny
Jumat, 2026-05-29 00:18:05

instrukcje */ } do /* instrukcje */ while(!(v || c<b)); Pascal var b : boolean; … begin … b:=(a<c) and (c>d); … end; if (a<c) and (c>d) then begin { instrukcje...

Click to read more »
Macierz logiczna
Rabu, 2026-04-08 11:39:39

Patrick E. O’Neil, Elizabeth J. O’Neil. A Fast Expected Time Algorithm for Boolean Matrix Multiplication and Transitive Closure. „Information and Control”...

Click to read more »
MIDletPascal
Selasa, 2026-06-02 02:41:10

Java Platform, Micro Edition Исходники MP получены! - www.boolean.name [online], forum.boolean.name [dostęp 2017-11-25]  (ros.). Oficjalna strona projektu...

Click to read more »
Literał logiczny
Sabtu, 2024-12-14 06:19:51

programowania: Przykład w Pascalu: var znak : boolean; Y : integr; function ujemna(x:integer):boolean; begin if x<0 then ujemna:=true else ujemna:=false...

Click to read more »
Robert Trypuz
Jumat, 2026-01-30 21:01:01

Leśniewskiego, Roczniki Filozoficzne (2014) On deontic action logics based on Boolean algebra, Journal of Logic and Computation (2013) Evaluation of beef production...

Click to read more »
Janusz Rajski
Jumat, 2025-11-28 05:31:56

The testability preserving concurrent decomposition and factorization of Boolean expressions, IEEE Trans. Computer-Aided Design of Circuits and Systems...

Click to read more »
Xlet
Selasa, 2025-10-14 07:11:00

Xlet: initXlet (XletContext context) startXlet pauseXlet destroyXlet (boolean arg0) Są jednak ważne różnice, między Xlet-ami i apletami. Największa z...

Click to read more »
Abel
Selasa, 2025-10-07 14:03:05

Urzędu Publikacji Oficjalnych Wspólnoty Europejskiej ABEL (ang. Advanced Boolean Expression Language) – język programowania do programowania PLD Artykuły...

Click to read more »
Ansys
Selasa, 2026-07-14 12:56:17

wieloobiektowe algorytmy gradientowe, sieci neuronowe, optymalizacja logiczna Boolean) Analizy niezawodności (metoda Monte Carlo six sigma) Analizy pól sprzężonych...

Click to read more »
Hung Son Nguyen
Minggu, 2026-02-22 09:05:25

w 1997 na podstawie pracy pt. Discretization of Real Value Attributes: Boolean Reasoning Approach, przygotowanej pod kierunkiem prof. Andrzeja Skowrona...

Click to read more »
Typ porządkowy
Selasa, 2018-02-20 05:29:38

(integer, word, longint, shortint, byte) typ wyliczeniowy typ logiczny (boolean) typ znakowy (char) typ okrojony (w1..w2) Typ porządkowy posiada taki zbiór...

Click to read more »
Twierdzenie Balcara-Franka
Rabu, 2026-01-21 18:32:41

}} ultrafiltrów. B. Balcar, F. Franěk: Independent families in complete Boolean algebras, „Transactions of the American Mathematical Society” 274 (1982)...

Click to read more »
Urząd znakujący czasem
Rabu, 2017-03-22 03:09:51

time-stamped reqPolicy TSAPolicyId OPTIONAL, nonce INTEGER OPTIONAL, certReq BOOLEAN DEFAULT FALSE, extensions [0] IMPLICIT Extensions OPTIONAL } MessageImprint ::=...

Click to read more »
Algebra Heytinga
Selasa, 2025-01-21 07:08:35

Rasiowej i Sikorskiego rozważane są pojęcia pseudocomplement oraz Pseudo-Boolean algebra; to ostatnie jest równoważne algebrze Heytinga, w szczególności...

Click to read more »
Funkcja kardynalna
Rabu, 2024-05-08 03:50:14

Amsterdam, 1980. ISBN 90-6196-196-3. Monk, J. Donald: Cardinal functions on Boolean algebras. „Lectures in Mathematics ETH Zürich”. Birkhäuser Verlag, Basel...

Click to read more »
Fork zasobu
Sabtu, 2024-12-28 19:03:47

Reprezentuje pojedynczy bit boolean (prawda lub fałsz). Zwykle liczba BBIT musi być wielokrotnością 8. BOOL boolean Reprezentuje wartość boolean. Składa się z 2 bajtów;...

Click to read more »
Branża gier komputerowych w Wielkiej Brytanii
Selasa, 2026-06-02 17:52:04

ISBN 978-0-262-54470-2 . J. DonaldJ.D. Monk J. DonaldJ.D., The Mathematics of Boolean Algebra, [w:] Edward N.E.N. Zalta, UriU. Nodelman (red.), The Stanford...

Click to read more »
Basic Encoding Rules
Kamis, 2025-12-04 08:17:43

Numer Typ prosty Użycie 0 zarezerwowane (dla mechanizmów BER) 1 BOOLEAN 2 INTEGER 3 BIT STRING 4 OCTET STRING 5 NULL 6 OBJECT IDENTIFIER 7 ObjectDescriptor...

Click to read more »
Expr (Unix)
Minggu, 2025-08-17 23:26:10

wyrażeń. Obsługuje ono wyrażenia: liczbowe tekstowe, w tym regularne typu boolean Wynik działania polecenia expr, wskazujący, czy obliczane wyrażenie jest...

Click to read more »
JavaBeans
Selasa, 2025-04-01 20:18:51

private boolean joe; public Foo() { } public int getBar() { return this.bar; } public void setBar(int value) { this.bar = value; } public boolean isJoe()...

Click to read more »
Sortowanie grzebieniowe
Rabu, 2025-09-17 18:54:16

:= 1; newGap:=gap; end; var gap, i, j : Integer; x : Integer; swapped : Boolean; begin gap := n; repeat gap := newGap(gap); swapped := false; for i :=...

Click to read more »
Monitor (programowanie współbieżne)
Selasa, 2025-07-22 12:09:49

Account { private int balance := 0; invariant balance >= 0; public method boolean withdraw(int amount) { if amount < 0 then error "Amount cannot be negative";...

Click to read more »
Atak korelacyjny
Rabu, 2025-12-17 13:21:54

kilku liniowych przesunięć rejestrów (LFSR). Wykorzystują funkcję logiczną Boolean. Współczesne szyfry korzystają z funkcji, które pozwalają uniknąć tego...

Click to read more »
Instrukcja warunkowa
Selasa, 2026-03-03 21:54:43

są tam instrukcją języka, lecz metodą klasy Boolean przyjmującą dwa domknięcia jako argumenty. Klasa Boolean posiada dwie klasy podrzędne: True, która wykonuje...

Click to read more »
Test pokrycia warunków logicznych
Kamis, 2024-06-13 00:03:14

warunek w decyzji musi być testowany raz z true i raz z false. Przykład: boolean a,b; if(a || b) {...} przypadek testowy 1 : a=false i b=false. przypadek...

Click to read more »
Roman Sikorski
Rabu, 2026-07-29 19:52:06

metamathematics (Matematyka metamatematyki, 1963). Ponadto jest autorem monografii Boolean Algebras (Algebry Boole’a, 1960), napisał również podręczniki: Funkcje...

Click to read more »
Twierdzenie Stone’a o reprezentacji algebr Boole’a
Minggu, 2026-03-15 14:40:12

twierdzenie Sikorskiego Marshall Harvey Stone. The theory of representations for Boolean algebras. Transactions of the American Mathematical Society 40 (1936),...

Click to read more »
Twierdzenie Banacha-Stone’a
Minggu, 2021-04-25 17:14:06

opérations linéaires, Warszawa, 1932. M.H. Stone, Applications of the theory of Boolean rings to general topology, „Transactions of the American Mathematical Society”...

Click to read more »
Paul Halmos
Rabu, 2025-12-17 01:24:41

theory, Algebraic logic, A Hilbert space problem book oraz Lectures on Boolean algebras. W szeregu artykułów opublikowanych w roku 1962 w Algebraic Logic...

Click to read more »
Arkadź Zakreuski
Rabu, 2026-01-07 19:25:22

Press, 2008, 192 p. (with Yu. Pottosin, L. Cheremisinova); Optimization in Boolean space. Tallinn: TUT Press, 2009, 241 p. (with Yu. Pottosin, L. Cheremisinova);...

Click to read more »
Rekord z wariantami
Jumat, 2026-08-07 11:21:30

Pascal: type adres=record kod : string[6]; poczta : string[30]; case wies : Boolean of True : (nazwa : string[25]; numer : integer); False: (ulica : string[30];...

Click to read more »
Uzwarcenie Čecha-Stone’a
Jumat, 2026-05-08 03:21:11

(1937), no. 4, s. 823–844. Marshall H. Stone, Applications of the theory of Boolean rings to general topology, „Transactions of the American Mathematical Society”...

Click to read more »
Twierdzenie Banacha-Alaoglu
Sabtu, 2025-08-09 02:02:40

1984 ↓, s. 13–14. Wilansky 2013 ↓, s. 130. J.D. Halpern, A. Levy, The Boolean prime ideal theorem does not imply the axiom of choice, Axiomatic Set Theory...

Click to read more »
Język akcji
Selasa, 2016-02-09 18:36:46

odpowiedzieć na określone programy. Od nowoczesnych odpowiadaczy wykorzystuje się boolean SAT - algorytmy do bardzo szybkiego ustalenia spełnialności. Oznacza to...

Click to read more »
William Bade
Jumat, 2025-12-05 19:21:41

convolution algebras. Studia Math. 95 (1989) No.1, 59–91. W.G. Bade, On Boolean algebras of projections and algebras of operators, Trans. Amer. Math. Soc...

Click to read more »
Edward Hrynkiewicz
Minggu, 2026-02-22 22:45:44

 Hrynkiewicz EdwardE., DariuszD. Polok DariuszD., Seeking for decomposition of a Boolean function in the reed-müller spectral domain by Means of permutation between...

Click to read more »
AspectJ
Jumat, 2026-03-06 03:49:36

wykonywane zamiast punktu przeciecia void around(): zmianaGeometrii() { boolean geometryChangeAllowed = // ... if (geometryChangeAllowed) { proceed();...

Click to read more »
Piotr Kulicki
Jumat, 2026-01-30 21:00:35

 Kulicki PiotrP., Pablo FP.F. Castro Pablo FP.F., Deontic Logics Based on Boolean Algebra, 2014, OCLC 5661054346 [dostęp 2021-08-23]  (ang.). PiotrP. Kulicki PiotrP...

Click to read more »
Compare-and-swap
Minggu, 2022-06-26 21:48:23

pakiet java.util.concurrent.atomic, w którym znajdują się klasy AtomicBoolean, AtomicInteger, AtomicLong i AtomicReference zawierające metodę compareAndSet...

Click to read more »
Twierdzenie Stone’a-Weierstrassa
Sabtu, 2025-07-19 02:35:23

633–639, 789–805. Marshall Harvey Stone. Applications of the theory of Boolean rings to general topology. Transactions of the American Mathematical Society...

Click to read more »
Czesław Daniłowicz
Rabu, 2026-02-11 15:34:55

3, s. 269–274 (współautor) „Modelling of user preferences and needs in boolean retrieval systems”, Information Processing & Management, 1994, vol. 30...

Click to read more »
Półgrupa relacji binarnych
Rabu, 2024-01-24 22:28:57

gdy R {\displaystyle R} jest interpolatywna. Generalized Inverses of Boolean Relation Matrices, R. J. Plemmons, SIAM Journal on Applied Mathematics...

Click to read more »
Pavel Pták
Rabu, 2026-05-06 00:54:17

quantum logics (z Johnem D. Maitlandem Wrightem). Exotic logics. Some nearly Boolean orthomodular posets. Lattice properties of subspace families in an inner...

Click to read more »
Vue infinite
Selasa, 2024-02-27 05:22:58

funkcje ułatwiające modelowanie ze standardowych figur geometrycznych: Boolean (do „wycinania” w figurze innej figury) oraz Bloob (tzw. tworzenie „bąbelków”...

Click to read more »
ABEL (elektronika)
Senin, 2022-06-06 10:30:30

ABEL (ang. Advanced Boolean Expression Language) – język programowania opracowany przez firmę amerykańską Data I/O w 1. połowie lat 80. XX wieku do programowania...

Click to read more »
Kod bajtowy Javy
Minggu, 2026-02-08 19:27:34

zmiennoprzecinkowy N/A d double 64-bitowy typ zmiennoprzecinkowy N/A z boolean 1-bitowy typ Booleanowski 0 lub 1 a Object i pochodne Referencja do instancji...

Click to read more »
Pętla repetycyjna
Rabu, 2026-03-18 19:32:02

(a<b) and ((b>c) or (b>d)) do begin { instrukcje pętli } end; var logic : Boolean; begin repeat { instrukcje pętli 1 } logic:=(a<b) xor (b>c); { instrukcje...

Click to read more »