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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

Пошуковий запит: <.>S=Математична логіка<.>

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

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров: [в 3 т.]/ Л. П. Лисовик. - (Математическое мышление). Т. 2 . кн. 4 : Размеченные деревья
Вихідні дані : К.: Феникс, 2006
Кільк.характеристики :352 с
Примітки : Бібліогр.: с. 341-351
ISBN, Ціна 966-651-393-5: 15.00 грн
ISBN, Ціна 966-651-394-3: Б.ц.
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка
Кібернетика
Географіч. рубрики:
Анотація: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л 63
Автор(и) : Лисовик Л.П.
Назва : Теория трансдьюсеров: [в 3 т.]/ Л. П. Лисовик. - (Математическое мышление). Т. 3 . кн. 5 : Типы функций. Интерполяция. Фрактальность
Вихідні дані : К.: Феникс, 2006
Примітки : Бібліогр.: с. 307-317
ISBN, Ціна 966-651-375-7: 015.00 грн
ISBN, Ціна 966-651-376-5: Б.ц.
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка
Кібернетика
Географіч. рубрики:
Анотація: Рассматриваются трандьюсеры детерминированные с осцилированием по выходной ленте и недетерминированные с угадыванием значений.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л 63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров: [в 3 т.]/ Л. П. Лисовик. - (Математическое мышление). Т. 1 . Кн. 1 : Типы языков и машин : главы 1-4
Вихідні дані : К.: Феникс, 2005
Кільк.характеристики :271 с
Примітки : Лит.: с. 264-269
ISBN, Ціна 966-651-251-3: 30.00 грн
ISBN, Ціна 966-651-270-X: Б.ц.
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка
Кібернетика
Географіч. рубрики:
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Багатотомне видання
Шифр видання : 510.6(075)/Л63
Автор(и) : Лисовик Л. П.
Назва : Теория трансдьюсеров: [ в 3 т.] : монография/ Л. П. Лисовик. - (Математическое мышление). Т. 1: Главы 5-12 . кн. 2 : Алгебра и автоматы. I
Вихідні дані : К.: Феникс, 2005
Кільк.характеристики :272 с
Примітки : Лит.: с. 260-263. - Доп. лит.: с. 267
ISBN, Ціна 966-651-251-3: 30.00 грн
УДК : 510.6(075)
ББК : 22.18я73
Предметні рубрики: Математична логіка
Анотація: Проблема решения систем линейных диофантовых уравнений, изучение проблем эквивалентности для классов последовательностных преобразователей. Используется теорема Гильберта о базисах и гипотеза Эренфойхта. Книга рассчитана на студентов, аспирантов, научных работников в области математики.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

