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

1.

Логика и компьютер моделирование рассуждений и проверка правильности программ [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. ; науч. ред. Е. Д. Смирнова ; авт. предисл. И. М. Макаров] ; Акад. наук СССР

by Алешина, Наталия Альбертовна | Анисов, Александр Михайлович | Быстров, Петр Иванович | Смирнова, Елена Дмитриевна [edt].

Series: Кибернетика: неограниченные возможности и возможные ограниченияMaterial type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Наука 1990Availability: No items available :

2.

No cover image available

Initia: Актуальные проблемы социальных наук (27-28 апреля 2018 г.) материалы XX Международной конференции молодых ученых [под ред. Ю. Н. Кириленко] ; Нац. исслед. Том. гос. ун-т, Филос. фак.

by Кириленко, Юлия Николаевна [edt] | Томский государственный университет Философский факультет.

Material type: Set

Set; Format: electronic available online remote

Publication details: Томск [б. и.] 2018Online access: Click here to access online Availability: No items available :

3.

No cover image available

Представление знаний в экспертной оболочке технического диагностирования по проблемам пожарной безопасности С. Н. Шварц-Зиндер, С. М. Демидов, Е. В. Усолов

by Шварц-Зиндер, Сергей Николаевич | Демидов, С. М | Усолов, Е. В.

Source: Сопряженные задачи механики реагирующих сред, информатики и экологии : материалы 8-й Всероссийской конференции с участием зарубежных ученых, 18-20 февраля 2009 г.Material type: Article

Article; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Availability: No items available :

4.

Initia: Актуальные проблемы социальных наук (26-27 апреля 2019 г.) Электронный ресурс материалы XXI Международной конференции молодых ученых Нац. исслед. Том. гос. ун-т, Филос. фак. ; под ред. Ю. Н. Кириленко

by Кириленко, Юлия Николаевна [edt] | Томский государственный университет Философский факультет.

Material type: Set

Set; Format: electronic available online remote

Publication details: Томск [б. и.] 2019Other title: Иниция: Актуальные проблемы социальных наук.Online access: Click here to access online Availability: No items available :

5.

Алгебра логики в золотом сечении еще один шаг в область нечетких логик и компьютерного интеллекта А. Н. Наголкин

by Наголкин, Андриан Николаевич.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва МАКС Пресс 2006Availability: No items available :

6.

Информатика. Углубленный уровень: 10-11 классы учебник В. К. Волк.

by Волк В. К. Владимир Константинович.

Series: Общеобразовательный циклEdition: 2-е изд.Material type: Text

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

7.

Initia: Актуальные проблемы социальных наук (23-24 апреля 2021 г.) материалы XXIII Международной конференции молодых ученых Нац. исслед. Том. гос. ун-т, Филос. фак. ; под ред. Ю. Н. Кириленко

by Кириленко, Юлия Николаевна [edt] | Томский государственный университет Философский факультет.

Material type: Set

Set; Format: electronic available online remote

Publication details: Томск [б. и.] 2021Other title: Иниция: Актуальные проблемы социальных наук.Online access: Click here to access online Availability: No items available :

8.

No cover image available

Initia: Актуальные проблемы социальных наук (22-23 апреля 2022 г.) материалы XXIV Международной конференции молодых ученых Нац. исслед. Томский гос. ун-т, Филос. фак. ; под ред. Ю. Н. Овсянниковой

by Овсянникова, Юлия Николаевна [edt] | Томский государственный университет Философский факультет.

Material type: Set

Set; Format: electronic available online remote

Publication details: Томск [б. и.] 2022Online access: Click here to access online Availability: No items available :

9.

No cover image available

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

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

Material type: Text

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

10.

XXI век: будущее России в философском измерении Материалы Второго Российского философского конгресса (7-11 июня 1999 г. ): В 4 т. Редкол. конгресса: А. В. Гайда и др. ; Рос. фил. об-во; Уральский гос. ун-т им. А. М. Горького; Ин-т фил. и права УрО РАН; Ин-т фил. РАН; Ин-т человека РАН; Адм. Губернатора Свердл. обл. Т. 1. ч. 1

by Гайда, Анатолий Войцехович [ред.] | Российский философский конгресс 2 1999 Екатеринбург.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Екатеринбург Издательство Уральского университета 1999Other title: Онтология, гносеология и методология науки, логика.Availability: No items available :

11.

No cover image available

