Л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 грн
Рубрики: Математична логіка Кібернетика Кл.слова (ненормовані): интерпритация -- інтрерпрітація -- полулинейный резервуар -- полулинейний резервуар -- схематология -- схематологія -- автоматы Рябина -- автомати Рябина -- формальные языки -- формальні язики -- сети Петри -- сеті Петрі -- эквивалентность драйверов -- еквівалентність драйверів -- альтернирующий стекинг -- альтернірующий стекінг Анотація: Книга дает систематическое и полное представление о методе полулинейного резервуара для решения алгоритмических проблем в теории трансдьюсеров. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л 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 грн
Рубрики: Математична логіка Кібернетика Кл.слова (ненормовані): вычислимость -- обчислення -- функциональное пространство -- функціональний простір -- скриптоляции -- скріптоляції -- континуум -- контініум -- интерполяция -- інтерполяція -- фрактальность -- фрактальність -- кривая Пеано -- крива Пеано Анотація: Рассматриваются трандьюсеры детерминированные с осцилированием по выходной ленте и недетерминированные с угадыванием значений. Утримувачі документа: ЖОУНБ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л 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 грн
Рубрики: Математична логіка Кібернетика Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Л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 грн
Рубрики: Математична логіка--Наукові видання Кл.слова (ненормовані): контекстные языки -- контекстні мови -- классы языков -- класи мов -- неразрешимость -- недозволеність -- математическая логика -- жесткие множества в полугруппах -- жорсткі множини в напівгрупах -- конечно-неоднозначные преобразователи -- кінцево-неоднозначні перетворювачі -- регулярные множества в полугруппах -- регулярні множини в напівгрупах -- группы и языки -- групи і мови Анотація: Проблема решения систем линейных диофантовых уравнений, изучение проблем эквивалентности для классов последовательностных преобразователей. Используется теорема Гильберта о базисах и гипотеза Эренфойхта. Книга рассчитана на студентов, аспирантов, научных работников в области математики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Кузичева, З. А. Влияние теории релейно-контактных схем на развитие математической логики [] / З. А. Кузичева> // Вестник Московского университета. Сер. 7, Философия. - 2009. - N 1. - С. 53-62. - Примеч.: с. 61-62 . - ISSN 0130-0091 Рубрики: Логіка Математична логіка Філософія техніки Є примірники у відділах: всього 1 : ПЧЗ (1) Вільні: ПЧЗ (1) |
С 32 Середа, Володимир Юрійович. Вчись мислити логічно [] : для старш. шк. віку / В. Ю. Середа. - К. : Рад. шк., 1989. - 175 : рис., табл. - Л-ра: с. 173. - ISBN 5-330-00745-3 : 0.35 р.
Рубрики: Математична логіка--Навчальні видання для середньої школи Кл.слова (ненормовані): мислення -- мышление -- логічна помилка -- логическая ошибка -- поняття -- понятие -- судження -- суждение -- складні судження -- сложные суждения -- логічне мислення -- логическое мышление -- умовиводи -- умозаключения -- дедуктивні умовиводи -- дедуктивные умозаключения -- математичні теореми -- математические теоремы -- математична індукція -- математическая индукция -- доведення -- доказательства -- спростування -- опровержение -- аналогія -- аналогия Анотація: Розкриваються основні формально-логічні закони побудови правильних суджень і умовиводів. За допомогою цих законів, а також елементів математичної логіки аналізуються причини появи типових помилок під час роз'язування різноманітних задач шкільного курсу математики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ФОНД (1) Свободны: ФОНД (1) |
В 26 Вейль, Герман. Математическое мышление [] : пер. с англ. и нем. / Г. Вейль ; под ред. Б. В. Бирюкова и А. Н. Паршина ; сост. Ю. А. Данилов. - М. : Наука, 1989. - 400 с. - Указ. имен: с. 393-398. - ISBN 5-02-013910-6 : 2.50 р.
Рубрики: Математична логіка--Наукові видання Кл.слова (ненормовані): познание и осмысление -- пізнання й осмислення -- математика и логика -- математика і логіка -- основания современного анализа -- підстави сучасного аналізу -- множество и функция -- множина и функція -- числа -- континуум -- инерция и космос -- інерція і космос -- геометрия и физика -- геометрія і фізика Анотація: В сборник включены произведения выдающегося математика современности Германа Вейля (1885 - 1955), посвященные теоретико-познавательным проблемам математики, её взаимодействиям с науками о природе, роли в исследовании внешнего мира. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Бирюков, Б. В. \ред.\; Паршин, А. Н. \ред.\; Данилов, Ю. А. \сост.\; Гільберт, Давид (математик ; 1862 - 1943) \про нього\; Клейн, Фелікс (математик ; 1849 - 1925) \про нього\; Нетер, Еммі (математик ; 1882 - 1935) \про неї\; Пуанкаре, Анрі (математик, фізик ; 1854 - 1912) \про нього\; Паули, Вольфганг (фізик ; 1900 - 1958) \про нього\ Примірників всього: 2 ФОНД (1), ЧЗ (1) Свободны: ФОНД (1), ЧЗ (1) |
К60 Колмогоров, Андрей Николаевич. Введение в математическую логику [] : учеб. пособие для мат. спец. вузов / А. Н. Колмогоров, А. Г. Драгалин. - М. : Изд-во МГУ, 1982. - 120 с. : ил. - Лит.: с. 120. - 0.25 р.
Рубрики: Математична логіка--Навчальні видання Кл.слова (ненормовані): математическая логика -- теория множеств -- теорія множин -- логико-математические языки -- логіко-математичні мови -- логические законы -- логічні закони -- формальные аксиоматические теории -- формальні аксіоматичні теорії -- логика высказываний -- логика предикатов -- математические теории -- математичні теорії Анотація: Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Драгалин, Альберт Григорьевич Примірників всього: 3 ЧЗ (1), АБ (2) Свободны: ЧЗ (1), АБ (2) |
Н73 Новиков, Петр Сергеевич. Элементы математической логики [] / П. С. Новиков. - 2-е изд., испр. . - М. : Наука, Гл. ред. физ.-мат. лит., 1973. - 400 с. - (Математическая логика и основания математики). - Предм. указ.: с. 397-399. - 1.43 р.
Рубрики: Математична логіка--Навчальні видання Кл.слова (ненормовані): логічні операції -- логические операции -- алгебра висловлювань -- алгебра высказываний -- числення висловів -- исчисление высказываний -- теорема дедукции -- еквівалентні формули -- эквивалентные формулы -- логіка предикатів -- логика предикатов -- обчислення предикатів -- исчисление предикатов -- аксіоматична арифметика -- аксиоматическая арифметика -- теорія доказів -- теория доказательств Анотація: Изложены основы математической логики, рассмотрены методы теории доказательств, посредством которых решаются вопросы математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
М50 Мендельсон, Элиот. Введение в математическую логику [] = Introduktion to mathematical logic / Э. Мендельсон ; пер. с англ. Ф. А. Кабакова ; под ред. С. И. Адяна. - 2-е изд., испр. - М. : Наука, Гл. ред. физ.-мат. лит., 1976. - 320 с. : рис. - Лит.: с. 296-309. - Алф. указ.: с. 310-317. - 1.65 р.
Рубрики: Математична логіка--Наукові видання Кл.слова (ненормовані): тавтологія -- тавтология -- система аксіом -- система аксиом -- докази -- доказательства -- арифметичні функції -- арифметические функции -- теорема Геделя -- теорема Тарського -- теорема Тарского -- теорема Хартогса -- алгорифми Маркова -- алгорифмы Маркова -- алгорифми Тьюринга -- алгорифмы Тьюринга -- обчислення предикатів -- исчисление предикатов -- логіка висловлювань -- логика высказываний -- формальна арифметика -- формальная арифметика -- теорія алгоритмів -- теория алгоритмов Анотація: Изложены основные понятия математической логики: логика высказываний, исчисление предикатов, формальная арифметика, теория алгоритмов и др. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кабаков, Ф. А. \пер.\; Адян, С. И. \ред.\ Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Е80 Ершов, Юрий Леонидович. Математическая логика [] : учеб. пособие для студентов мат. специальностей высш. учеб. заведений / Ю. Л. Ершов, Е. А. Палютин ; [ред. В. В. Донченко]. - 2-е изд., испр. и доп. - М. : Наука, Гл. ред. физ.-мат. лит., 1987. - 236 с. - Предм. указ.: с. 335-336. - 0.95 р.
Рубрики: Математична логіка--Навчальні видання для вищої школи Кл.слова (ненормовані): исчисление высказываний -- числення висловів -- теория множеств -- теорія множин -- исчисление предикатов -- числення предикатів -- теория моделей -- теорія моделей -- теория доказательств -- теорія доказів -- алгоритмы -- алгоритми -- рекурсивные функции -- рекурсивні функкції Анотація: В книге изложены основные классические исчисления математической логики. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Палютин, Евгений Андреевич; Донченко, В. В. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
С50 Смаллиан, Рєймонд М.. Принцесса или тигр? [] = The lady or the tiger? / Рэймонд М. Смаллиан ; пер. с англ. И. Е. Зино ; под ред. Ю. И. Манина. - М. : Мир, 1985. - 220 с. : рис. - Библиогр. в подстрочном примеч. - 0.55 р.
Рубрики: Математика--Популярні видання Математична логіка--Популярні видання Кл.слова (ненормовані): логічні задачі -- логические задачи -- арифметичні задачі -- арифметические задачи -- головоломки -- теорема Геделя -- закони Фергюссона -- законы Фергюссона -- цікаві задачі -- занимательные задачи -- принцип Крейга Анотація: Книга в занимательной форме знакомит читателя с логическими парадоксами, головоломками, логическими и арифметическими задачами. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Зино, И. Е. \пер.\; Манина, Ю. И. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |
Г45 Гжегорчик, Анджей. Популярная логика: общедоступный очерк логики предложений [] = Logika popularna: przystepny zarys logiki zdan / А. Гжегорчик ; пер. с пол. С. П. Беляева. - 3-е изд. стереотип. - М. : Наука, Гл. ред. физ.-мат. лит., 1979. - 112 с. : рис. - Библиогр. в подстрочном примеч. - Лит. - с. 11-12. - 0.25 р.
Рубрики: Математична логіка--Навчальні видання Кл.слова (ненормовані): логика -- логіка -- умовивід -- умозаключение -- логічні вирази -- логические выражения -- закони логіки -- законы логики -- перевірка логічних формул -- проверка логических формул -- упражнения -- вправи -- логіка речень -- логика предложений -- логічні союзи -- логические союзы -- правило відокремлення -- правило отделения Анотація: Излагаются основные понятия, законы и принципы логики, наведены примеры и методы проверки логических формул. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Беляев, С. П. \пер.\ Примірників всього: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
М33 Матвієнко, Микола Павлович. Математична логіка та теорія алгоритмів [] : навч. посібник / М. П. Матвієнко, С. П. Шаповалов ; М-во освіти і науки України, Сум. держ. ун-т. - К. : Ліра-К, 2015. - 211, [1] с. : рис., табл. - Л-ра: с. 210-211. - ISBN 978-966-2609-74-5 : 92.00 грн, 100.00 грн
Рубрики: Математична логіка--Навчальні видання для вищої школи Алгоритмів теорія--Навчальні видання для вищої школи Кл.слова (ненормовані): класична математична логіка -- классическая математическая логика -- некласична математична логіка -- неклассическая математическая логика -- логіка висловлювань -- логика высказываний -- нечеткая логика -- нечітка логіка -- епістемічна логіка -- эпистемическая логика -- деонтична логіка -- інтуїціоністська логіка -- интуиционистская логика -- деонтичная логика -- методи логіки -- методы логики -- теорія алгоритмів -- теория алгоритмов -- модальна логіка -- модальная логика Анотація: Основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Матеріал проілюстровано вправами та задачами. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Шаповалов, Сергій Павлович; Мііністерство освіти і науки УкраїниСумський державний університет Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
Х68 Хоар, Чарльз Энтони Ричард. Взаимодействующие последовательные процессы [] = Communlcating seauential processes / Ч. Хоар ; пер. с англ. А. А. Бульонковой ; под. ред. А. П. Ершова. - М. : Мир, 1989. - 264 с. - Указ.: с. 255-258. - Предм. указ.: с. 259-262. - ISBN 5-03001043-2 : 1.20 р.
Рубрики: Системне програмування--Наукові видання Математична логіка--Наукові видання Інформатика--Наукові видання Кл.слова (ненормовані): обчислювальні системи -- вычислительные системы -- языки программирорвания -- мови програмування -- методология программирования -- методологія програмування -- недетерминизм -- недетермінізм -- теория взаимодействующих процессов -- теорія взаємодіючих процесів -- послідовні процеси -- последовательные процессы Анотація: Книга излагает теорию взаимодействующих процессов: эта тематика тесно связана с такими реальными понятиями, как операционные системы, мультипроцессорные комплексы и сети ЭВМ. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Бульонкова, А. А. \пер.\; Ершов, А. П. \ред.\ Примірників всього: 2 ЧЗ (1), ФОНД (1) Свободны: ЧЗ (1), ФОНД (1) |
К98 Кэрролл, Льюис. Логическая игра [] = The game of logic / Л. Кэрролл ; пер. с англ. Ю. А. Данилова ; [редкол.: Ю. А. Осипьян (пред.) и др.]. - Москва : Наука, 1991. - 189, [3] с. : рис. - (Библиотечка "Квант" ; вып. 73). - Лит.: с. 188-190. - ISBN 5-02-014220-4 : 6.00 грн
Рубрики: Математична логіка--Науково-популярні видання Кл.слова (ненормовані): силлогизмы -- силогізми -- суждения -- судження -- логические задачи -- логічні задачі -- логічні ігри -- логические игры -- головоломки -- фокусы -- фокуси Анотація: Сборник логических задач автора "Алисы в Стране Чудес" Льюиса Кэрролла. Он в занимательной игровой форме знакомит читателя с оригинальным графическим методом решения силлогизмов и соритов. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Данилов, Ю. А. \пер.\; Осипьян, Ю. А. \ред.\; Буздин, А. И. \ред.\; Абрикосов А. А. \ред.\; Боровик-Романов, А. С. \ред.\ Примірників всього: 1 ЧЗ (1) Свободны: ЧЗ (1) |