Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Базы данных

Електронний каталог ЖОУНБ ім. О. Ольжича- результаты поиска

Вид поиска

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: <.>K=алгебра висловлювань<.>

Общее количество найденных документов : 2
Показаны документы с 1 по 2

510.6
Н73

Новиков, Петр Сергеевич.
Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.

УДК

510.6

ББК 22.122
Рубрики: Математична логіка--Навчальні видання

фывфывфыв:
логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств
Аннотация: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 2
ЧЗ (1), ФОНД (1)
Свободны: ЧЗ (1), ФОНД (1)
Найти похожие

004.424
К28

Касаткин, Валентин Николаевич.
Логическое программирование в занимательных задачах [] / В. Н. Касаткин ; [ред. Л. О. Полянская]. - Киев : Техніка, 1980. - 79 с. : рис., табл. - Прил.: с. 69-79. - 1.10 р.

УДК

004.424

ББК 32.973
Рубрики: Дискретне програмування--Логічні задачі--Популярні видання
Електронні обчислювальні пристрої--Використання--Популярні видання

фывфывфыв:
электронно-вычислительные машины -- електронно-обчислювальні машини -- логика мышления -- логіка мислення -- логика решений -- логіка рішень -- алгоритм моделировання эволюции -- алгоритм моделювання еволюції -- алгоритм узнавания -- алгоритм впізнавання -- алгебра высказываний -- алгебра висловлювань
Аннотация: Вычислительные машины выступают соперником человека в играх, они решают логические задачи, моделируют распознавание человеческих образов.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Полянская, Л. О. \ред.\
Экземпляры всего: 3
ВВ (1), АБ (1), ЧЗ (1)
Свободны: ВВ (1), АБ (1), ЧЗ (1)
Найти похожие

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)