Initia: Актуальные проблемы социальных наук (21-22 апреля 2017 г.) XIX Международная конференция молодых ученых [под ред. Ю. Н. Кириленко] ; Нац. исслед. Том. гос. ун-т, Филос. фак.

by Кириленко, Юлия Николаевна [edt] | Томский государственный университет Философский факультет.

Material type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2017Online access: Click here to access online Availability: No items available :

12.

Initia: Актуальные проблемы социальных наук (24–25 апреля 2020 г.) Электронный ресурс материалы XXII Международной конференции молодых ученых Нац. исслед. Том. гос. ун-т, Филос. фак. ; под ред. Ю. Н. Кириленко

by Кириленко, Юлия Николаевна [edt] | Томский государственный университет Философский факультет.

Material type: Set

Set; Format: electronic available online remote

Publication details: Томск [и др.] Перо 2020Other title: Иниция: Актуальные проблемы социальных наук.Online access: Click here to access online Availability: No items available :

13.

No cover image available

Initia: Актуальные проблемы социальных наук (24-25 апреля 2015 г.) XVII Международная конференция молодых ученых [под ред. Ю. Н. Кириленко] ; Нац. исслед. Том. гос. ун-т, Филос. фак.

by Кириленко, Юлия Николаевна [edt] | Томский государственный университет Философский факультет.

Material type: Text

Text; Format: electronic available online remote

; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 2016Other title: Иниция: Актуальные проблемы социальных наук.Online access: Click here to access online Availability: No items available :

14.

Теория алгоритмов. Введение в сложность вычислений учебное пособие В. Н. Крупский.

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 :

15.

Информатика учебное пособие В. К. Волк.

by Волк В. К. Владимир Константинович.

Series: Профессиональное образованиеEdition: 2-е изд.Material type: Text

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

16.

Справочное руководство по основам информатики и вычислительной техники Я. Л. Шрайберг, М. В. Гончаров

by Шрайберг, Яков Леонидович, 1952- | Гончаров, Михаил Владимирович.

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Финансы и статистика [и др.] 1990Availability: No items available :

17.

Информатика и математика для юристов учебник для бакалавров : [для студентов вузов, обучающихся по юридическим специальностям А. М. Попов, В. Н. Сотников, Е. И. Нагаев, М. Л. Акимов] ; под ред. А. М. Попова

by Попов, Александр Михайлович доктор техн. наук, 1960- | Сотников, Валерий Николаевич | Нагаева, Елена Игоревна | Акимов, Михаил Львович.

Series: БакалаврEdition: 2-е изд., перераб. и доп.Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Юрайт 2012Availability: No items available :

18.

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

by Соболева, Татьяна Сергеевна | Чечкин, Александр Витальевич.

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

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

19.

Философия математики и технических наук учебное пособие для [студентов, соискателей и аспирантов технических] вузов [С. А. Лебедев, А. Д. Гетманова, А. А. Григорян и др.] ; под общ. ред. С. А. Лебедева

by Лебедев, Сергей Александрович философ, 1940- | Гетманова, Александра Денисовна | Григорян, Александр Аркадьевич.

Series: GaudeamusMaterial type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. Академический проект 2006Other title: Philosophy of mathematics and technics.Availability: No items available :

20.

История математики. Эволюция математических идей Кн. 3 [в 3 кн.] С. Я. Серовайский

by Серовайский, Семен Яковлевич.

Material type: Text

Text; Format: print ; Literary form: Not fiction Publication details: Москва Ленанд 2019Other title: Вычислительная математика. Теория вероятностей. Информатика. Математическая логика.Availability: No items available :

21.

Информатика. Базовый уровень. 10-11 классы учебник М. В. Гаврилов, В. А. Климов.

by Гаврилов М. В. Михаил Викторович | Климов В. А. Владимир Александрович.

Series: Общеобразовательный циклEdition: 5-е изд. пер. и доп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 :

22.

Информатика и математика учебник и практикум для прикладного бакалавриата : [для вузов по широкому кругу направлений и специальностей] А. М. Попов, В. Н. Сотников, Е. И. Нагаева ; под ред. А. М. Попова

by Попов, Александр Михайлович доктор техн. наук, 1960- | Сотников, Валерий Николаевич | Нагаева, Елена Игоревна.

Series: БакалаврEdition: 3-е изд., перераб. и доп.Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Юрайт 2015Availability: No items available :

23.

Научно-исследовательский институт математики и механики имени Н. Г. Чеботарева, 1993-1997 [сборник] Казан. гос. ун-т, Отд-ние математики Рос. акад. наук ; [науч. ред. А. М. Елизаров, С. А. Кузнецов]