Форма документа : Стаття із журналу
Шифр видання :
Автор(и) : Кузичева З.А.
Назва : Влияние теории релейно-контактных схем на развитие математической логики
Місце публікування : Вестник Московского университета. Сер. 7, Философия. - М.: Изд-во Моск. ун-та, 2009. - N 1. - С. 53-62. - ISSN 01300091 (Шифр vmu7/2009/1). - ISSN 01300091
Примітки : Примеч.: с. 61-62
Предметні рубрики: Логіка
Математична логіка
Філософія техніки
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6/С 32
Автор(и) : Середа, Володимир Юрійович
Назва : Вчись мислити логічно : для старш. шк. віку
Вихідні дані : К.: Рад. шк., 1989
Кільк.характеристики : 175: рис., табл.
Примітки : Л-ра: с. 173
ISBN, Ціна 5-330-00745-3: 0.35 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Розкриваються основні формально-логічні закони побудови правильних суджень і умовиводів. За допомогою цих законів, а також елементів математичної логіки аналізуються причини появи типових помилок під час роз'язування різноманітних задач шкільного курсу математики.
Примірники :ФОНД(1)
Вільні : ФОНД(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 51(09)/В 26
Автор(и) : Вейль, Герман
Назва : Математическое мышление : пер. с англ. и нем.
Вихідні дані : М.: Наука, 1989
Кільк.характеристики :400 с
Примітки : Указ. имен: с. 393-398
ISBN, Ціна 5-02-013910-6: 2.50 р.
УДК : 51(09)
ББК : 22.1г
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: В сборник включены произведения выдающегося математика современности Германа Вейля (1885 - 1955), посвященные теоретико-познавательным проблемам математики, её взаимодействиям с науками о природе, роли в исследовании внешнего мира.
Примірники : всього : ФОНД(1), ЧЗ(1)
Вільні : ФОНД(1), ЧЗ(1)
Знайти схожі

Форма документа : Однотомне видання
Шифр видання : 510.6(075)/К60
Автор(и) : Колмогоров, Андрей Николаевич, Драгалин, Альберт Григорьевич
Назва : Введение в математическую логику : учеб. пособие для мат. спец. вузов
Вихідні дані : М.: Изд-во МГУ, 1982
Кільк.характеристики :120 с.: ил.
Примітки : Лит.: с. 120
Ціна : 0.25 р.
УДК : 510.6(075)
ББК : 22.122я73
Предметні рубрики: Математична логіка
Ключові слова (''Вільн.індекс.''): математическая логика--теория множеств--теорія множин--логико-математические языки--логіко-математичні мови--логические законы--логічні закони--формальные аксиоматические теории--формальні аксіоматичні теорії--логика высказываний--логика предикатов--математические теории--математичні теорії
Анотація: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.
Примірники : всього : ЧЗ(1), АБ(2)
Вільні : ЧЗ(1), АБ(2)
Знайти схожі

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

10.

Форма документа : Однотомне видання
Шифр видання : 510.6/М50
Автор(и) : Мендельсон, Элиот
Назва : Введение в математическую логику . -2-е изд., испр.
Паралельн. назви :Introduktion to mathematical logic
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1976
Кільк.характеристики :320 с.: рис.
Примітки : Лит.: с. 296-309. - Алф. указ.: с. 310-317
Ціна : 1.65 р.
УДК : 510.6
ББК : 22.122
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

11.

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

12.

Форма документа : Однотомне видання
Шифр видання : 517/С50
Автор(и) : Смаллиан, Рєймонд М.
Назва : Принцесса или тигр?
Паралельн. назви :The lady or the tiger?
Вихідні дані : М.: Мир, 1985
Кільк.характеристики :220 с.: рис.
Примітки : Библиогр. в подстрочном примеч.
Ціна : 0.55 р.
УДК : 517
ББК : 22.122
Предметні рубрики: Математика
Математична логіка
Географіч. рубрики:
Анотація: Книга в занимательной форме знакомит читателя с логическими парадоксами, головоломками, логическими и арифметическими задачами.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

13.

Форма документа : Однотомне видання
Шифр видання : 510.6/Г45
Автор(и) : Гжегорчик, Анджей
Назва : Популярная логика: общедоступный очерк логики предложений . -3-е изд. стереотип.
Паралельн. назви :Logika popularna: przystepny zarys logiki zdan
Вихідні дані : М.: Наука, Гл. ред. физ.-мат. лит., 1979
Кільк.характеристики :112 с.: рис.
Примітки : Библиогр. в подстрочном примеч. - Лит. - с. 11-12
Ціна : 0.25 р.
УДК : 510.6
ББК : 22.12
Предметні рубрики: Математична логіка
Географіч. рубрики:
Анотація: Излагаются основные понятия, законы и принципы логики, наведены примеры и методы проверки логических формул.
Примірники : всього : ЧЗ(1), АБ(1)
Вільні : ЧЗ(1), АБ(1)
Знайти схожі

14.

Форма документа : Однотомне видання
Шифр видання : 510.6(075.8)/М33
Автор(и) : Матвієнко, Микола Павлович, Шаповалов, Сергій Павлович
Назва : Математична логіка та теорія алгоритмів : навч. посібник
Вихідні дані : К.: Ліра-К, 2015
Кільк.характеристики :211, [1] с.: рис., табл.
Колективи : Мііністерство освіти і науки України, Сумський державний університет
Примітки : Л-ра: с. 210-211
ISBN, Ціна 978-966-2609-74-5: 92.00, 100.00, грн
УДК : 510.6(075.8) + 510.5(075.8)
ББК : 22.122я73 + 22.127я73
Предметні рубрики: Математична логіка
Алгоритмів теорія
Географіч. рубрики:
Анотація: Основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Матеріал проілюстровано вправами та задачами.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

15.

Форма документа : Однотомне видання
Шифр видання : 519.6/.8/Х68
Автор(и) : Хоар, Чарльз Энтони Ричард
Назва : Взаимодействующие последовательные процессы
Паралельн. назви :Communlcating seauential processes
Вихідні дані : М.: Мир, 1989
Кільк.характеристики :264 с
Примітки : Указ.: с. 255-258. - Предм. указ.: с. 259-262
ISBN, Ціна 5-03001043-2: 1.20 р.
УДК : 519.6/.8
ББК : 22.18
Предметні рубрики: Системне програмування
Математична логіка
Інформатика
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): обчислювальні системи--вычислительные системы--языки программирорвания--мови програмування--методология программирования--методологія програмування--недетерминизм--недетермінізм--теория взаимодействующих процессов--теорія взаємодіючих процесів--послідовні процеси--последовательные процессы
Анотація: Книга излагает теорию взаимодействующих процессов: эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ.
Примірники : всього : ЧЗ(1), ФОНД(1)
Вільні : ЧЗ(1), ФОНД(1)
Знайти схожі

16.

Форма документа : Однотомне видання
Шифр видання : 510.6/К98
Автор(и) : Кэрролл, Льюис
Назва : Логическая игра
Паралельн. назви :The game of logic
Вихідні дані : Москва: Наука, 1991
Кільк.характеристики :189, [3] с.: рис.
Серія: Библиотечка "Квант"; вып. 73
Примітки : Лит.: с. 188-190
ISBN, Ціна 5-02-014220-4: 6.00 грн
УДК : 510.6
ББК : 22.12
Предметні рубрики: Математична логіка
Географіч. рубрики:
Ключові слова (''Вільн.індекс.''): силлогизмы--силогізми--суждения--судження--логические задачи--логічні задачі--логічні ігри--логические игры--головоломки--фокусы--фокуси
Анотація: Сборник логических задач автора "Алисы в Стране Чудес" Льюиса Кэрролла. Он в занимательной игровой форме знакомит читателя с оригинальным графическим методом решения силлогизмов и соритов.
Примірники :ЧЗ(1)
Вільні : ЧЗ(1)
Знайти схожі

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