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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

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

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

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

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

510.6(075)
Л63

   Лисовик, Л. П.
    Теория трансдьюсеров [Текст] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 2 , кн. 4 : Размеченные деревья. - 2006. - 352 с. - Бібліогр.: с. 341-351. - ISBN 966-651-393-5 (том 2). - ISBN 966-651-394-3 (книга 4) : 15.00 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка
Кібернетика

Кл.слова (ненормовані):
интерпритация -- інтрерпрітація -- полулинейный резервуар -- полулинейний резервуар -- схематология -- схематологія -- автоматы Рябина -- автомати Рябина -- формальные языки -- формальні язики -- сети Петри -- сеті Петрі -- эквивалентность драйверов -- еквівалентність драйверів -- альтернирующий стекинг -- альтернірующий стекінг
Анотація: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров.

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

510.6(075)
Л 63

   Лисовик, Л. П.
    Теория трансдьюсеров [Текст] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 3, кн. 5 : Типы функций. Интерполяция. Фрактальность. - 2006. - Бібліогр.: с. 307-317 . - ISBN 966-651-375-7 (том 3). - ISBN 966-651-376-5 (книга 5) : 015.00 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка
Кібернетика

Кл.слова (ненормовані):
вычислимость -- обчислення -- функциональное пространство -- функціональний простір -- скриптоляции -- скріптоляції -- континуум -- контініум -- интерполяция -- інтерполяція -- фрактальность -- фрактальність -- кривая Пеано -- крива Пеано
Анотація: Рассматриваются трандьюсеры детерминированные с осцилированием по выходной ленте и недетерминированные с угадыванием значений.

Утримувачі документа:
ЖОУНБ
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

510.6(075)
Л 63

   Лисовик, Л. П.
    Теория трансдьюсеров [Текст] : [в 3 т.] / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 1, Кн. 1 : Типы языков и машин : главы 1-4. - 2005. - 271 с. - Лит.: с. 264-269. - ISBN 966-651-251-3 (том 1). - ISBN 966-651-270-X (книга 1) : 30.00 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка
Кібернетика

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

510.6(075)
Л63

   Лисовик, Л. П.
    Теория трансдьюсеров [Текст] : [ в 3 т.] : монография / Л. П. Лисовик. - К. : Феникс, 2005 - 2007. - (Математическое мышление). - ISBN 966-651-256-4.
   Т. 1 : Главы 5-12, кн. 2 : Алгебра и автоматы. I . - 2005. - 272 с. - Лит.: с. 260-263. - Доп. лит.: с. 267. - ISBN 966-651-251-3 (Т. 1) : 30.00 грн

УДК

510.6(075)

ББК 22.18я73
Рубрики: Математична логіка--Наукові видання
Кл.слова (ненормовані):
контекстные языки -- контекстні мови -- классы языков -- класи мов -- неразрешимость -- недозволеність -- математическая логика -- жесткие множества в полугруппах -- жорсткі множини в напівгрупах -- конечно-неоднозначные преобразователи -- кінцево-неоднозначні перетворювачі -- регулярные множества в полугруппах -- регулярні множини в напівгрупах -- группы и языки -- групи і мови
Анотація: Проблема решения систем линейных диофантовых уравнений, изучение проблем эквивалентности для классов последовательностных преобразователей. Используется теорема Гильберта о базисах и гипотеза Эренфойхта. Книга рассчитана на студентов, аспирантов, научных работников в области математики.

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

    Кузичева, З. А.
    Влияние теории релейно-контактных схем на развитие математической логики [] / З. А. Кузичева // Вестник Московского университета. Сер. 7, Философия. - 2009. - N 1. - С. 53-62. - Примеч.: с. 61-62 . - ISSN 0130-0091
Рубрики: Логіка
   Математична логіка
   Філософія техніки

Є примірники у відділах: всього 1 : ПЧЗ (1)
Вільні: ПЧЗ (1)

Знайти схожі

510.6
С 32

Середа, Володимир Юрійович.
Вчись мислити логічно [] : для старш. шк. віку / В. Ю. Середа. - К. : Рад. шк., 1989. - 175 : рис., табл. - Л-ра: с. 173. - ISBN 5-330-00745-3 : 0.35 р.

УДК

510.6

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

Кл.слова (ненормовані):
мислення -- мышление -- логічна помилка -- логическая ошибка -- поняття -- понятие -- судження -- суждение -- складні судження -- сложные суждения -- логічне мислення -- логическое мышление -- умовиводи -- умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- математичні теореми -- математические теоремы -- математична індукція -- математическая индукция -- доведення -- доказательства -- спростування -- опровержение -- аналогія -- аналогия
Анотація: Розкриваються основні формально-логічні закони побудови правильних суджень і умовиводів. За допомогою цих законів, а також елементів математичної логіки аналізуються причини появи типових помилок під час роз'язування різноманітних задач шкільного курсу математики.

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

51(09)
В 26

Вейль, Герман.
Математическое мышление [] : пер. с англ. и нем. / Г. Вейль ; под ред. Б. В. Бирюкова и А. Н. Паршина ; сост. Ю. А. Данилов. - М. : Наука, 1989. - 400 с. - Указ. имен: с. 393-398. - ISBN 5-02-013910-6 : 2.50 р.

УДК

51(09)

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