by Елизаров, Александр Михайлович [edt] | Кузнецов, Сергей Аркадьевич [edt] | Казанский государственный университет им. В. И. Ульянова-Ленина.

Material type: Text

Text; Format: print ; Nature of contents: biography

; Literary form: Not fiction ; Audience: Specialized; Publication details: Казань Казан. мат. о-во ДАС 1998Availability: No items available :

24.

Дискретная математика учебник : [для студентов вузов по направлениям подготовки 230100 "Информатика и вычислительная техника", 090900 "Информационная безопасность", 230700 "Прикладная информатика", 210700 "Инфокоммуникационные технологии" (квалификация "бакалавр")] Т. С. Соболева, А. В. Чечкин ; под ред. А. В. Чечкина

by Соболева, Татьяна Сергеевна | Чечкин, Александр Витальевич.

Series: Университетский учебник | Высшее образованиеEdition: 3-е изд., перераб.Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Академия 2014Availability: No items available :

25.

Теоретический минимум по Computer Science все, что нужно программисту и разработчику Владстон Феррейра Фило

by Фило, Владстон Феррейра.

Series: Библиотека программистаMaterial type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Санкт-Петербург [и др.] Питер 2022Other title: Computer science distilled.Availability: No items available :

26.

No cover image available

Initia: Актуальные проблемы социальных наук (25–26 апреля 2014 г.) материалы XVI Международной конференции молодых ученых под ред. Ю. Н. Кириленко ; Нац. исслед. Том. гос. ун-т, Филос. фак.

by Кириленко, Юлия Николаевна [edt] | Томский государственный университет Философский факультет.

Material type: Set

Set; Format: electronic available online remote

Publication details: Томск Издательский Дом Томского государственного университета 2016Other title: Иниция: Актуальные проблемы социальных наук.Online access: Click here to access online Availability: No items available :

27.

Математика текстов А. Л. Семенов

by Семенов, Алексей Львович.

Series: Библиотека "Математическое просвещение"Material type: Text

Text; Format: print Publication details: М. Изд-во Моск. центра непрерыв. мат. образования 2002Availability: No items available :

28.

Информатика [тесты, задания, лучшие методики] В. А. Молодцов, Н. Б. Рыжикова

by Молодцов, В. А | Рыжикова, Н. Б.

Series: ЕГЭ - это очень просто!Edition: Изд. 4-е, доп. и перераб.Material type: Text

Text; Format: print ; Literary form: Not fiction Availability: No items available :

29.

Математика энциклопедия [гл. ред. Ю. В. Прохоров и др.]

by Прохоров, Юрий Васильевич, 1929- [edt].

Series: Золотой фондEdition: Репринтное изд. "Математического энциклопедического словаря" 1988 г.Material type: Text

Text; Format: print ; Nature of contents: biography

; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Большая российская энциклопедия 2003Availability: No items available :

30.

Информационные технологии в юридической деятельности учебник и практикум Т. М. Беляева, А. Т. Кудинов, Н. В. Пальянова, С. Г. Чубукова ; ответственный редактор С. Г. Чубукова.

by Беляева Т. М. Татьяна Михайловна | Кудинов А. Т. Александр Тимофеевич | Пальянова Н. В. Наталия Витальевна.

Series: Профессиональное образованиеEdition: 3-е изд. пер. и доп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 :

31.

Информатика и математика для юристов [учебник для вузов по специальности 030501 "Юриспруденция"] А. М. Попов, В. Н. Сотников, Е. И. Нагаева ; под ред. А. М. Попова

by Попов, Александр Михайлович доктор техн. наук, 1960- | Сотников, Валерий Николаевич | Нагаева, Елена Игоревна.

Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. ЮНИТИ-ДАНА 2009Availability: No items available :

32.

Информатика для гуманитариев учебник и практикум Г. Е. Кедрова [и др.].

Series: Профессиональное образованиеEdition: 3-е изд. пер. и доп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 :

33.

Теория графов. Среда MaXIma учебное пособие Г. А. Клековкин.

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 :

34.

Математика и информатика для гуманитариев учебник : [для вузов, обучающихся по гуманитарным специальностям] С. Ю. Жолков

by Жолков, Сергей Юрьевич.

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

Text; Format: print Language: Russian Publication details: М. Альфа-М [и др.] 2005Availability: No items available :

35.

No cover image available

