Научная библиотека ТГУ catalog › Results of search for 'su:"логика"'

1.

Русская логика-это очень просто! Владимир Лобанов

by Лобанов, Владимир Иванович.

Edition: 1-е изд.Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. Русская Правда 2006Availability: No items available :

2.

Математическая логика [Учебное пособие для математических специальностей педагогических институтов] Л. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; Под общ. ред. А. А. Столяра

by Столяр, Абрам Аронович [авт.-ред.] | Латотин, Леонид Александрович | Макаренков, Юрий Алексеевич | Николаева, Валентина Владимировна.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Минск Вышэйшая школа 1991Availability: No items available :

3.

Алгебраические и логические конструкции Сборник научных трудов Отв. ред. Ю. М. Горчаков; Тверской гос. ун-т

by Горчаков, Юрий Михайлович [отв.ред.].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Тверь 1994Availability: No items available :

4.

No cover image available

Лекции по математической логике Учебное пособие для студентов математических специальностей вузов В. А. Мощенский

by Мощенский, Владимир Андреевич.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Минск Издательство БГУ им. В. И. Ленина 1973Availability: No items available :

5.

Математические основы информатики Пособие для студентов специальности G 31 03 04 "Информатика" А. В. Мощенский, В. А. Мощенский

by Мощенский, Андрей Владимирович | Мощенский, Владимир Андреевич.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Минск БГУ 2002Availability: No items available :

6.

No cover image available

Методики испытания алгоритмов на основе нечеткой логики Н. С. Черкашин, С. О. Сапрунов, А. А. Погуда

by Черкашин, Никита Сергеевич | Сапрунов, Сергей Олегович | Погуда, Алексей Андреевич.

Source: Инноватика-2023 : сборник материалов XIX Международной школы-конференции студентов, аспирантов и молодых ученых, 21-22 апреля 2023 г., г. Томск, РоссияMaterial type: Article

Article; Format: electronic available online remote

; Literary form: Not fiction ; Audience: Specialized; Other title: Fuzzy logic algorithms test methods.Online access: Click here to access online Availability: No items available :

7.

No cover image available

Проблемы логики Отв. ред. П. В. Таванец; АН СССР. Ин-т философии

Material type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Академии наук СССР 1963Online access: Click here to access online Availability: No items available :

8.

Дискретная математика Логика, группы, графы О. Е. Акимов

by Акимов, Олег Евгеньевич.

Series: Технический университетMaterial type: Text

Text; Format: print ; Literary form: Not fiction Publication details: М. Лаборатория Базовых Знаний 2001Availability: No items available :

9.

Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories Andrzej Biela

by Biela, Andrzej | Uniwersytet Slaskiego w Katowicach.

Series: Prace Naukowe Uniwersytetu Slaskiego w KatowicachMaterial type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Katowice Wydawnictwo Uniwersytetu Slaskiego 2000Availability: No items available :

10.

Дискретная математика логика, группы, графы О. Е. Акимов

by Акимов, Олег Евгеньевич.

Series: Технический университетEdition: Изд. 2-е, доп.Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: М. Лаборатория Базовых Знаний 2003Availability: No items available :

11.

Анализ алгоритмов. Активный обучающий подход [учебное пособие по направлению подготовки специалистов "Информатика и вычислительная техника"] Дж. Макконнелл ; пер. с англ. С. А. Кулешова под ред. С. К. Ландо

by Макконнелл, Джеффри Дж | Ландо, Сергей Константинович, 1955- [edt].

Series: Мир программированияEdition: 3-е доп. изд.Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Техносфера 2018Availability: No items available :

12.

No cover image available

Конспект лекций О. Б. Лупанова по курсу "Введение в математическую логику" Электронный ресурс [учебное пособие для студентов и аспирантов] Моск. гос. ун-т им. М. В. Ломоносова, Механико-математ. фак. ; [отв. ред. А. Б. Угольников]

by Лупанов, Олег Борисович | Угольников, Александр Борисович [edt].

