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

Про нас

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

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

Бази даних

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

Вид пошуку

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

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

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

Зона пошуку

у знайденому

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

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

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

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

1-10 11-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)
Знайти схожі

1-10 11-16

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