Логикалық домен - Boolean domain - Wikipedia

Жылы математика және абстрактілі алгебра, а Логикалық домен Бұл орнатылды интерпретациялары кіретін екі элементтен тұрады жалған және шын. Жылы логика, математика және теориялық информатика, логикалық домен әдетте {0, 1} түрінде жазылады,[1][2][3][4][5] немесе [6][7]

The алгебралық құрылым бұльдік доменге табиғи түрде құрылған Екі элементтен тұратын буль алгебрасы. The бастапқы объект ішінде санат туралы шектелген торлар логикалық домен.

Жылы Информатика, логикалық айнымалы а айнымалы логикалық доменде мән қабылдайтын. Кейбіреулер бағдарламалау тілдері ерекшелігі сақталған сөздер немесе логикалық домен элементтеріне арналған белгілер, мысалы жалған және шын. Алайда көптеген бағдарламалау тілдерінде а Логикалық деректер типі қатаң мағынада. Жылы C немесе НЕГІЗГІ мысалы, жалғандық 0 санымен, ал шындық 1 немесе −1 санымен ұсынылады, және осы мәндерді қабылдай алатын барлық айнымалылар кез келген басқа сандық мәндерді де қабылдай алады.

Жалпылау

Логикалық {0, 1} доменін келесіге ауыстыруға болады бірлік аралығы [0,1], бұл жағдайда 0 немесе 1 мәндерін ғана қабылдағаннан гөрі, 0 мен 1 арасындағы кез-келген мәнді қабылдауға болады. Алгебралық түрде терістеу (ЕМЕС) ауыстырылады конъюнкция көбейтуге ауыстырылады (және)), ал дизъюнкция (OR) арқылы анықталады Де Морган заңы болу .

Бұл мәндерді логикалық деп түсіндіру шындық құндылықтары өнімділік а көп мәнді логика үшін негіз болады түсініксіз логика және ықтималдық логикасы. Бұл интерпретацияларда мән шындықтың «дәрежесі» ретінде түсіндіріледі - болжам қаншалықты шындыққа сәйкес келеді немесе болжамның ақиқат болу ықтималдығы.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Дирк ван Дален, Логика және құрылым. Springer (2004), 15 бет.
  2. ^ Дэвид Макинсон, Компьютерлік жүйелер, логика және математика. Springer (2008), 13 бет.
  3. ^ Джордж С. және Ричард С. Джеффри, Есептеу және логика. Кембридж университетінің баспасы (1980), 99 бет.
  4. ^ Эллиотт Мендельсон, Математикалық логикаға кіріспе (4-ші басылым). Чэпмен және Холл / CRC (1997), 11 бет.
  5. ^ Хехнер Эрик С., Бағдарламалаудың практикалық теориясы. Springer (1993, 2010), 3 бет.
  6. ^ Parberry, Ian (1994). Схеманың күрделілігі және жүйке желілері. MIT түймесін басыңыз. бет.65. ISBN  978-0-262-16148-0.
  7. ^ Кортаделла, Джорди; т.б. (2002). Асинхронды контроллерлер мен интерфейстерге арналған логикалық синтез. Springer Science & Business Media. б.73. ISBN  978-3-540-43152-7.

Әрі қарай оқу