Material type: Text

Text; Format: print available online remote

; Literary form: Not fiction Publication details: Москва Издательство ЦПИ при механико-математическом факультете МГУ им. М. В. Ломоносова 2007Online access: Click here to access online Availability: No items available :

13.

No cover image available

Алгоритмы и рекурсивные функции А. И. Мальцев

by Мальцев, Анатолий Иванович, 1909-1967.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1965Availability: No items available :

14.

No cover image available

Алгоритмы и рекурсивные функции А. И. Мальцев

by Мальцев, Анатолий Иванович, 1909-1967.

Edition: 2-е изд.Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1986Availability: No items available :

15.

Математическая логика и теория алгоритмов Электронный ресурс учебное пособие : [для курса "Математическая логика и теория алгоритмов" направлений подготовки бакалавров "Информатика и вычислительная техника" и "Управление в технических системах"] В. М. Зюзьков ; ТУСУР

by Зюзьков, Валентин Михайлович | Томский государственный университет систем управления и радиоэлектроники.

Material type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Publication details: Томск Эль Контент 2015Online access: Click here to access online Availability: No items available :

16.

Дискретная математика Логика, группы, графы О. Е. Акимов

by Акимов, Олег Евгеньевич.

Series: Технический университетEdition: 2-е изд., доп.Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: М. Лаборатория Базовых Знаний 2001Availability: No items available :

17.

Основы дискретной математики [учебное пособие для студентов вузов, обучающихся по направлению "Экономика"] В. А. Осипова

by Осипова, Виктория Аркадьевна.

Series: Высшее образованиеMaterial type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Самара Форум [и др.] 2006Availability: No items available :

18.

Дискретная математика [учебник по направлениям подготовки "Информатика и вычислительная техника", "Информационные системы", "Информационная безопасность"] С. Н. Поздняков, С. В. Рыбин

by Поздняков, Сергей Николаевич | Рыбин, Сергей Витальевич.

Series: Высшее профессиональное образованиеMaterial type: Text

Text; Format: print ; Literary form: Short stories Language: Russian Publication details: М. Академия 2008Availability: No items available :

19.

Математическая логика Курс лекций. Задачник-практикум и решения Л. М. Лихтарников, Т. Г. Сукачева

by Лихтарников, Леонид Моисеевич | Сукачева, Тамара Геннадьевна.

Series: Учебники для вузовMaterial type: Text

Text; Format: print ; Literary form: Not fiction Publication details: СПб. Лань 1999Availability: No items available :

20.

Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

by Гуц, Александр Константинович, 1947-.

Edition: Изд. 3-е, испр.Material type: Text

Text; Format: print ; Nature of contents: biography

; Literary form: Not fiction Publication details: Москва Ленанд 2016Availability: No items available :

21.

Дискретная математика для инженера Кузнецов О. П.

by Кузнецов О. П.

Edition: 6-е изд., стер.Material type: Text

Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online | Click here to access online Availability: No items available :

22.

Математическая логика и теория алгоритмов А. К. Гуц

by Гуц, Александр Константинович, 1947-.

Edition: Изд. 2-е, доп.Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :

23.

No cover image available

Введение в математическую логику Э. Мендельсон; пер. с англ. Ф. А. Кабакова; под ред. С. И. Адяна

by Мендельсон, Эллиот | Адян, Сергей Иванович, 1931- [edt].

Material type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Наука, Физматлит 1971Online access: Click here to access online Availability: No items available :

24.

No cover image available

Автоматизация синтеза дискретных автоматов [сборник статей] Том. гос. ун-т им. В. В. Куйбышева, Проблемная лаб. счетно-решающих устройств, Каф. электронной вычислит. техники и автоматики ; [под общ. ред. А. Д. Закревского]

by Закревский, Аркадий Дмитриевич, 1928-2014 [edt] | Сибирский физико-технический институт им. В. Д. Кузнецова (Томск) | Томский государственный университет.