Кл.слова (ненормовані):
познание и осмысление -- пізнання й осмислення -- математика и логика -- математика і логіка -- основания современного анализа -- підстави сучасного аналізу -- множество и функция -- множина и функція -- числа -- континуум -- инерция и космос -- інерція і космос -- геометрия и физика -- геометрія і фізика
Анотація: В сборник включены произведения выдающегося математика современности Германа Вейля (1885 - 1955), посвященные теоретико-познавательным проблемам математики, её взаимодействиям с науками о природе, роли в исследовании внешнего мира.

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

Дод.точки доступу:
Бирюков, Б. В. \ред.\; Паршин, А. Н. \ред.\; Данилов, Ю. А. \сост.\; Гільберт, Давид (математик ; 1862 - 1943) \про нього\; Клейн, Фелікс (математик ; 1849 - 1925) \про нього\; Нетер, Еммі (математик ; 1882 - 1935) \про неї\; Пуанкаре, Анрі (математик, фізик ; 1854 - 1912) \про нього\; Паули, Вольфганг (фізик ; 1900 - 1958) \про нього\
Примірників всього: 2
ФОНД (1), ЧЗ (1)
Свободны: ФОНД (1), ЧЗ (1)
Знайти схожі

510.6(075)
К60

Колмогоров, Андрей Николаевич.
Введение в математическую логику [] : учеб. пособие для мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 120 с. : ил. - Лит.: с. 120. - 0.25 р.

УДК

510.6(075)

ББК 22.122я73
Рубрики: Математична логіка--Навчальні видання
Кл.слова (ненормовані):
математическая логика -- теория множеств -- теорія множин -- логико-математические языки -- логіко-математичні мови -- логические законы -- логічні закони -- формальные аксиоматические теории -- формальні аксіоматичні теорії -- логика высказываний -- логика предикатов -- математические теории -- математичні теорії
Анотація: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.

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

Дод.точки доступу:
Драгалин, Альберт Григорьевич
Примірників всього: 3
ЧЗ (1), АБ (2)
Свободны: ЧЗ (1), АБ (2)
Знайти схожі

510.6
Н73

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

УДК

510.6

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

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

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

10.

510.6
М50

Мендельсон, Элиот.
Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.

УДК

510.6

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

Кл.слова (ненормовані):
тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов
Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др.

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

Дод.точки доступу:
Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\
Примірників всього: 2
ЧЗ (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)
Свободны: ЧЗ (1)
Знайти схожі

12.

517
С50

Смаллиан, Рєймонд М..
Принцесса или тигр? [] = The lady or the tiger? / Рэймонд М. Смаллиан ; пер. с англ. И. Е. Зино ; под ред. Ю. И. Манина. - М. : Мир, 1985. - 220 с. : рис. - Библиогр. в подстрочном примеч. - 0.55 р.

УДК

517

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

Кл.слова (ненормовані):
логічні задачі -- логические задачи -- арифметичні задачі -- арифметические задачи -- головоломки -- теорема Геделя -- закони Фергюссона -- законы Фергюссона -- цікаві задачі -- занимательные задачи -- принцип Крейга
Анотація: Книга в занимательной форме знакомит читателя с логическими парадоксами, головоломками, логическими и арифметическими задачами.

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

Дод.точки доступу:
Зино, И. Е. \пер.\; Манина, Ю. И. \ред.\
Примірників всього: 1
ЧЗ (1)
Свободны: ЧЗ (1)
Знайти схожі

13.

510.6
Г45

Гжегорчик, Анджей.
Популярная логика: общедоступный очерк логики предложений [] = Logika popularna: przystepny zarys logiki zdan / А. Гжегорчик ; пер. с пол. С. П. Беляева. - 3-е изд. стереотип. - М. : Наука, Гл. ред. физ.-мат. лит., 1979. - 112 с. : рис. - Библиогр. в подстрочном примеч. - Лит. - с. 11-12. - 0.25 р.

УДК

510.6

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

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

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

Дод.точки доступу:
Беляев, С. П. \пер.\
Примірників всього: 2
ЧЗ (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
Рубрики: Математична логіка--Навчальні видання для вищої школи
Алгоритмів теорія--Навчальні видання для вищої школи

Кл.слова (ненормовані):
класична математична логіка -- классическая математическая логика -- некласична математична логіка -- неклассическая математическая логика -- логіка висловлювань -- логика высказываний -- нечеткая логика -- нечітка логіка -- епістемічна логіка -- эпистемическая логика -- деонтична логіка -- інтуїціоністська логіка -- интуиционистская логика -- деонтичная логика -- методи логіки -- методы логики -- теорія алгоритмів -- теория алгоритмов -- модальна логіка -- модальная логика
Анотація: Основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Матеріал проілюстровано вправами та задачами.

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

Дод.точки доступу:
Шаповалов, Сергій Павлович; Мііністерство освіти і науки УкраїниСумський державний університет
Примірників всього: 2
ЧЗ (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
Рубрики: Системне програмування--Наукові видання
   Математична логіка--Наукові видання
   Інформатика--Наукові видання

Кл.слова (ненормовані):
обчислювальні системи -- вычислительные системы -- языки программирорвания -- мови програмування -- методология программирования -- методологія програмування -- недетерминизм -- недетермінізм -- теория взаимодействующих процессов -- теорія взаємодіючих процесів -- послідовні процеси -- последовательные процессы
Анотація: Книга излагает теорию взаимодействующих процессов: эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ.

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

Дод.точки доступу:
Бульонкова, А. А. \пер.\; Ершов, А. П. \ред.\
Примірників всього: 2
ЧЗ (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)
Свободны: ЧЗ (1)
Знайти схожі

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