Доклады IV Всероссийской конференции с международным участием "Новые информационные технологии в исследовании сложных структур" и Сибирской научной школы-семинара "Проблемы компьютерной безопасности", (Томск, ТГУ, 10-13 сентября 2002 г. ) [Гл. ред. Г. В. Майер; Отв. за вып. В. З. Башкатов]

by "Новые информационные технологии в исследовании сложных структур", всероссийская конференция с международным участием 4 2002 Томск | Майер, Георгий Владимирович, 1948- [edt] | Башкатов, Виктор Захарович, 1935-2013 [mon] | Томский государственный университет | "Проблемы компьютерной безопасности", Сибирская научная школа-семинар 2002 Томск.

Series: Вестник Томского государственного университета. ПриложениеMaterial type: Set

Set Language: Russian, English Publication details: Томск Издательство Томского государственного университета [2002]Other title: Материалы научных конференций, симпозиумов, школ, проводимых в ТГУ.Availability: No items available :

36.

Дискретная математика и теория графов учебное пособие Б. Н. Иванов.

by Иванов Б. Н. Борис Николаевич.

Series: Высшее образование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 :

37.

Информатика учебник В. А. Каймин

by Каймин, Виталий Адольфович.

Material type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. Проспект 2008Availability: No items available :

38.

Практикум по основам современной информатики Кудинов Ю. И.,Пащенко Ф. Ф.,Келина А. Ю.

by Кудинов Ю. И | Пащенко Ф. Ф | Келина А. Ю.

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 :

39.

Избранные труды Т. 2 А. А. Марков ; сост. и общ. ред. Н. М. Нагорного

by Марков, Андрей Андреевич младший, 1903-1979 | Нагорный, Николай Макарович [com, edt].

Material type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Изд-во МЦНМО 2003Other title: Теория алгоритмов и конструктивная математика, математическая логика, информатика и смежные вопросы.Availability: No items available :

40.

Математика и информатика [учебное пособие для вузов по гуманитарным направлениям и специальностям] В. Я. Турецкий ; М-во образования Рос. Федерации, Урал. гос. ун-т

by Турецкий, Владимир Яковлевич.

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

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. ИНФРА-М 2006Availability: No items available :

41.

Информатика учебник : [для студентов вузов, обучающихся по естественно-научным направлениям и специальностям] В. А. Каймин

by Каймин, Виталий Адольфович.

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

Text; Format: print ; Literary form: Not fiction Publication details: Москва ИНФРА-М 2012Availability: No items available :

42.

Информатика учебник [для студентов вузов, обучающихся по естественно-научным направлениям и специальностям] В. А. Каймин

by Каймин, Виталий Адольфович.

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

Text; Format: print ; Literary form: Not fiction Publication details: М. ИНФРА-М 2010Availability: No items available :

43.

Информатика учебник : [для студентов вузов, обучающихся по естественно-научным направлениям и специальностям] В. А. Каймин

by Каймин, Виталий Адольфович.

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

Text; Format: print ; Literary form: Not fiction Publication details: Москва ИНФРА-М 2005Availability: No items available :

44.

Библиотека, библиография, документация избранные труды пионера информатики : [пер. с англ. и фр. ] Поль Отле ; [вступ. ст. У. Б. Рейворда, с. 17-46 ; предисл. и коммент. Р. С. Гиляровского]

by Отле, Поль, 1868-1944.

Series: Специальный издательский проект для библиотекMaterial type: Text

Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Original language: English Publication details: Москва Фаир-Пресс [и др.] 2004Availability: No items available :

45.

Информатика учебник [для студентов вузов, обучающихся по естественно-научным направлениям и специальностям] В. А. Каймин

by Каймин, Виталий Адольфович.

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

Text; Format: print ; Literary form: Not fiction Publication details: М. ИНФРА-М 2006Availability: No items available :

46.

Теоретические основы информатики для бакалавров и специалистов : [учебное пособие по дисциплине "Информатика" для студентов высших учебных заведений] А. А. Забуга

by Забуга, Александр Александрович.

Series: Учебное пособие | Стандарт третьего поколенияMaterial type: Text

Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Санкт-Петербург [и др.] Питер 2014Availability: No items available :

47.

No cover image available

Гуманитарная информатика Вып. 2 [сборник статей] Федер. агентство по образованию РФ, Том. гос. ун-т ; под ред. Г. В. Можаевой

by Можаева, Галина Васильевна, 1966- [edt] | Томский государственный университет.

Material type: Set