Search Results: Boolean
Przekierowanie do:
Logiczny typ danych
Jumat, 2022-11-18 14:31:12szablon {{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:08został 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:51typu 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:26opublikował 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:30long, 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:05interface 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:53argumentó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:24W.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:271996. 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:08number.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:36prezentowane 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:19Bardziej 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:45t , 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:15n-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:39definiuje 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:05KontoBankowe(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:38ISBN 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:53Rozszerzona 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:11mieszają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:482023-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:31222–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:19Bedř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:30danej 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:51przypadkach "=" 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:39zapytania 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:48ma 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:56Pascal - 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:44ten 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:50ISBN 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:002015 [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:43sprawdzają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:40Integer_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:07twierdzeń 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:57being 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:19Eric 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:20specyfikacja 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:05instrukcje */ } 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:39Patrick 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:10Java 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:51programowania: 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:01Leś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:56The 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:00Xlet: 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:05Urzę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:17wieloobiektowe 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:25w 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:51time-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:35Rasiowej 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:14Amsterdam, 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:47Reprezentuje 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:04ISBN 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:43Numer 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:10wyraż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:51private 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:49Account { 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:54kilku 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:43są 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:14warunek 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:06metamathematics (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:12twierdzenie 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:06opé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:41theory, 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:22Press, 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:30Pascal: 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:401984 ↓, 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:46odpowiedzieć 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:41convolution 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:44Hrynkiewicz 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:36wykonywane zamiast punktu przeciecia void around(): zmianaGeometrii() { boolean geometryChangeAllowed = // ... if (geometryChangeAllowed) { proceed();...
Click to read more »Piotr Kulicki
Jumat, 2026-01-30 21:00:35Kulicki 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:23pakiet 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:23633–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:553, 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:57gdy 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:17quantum 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:58funkcje 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:30ABEL (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:34zmiennoprzecinkowy 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 »