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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=исчисление высказываний<.>

Загальна кількість знайдених документів : 5
Показані документи с 1 за 5

Форма документа : Однотомне видання
Шифр видання : 510.6/Н73
Автор(и) : Новиков, Петр Сергеевич
Назва : Элементы математической логики . -2-е изд., испр.
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1973
Кільк.характеристики :400 с
Серія: Математическая логика и основания математики
Примітки : Предм. указ.: с. 397-399
Ціна : 1.43 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6(075.8)/Е80
Автор(и) : Ершов, Юрий Леонидович, Палютин, Евгений Андреевич
Назва : Математическая логика : учеб. пособие для студентов мат. специальностей высш. учеб. заведений . -2-е изд., испр. и доп.
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1987
Кільк.характеристики :236 с
Примітки : Предм. указ.: с. 335-336
Ціна : 0.95 р.
УДК : 510.6(075.8)
ББК : 22.122я73
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: В книге изложены основные классические исчисления математической логики.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 007:681.5/Р12
Автор(и) : Рабинович, Авраам Нахимович
Назва : Как машина стала автоматом
Вихідні дані : К.: Техніка, 1976
Кільк.характеристики :152 с.: рис.
Ціна : 0.30 р.
УДК : 007:681.5
ББК : 32.815
Предметні рубрики: Автоматів теорія
Географіч. рубрики:
Анотація: Металлообрабатывающие и другие автоматы, принципы и особенности их действия, функции человека в производственном процессе.
Примірники :ВВ(1)
Вільні : ВВ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 007/П 62
Автор(и) : Поспелов, Дмитрий Александрович
Назва : Моделирование рассуждений. Опыт анализа мыслительных актов
Вихідні дані : М.: Радио и связь, 1989
Кільк.характеристики :184 с.: рис., табл.
Примітки : Лит.: с. 179-183
ISBN, Ціна 5-256-00183-3: 0.60 р.
УДК : 007
ББК : 32.813
Предметні рубрики: Штучний інтелект-- Кібернетичні моделі
Географіч. рубрики:
Анотація: Описываются дедуктивные, индуктивные и правдоподобные модели, учитывающие особенности человеческих рассуждений.
Примірники : всього : ВВ(1), ФОНД(1)
Вільні : ВВ(1), ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 004.891/Р79
Автор(и) : Рот, Михаэль
Назва : Интеллектуальный автомат: компьютер в качестве эксперта
Вихідні дані : М.: Энергоатомиздат, 1991
Кільк.характеристики :80 с.: рис.
ISBN, Ціна 5-283-02522-5: 6.55 крб
УДК : 004.891
ББК : 32.813
Предметні рубрики: Експертні системи
Комп'ютери-- Історія
Географіч. рубрики:
Анотація: Основы построения и практического применения экспертных систем, дан анализ эволюции компьютеров за последние три столетия.
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)