Series: Труды Сибирского физико-технического института при Томском государственном университетеMaterial type: Set

Set; Format: electronic available online remote

Publication details: Томск Издательство Томского университета 1966Online access: Click here to access online Availability: No items available :

25.

Математическая логика и теория алгоритмов Учебное пособие для студентов физико-математических специальностей педагогических институтов В. И. Игошин

by Игошин, Владимир Иванович.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Саратов Изд-во Саратовского университета 1991Availability: No items available :

26.

No cover image available

Реализация обратного метода установления выводимости для модальной логики КТ Диссертация на соискание ученой степени кандидата физико-математических наук. 05.13.01 Бурлуцкий В В. ; Науч. рук. Новосельцев В. Б. ; Томский гос. ун-т

by Бурлуцкий, Владимир Владимирович | Новосельцев, Виталий Борисович [науч. рук.] | Томский государственный университет.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск б. и. 2001Availability: No items available :

27.

No cover image available

Математические основания информатики Твер. гос. ун-т Ч. 1

by Столбоушкин, А. П | Тайцлин, М. А.

Material type: Text

Text; Format: print Publication details: Тверь 1998Availability: No items available :

28.

Нейроуправление и его приложения Сигеру Омату, Марзуки Халид, Рубия Юсоф; Пер. с англ. Н. В. Батина; Под общ. ред. А. И. Галушкина, В. А. Птичкина

by Омату, Сигеру | Халид, Марзуки | Юсоф, Рубия | Галушкин, Александр Иванович, 1940- [edt] | Птичкин, В. А [edt].

Series: Нейрокомпьютеры и их применениеMaterial type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: М. ИПРЖР 2000Other title: Neuro - Control and its Applications.Availability: No items available :

29.

Трехмерная тензорная математика вычислительных экспериментов в гидромеханике [В. Н. Храмушин] ; Рос. акад. наук, Дальневост. отд-ние, Спец. конструкт. бюро средств автоматизации мор. исслед.

by Храмушин, Василий Николаевич.

Material type: Text

Text; Format: print ; Audience: Specialized; Language: Russian Publication details: Владивосток ДВО РАН 2005Availability: No items available :

30.

Теория вычислительной сложности учебное пособие : [курс лекций, прочитанный студентам кафедры защиты информации и криптографии по специальности "Компьютерная безопасность"] Г. П. Агибалов ; Том. гос. ун-т

by Агибалов, Геннадий Петрович, 1939-2020 | Томский государственный университет.

Material type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction Publication details: Томск Издательский Дом Томского государственного университета 2018Online access: Click here to access online Availability: No items available :

31.

Математическая логика и теория алгоритмов учебник : [по направлениям 654600 "Информатика и вычислительная техника", 654700 "Информационные системы", 540200 "Физико-математическое образование"] С. В. Судоплатов, Е. В. Овчинникова ; М-во образования и науки Рос. Федерации, Новосиб. гос. техн. ун-т

by Судоплатов, Сергей Владимирович | Овчинникова, Елена Викторовна.

Series: Высшее образованиеMaterial type: Text

Text; Format: print Language: Russian Publication details: Москва [и др.] ИНФРА-М [и др.] 2004Availability: No items available :

32.

Основы разработки алгоритмов учебное пособие Ю. Л. Костюк, И. Л. Фукс

by Костюк, Юрий Леонидович | Фукс, Ирина Львовна.

Series: Элективный курс : информатикаMaterial type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва БИНОМ. Лаборатория знаний 2010Availability: No items available :

33.

Математическая логика. Курс лекций. Задачник-практикум и решения Лихтарников Л. М.,Сукачева Т. Г.

by Лихтарников Л. М | Сукачева Т. Г.

Edition: 4-е изд., стер.Material type: Text

Text; Format: electronic ; Audience: General; Language: Russian Publication details: Санкт-Петербург Лань 2022Online access: Click here to access online | Click here to access online Availability: No items available :

34.

Байесовские сети логико-вероятностный подход А. Л. Тулупьев, С. И. Николенко, А. В. Сироткин ; под общ. ред. Р. М. Юсупова; Рос. акад. наук, С.-Петерб. ин-т информатики и автоматизации

by Тулупьев, Александр Львович | Николенко, Сергей Игоревич | Сироткин, Александр Владимирович | Юсупов, Рафаэль Мидхатович [edt].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Санкт-Петербург Наука, Санкт-Петербургская издательская фирма 2006Other title: Bayesian networks.Availability: No items available :

35.

Методы исследований в менеджменте [учебное пособие для студентов вузов по направлению подготовки "Менеджмент" (квалификация (степень) "магистр"]) М. Л. Кричевский

by Кричевский, Михаил Лейзерович.

Series: МагистратураMaterial type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва Кнорус 2016Availability: No items available :

36.

Структуры и алгоритмы обработки данных учебное пособие : [для студентов, обучающихся по специальностям 230105 "Программное обеспечение вычислительной техники и автоматизированных систем", 230101 "Вычислительные машины, комплексы, системы и сети", 080801 "Прикладная информатика в экономике"] В. Д. Колдаев

by Колдаев, Виктор Дмитриевич.

Series: Высшее образование | Электронно-библиотечная система "Znanium.com"Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва РИОР [и др.] 2014Availability: No items available :

37.

No cover image available

Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: М. Наука. Физматлит 1979Availability: No items available :

38.

Фундаментальные проблемы математики и механики. Математика: Сб. ст. Редкол. : А. Н. Тихонов и др.

Series: Material type: Text

Text; Format: print Publication details: М. Издательство Московского университета 1994Availability: No items available :

39.

No cover image available

Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

by Ершов, Юрий Леонидович, 1940- | Палютин, Евгений Андреевич, 1945-.

Edition: 2-е изд., испр. и доп.Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва Наука, Главная редакция физико-математической литературы 1987Availability: No items available :

40.

No cover image available

Теория синтаксического анализа, перевода и компиляции Т. 1 В 2 т. А. Ахо, Дж. Ульман; Под. ред. В. М. Курочкина; Пер. с англ. В. Н. Агафонова

by Ахо, Альфред В | Ульман, Джеффри Д.

Material type: Text

Text; Format: print ; Audience: Specialized; Language: Russian Original language: English Publication details: М. Мир 1978Other title: Синтаксический анализ.Availability: No items available :

41.

Principles of adaptive filters and self-learning systems Anthony Zaknich

by Zaknich, Anthony.

Series: Advanced textbooks in control and signal processingMaterial type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: London [a. o.] Springer 2005Availability: No items available :

42.

Дискретная математика и математическая логика [учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям] Ю. А. Аляев, С. Ф. Тюрин

by Аляев, Юрий Александрович | Тюрин, Сергей Феофентович.

Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Финансы и статистика 2006Availability: No items available :

43.

Логики Лукасевича и простые числа А. С. Карпенко; Отв. ред. В. К. Финн

by Карпенко, Александр Степанович, 1946- | Финн, Виктор Константинович, 1933- [edt].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 2000Availability: No items available :

44.

Дискретная математика: прикладные задачи и сложность алгоритмов учебник и практикум А. Е. Андреев, А. А. Болотов, К. В. Коляда, А. Б. Фролов.

by Андреев А. Е. Александр Егорович | Болотов А. А. Анатолий Александрович | Коляда К. В. Константин Владимирович | Фролов А. Б. Александр Борисович.

Series: Высшее образованиеEdition: 2-е изд. испр. и допMaterial type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Юрайт 2023Online access: Click here to access online | Click here to access online Availability: No items available :

45.

No cover image available

Основы разработки алгоритмов Электронный ресурс учебное пособие Ю. Л. Костюк, И. Л. Фукс

by Костюк, Юрий Леонидович | Фукс, Ирина Львовна | Томский государственный университет Факультет информатики Кафедра теоретических основ информатики.

Material type: