Scientific Library of Tomsk State University

   E-catalog        

Refine your search


База знаний по целевым капиталам

  •    Эндаумент
       Фандрайзинг
       Нормативные документы

    • Your search returned 96 results.

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

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

    Edition: 1-е изд.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: М. Русская Правда 2006Availability: No items available :
    Log in to add tags Add to cart
    2.
    Математическая логика [Учебное пособие для математических специальностей педагогических институтов] Л. А. Латотин, Ю. А. Макаренков, В. В. Николаева, А. А. Столяр; Под общ. ред. А. А. Столяра

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Вышэйшая школа 1991Availability: No items available :
    Log in to add tags Add to cart
    3.
    Алгебраические и логические конструкции Сборник научных трудов Отв. ред. Ю. М. Горчаков; Тверской гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Тверь 1994Availability: No items available :
    Log in to add tags Add to cart
    4.
    No cover image available
    Лекции по математической логике Учебное пособие для студентов математических специальностей вузов В. А. Мощенский

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Издательство БГУ им. В. И. Ленина 1973Availability: No items available :
    Log in to add tags Add to cart
    5.
    Математические основы информатики Пособие для студентов специальности G 31 03 04 "Информатика" А. В. Мощенский, В. А. Мощенский

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Минск БГУ 2002Availability: No items available :
    Log in to add tags Add to cart
    6.
    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 :
    Log in to add tags Add to cart
    7.
    Дискретная математика Логика, группы, графы О. Е. Акимов

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

    Series: Технический университетMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Лаборатория Базовых Знаний 2001Availability: No items available :
    Log in to add tags Add to cart
    8.
    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 :
    Log in to add tags Add to cart
    9.
    Дискретная математика Логика, группы, графы О. Е. Акимов

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

    Series: Технический университетEdition: 2-е изд., доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Лаборатория Базовых Знаний 2001Availability: No items available :
    Log in to add tags Add to cart
    10.
    Основы дискретной математики [учебное пособие для студентов вузов, обучающихся по направлению "Экономика"] В. А. Осипова

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

    Series: Высшее образованиеMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Самара Форум [и др.] 2006Availability: No items available :
    Log in to add tags Add to cart
    11.
    12.
    Математическая логика Курс лекций. Задачник-практикум и решения Л. М. Лихтарников, Т. Г. Сукачева

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

    Series: Учебники для вузовMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. Лань 1999Availability: No items available :
    Log in to add tags Add to cart
    13.
    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 :
    Log in to add tags Add to cart
    14.
    Математическая логика и теория алгоритмов Учебное пособие для студентов физико-математических специальностей педагогических институтов В. И. Игошин

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Саратов Изд-во Саратовского университета 1991Availability: No items available :
    Log in to add tags Add to cart
    15.
    Математическая логика и теория алгоритмов А. К. Гуц

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

    Edition: Изд. 2-е, доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва ЛИБРОКОМ 2009Availability: No items available :
    Log in to add tags Add to cart
    16.
    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 :
    Log in to add tags Add to cart
    17.
    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 :
    Log in to add tags Add to cart
    18.
    No cover image available
    Математические основания информатики Твер. гос. ун-т Ч. 1

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

    Material type: Text Text; Format: print Publication details: Тверь 1998Availability: No items available :
    Log in to add tags Add to cart
    19.
    Нейроуправление и его приложения Сигеру Омату, Марзуки Халид, Рубия Юсоф; Пер. с англ. Н. В. Батина; Под общ. ред. А. И. Галушкина, В. А. Птичкина

    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 :
    Log in to add tags Add to cart
    20.
    21.
    Основы разработки алгоритмов учебное пособие Ю. Л. Костюк, И. Л. Фукс

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

    Series: Элективный курс : информатикаMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва БИНОМ. Лаборатория знаний 2010Availability: No items available :
    Log in to add tags Add to cart
    22.
    Байесовские сети логико-вероятностный подход А. Л. Тулупьев, С. И. Николенко, А. В. Сироткин ; под общ. ред. Р. М. Юсупова; Рос. акад. наук, С.-Петерб. ин-т информатики и автоматизации

    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 :
    Log in to add tags Add to cart
    23.
    24.
    25.
    Фундаментальные проблемы математики и механики. Математика: Сб. ст. Редкол. : А. Н. Тихонов и др.

    Series: Material type: Text Text; Format: print Publication details: М. Издательство Московского университета 1994Availability: No items available :
    Log in to add tags Add to cart
    26.
    No cover image available
    Математическая логика Учебное пособие для математических специальностей вузов Ю. Л. Ершов, Е. А, Палютин

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Наука. Физматлит 1979Availability: No items available :
    Log in to add tags Add to cart
    27.
    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 :
    Log in to add tags Add to cart
    28.
    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 :
    Log in to add tags Add to cart
    29.
    Дискретная математика и математическая логика [учебник для вузов по специальности "Прикладная информатика (по областям)" и другим экономическим специальностям] Ю. А. Аляев, С. Ф. Тюрин

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Финансы и статистика 2006Availability: No items available :
    Log in to add tags Add to cart
    30.
    Логики Лукасевича и простые числа А. С. Карпенко; Отв. ред. В. К. Финн

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

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 2000Availability: No items available :
    Log in to add tags Add to cart
    31.
    Дискретная математика для программистов [Учебник] Ф. А. Новиков

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

    Material type: Text Text; Format: print Publication details: СПб. [и др. ] Питер 2002Availability: No items available :
    Log in to add tags Add to cart
    32.
    Алгоритмы и структуры данных [ учебное пособие по специальностям: 080801 "Прикладная информатика в экономике", 230105 "Программное обеспечение вычислительной техники и автоматизированных систем"] Л. Г. Гагарина, В. Д. Колдаев

    by Гагарина, Лариса Геннадьевна | Колдаев, Виктор Дмитриевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Финансы и статистика [и др.] 2009Availability: No items available :
    Log in to add tags Add to cart
    33.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

    by Лавров, Игорь Андреевич | Максимова, Лариса Львовна.

    Edition: 5-е изд.Material type: Text Text; Format: print Publication details: Москва Физматлит [и др.] 2002Availability: No items available :
    Log in to add tags Add to cart
    34.
    Дискретная математика учебное пособие для студентов учреждений среднего профессионального образования С. А. Канцедал

    by Канцедал, Сергей Андреевич.

    Series: Профессиональное образованиеMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Форум [и др.] 2011Availability: No items available :
    Log in to add tags Add to cart
    35.
    Прикладная логика С. В. Попов, Н. Л. Брошкова

    by Попов, Сергей Викторович | Брошкова, Наталья Леонидовна.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Физматлит 2011Availability: No items available :
    Log in to add tags Add to cart
    36.
    Логические основы проектирования дискретных устройств А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова

    by Закревский, Аркадий Дмитриевич, 1928-2014 | Поттосин, Юрий Васильевич | Черемисинова, Людмила Дмитриевна.

    Series: Математика. Прикладная математикаMaterial type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Физматлит 2007Availability: No items available :
    Log in to add tags Add to cart
    37.
    No cover image available
    Математическая логика и автоматическое доказательство теорем Ч. Чень, Р. Ли; Перевод с англ. Г. В. Давыдова и др.

    by Чень, Ч | Ли, Р | Маслов, Сергей Юрьевич [edt].

    Series: Математическая логика и основания математикиMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 1983Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    38.
    Вложенные сети Петри: моделирование и анализ распределенных систем с объектной структурой И. А. Ломазова

    by Ломазова, Ирина Александровна.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Научный мир 2004Other title: Nested Petri nets: Modeling and analysis of distributed systems with object structure.Availability: No items available :
    Log in to add tags Add to cart
    39.
    Математика Кн. 1 Учебное пособие для студентов факультетов подготовки учителей начальных классов: В 2 кн. А. П. Тонких

    by Тонких, Александр Павлович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва КДУ 2002Availability: No items available :
    Log in to add tags Add to cart
    40.
    Параллельные логические вычисления посредством арифметических полиномов

    by Малюгин, Владимир Дмитриевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука. Физматлит 1997Availability: No items available :
    Log in to add tags Add to cart
    41.
    Вестник факультета прикладной математики, информатики и механики Вып. 5 [сборник редкол.: В. Г. Задорожний (гл. ред.) и др.]

    by Воронежский государственный университет Факультет прикладной математики, информатики и механики | Задорожний, Владимир Григорьевич [edt].

    Material type: Text Text; Format: print festschrift ; Literary form: Not fiction ; Audience: Specialized; Publication details: Воронеж ВГУ 2005Availability: No items available :
    Log in to add tags Add to cart
    42.
    Программирование искусственного интеллекта в приложениях М. Тим Джонс ; [пер. с англ. Осипов А. И.]

    by Джонс, М. Тим.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. ДМК 2006Other title: Al Application Programming.Availability: No items available :
    Log in to add tags Add to cart
    43.
    Основы микросхемотехники А. Г. Алексенко

    by Алексенко, Андрей Геннадьевич.

    Series: Технический университетEdition: 3-е изд., [перераб. и доп.]Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Лаборатория Базовых Знаний [и др.] 2002Availability: No items available :
    Log in to add tags Add to cart
    44.
    Нейронные сети, генетические алгоритмы и нечеткие системы Д. Рутковская, М. Пилиньский, Л. Рутковский ; пер. с польского И. Д. Рудинского

    by Рутковская, Данута | Пилиньский, Мачей | Рутковский, Лешек.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Горячая линия - Телеком 2007Availability: No items available :
    Log in to add tags Add to cart
    45.
    Математика и информатика для гуманитариев учебник : [для вузов, обучающихся по гуманитарным специальностям] С. Ю. Жолков

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

    Edition: Изд. 2-е, испр. и доп.Material type: Text Text; Format: print Language: Russian Publication details: М. Альфа-М [и др.] 2005Availability: No items available :
    Log in to add tags Add to cart
    46.
    Интеллектуальная квазибиологическая система, Индуктивный автомат Л. Б. Емельянов-Ярославский ; отв. ред. Я. В. Шевелев ; Акад. наук СССР, Ин-т проблем передачи информ.

    by Емельянов-Ярославский, Леонид Борисович | Шевелев, Я. В [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Наука 1990Availability: No items available :
    Log in to add tags Add to cart
    47.
    Управляемое движение мобильных роботов по произвольно ориентированным в пространстве поверхностям В. Г. Градецкий, В. Б. Вешников, С. В. Калиниченко, Л. Н. Кравчук; Рос. акад. наук, Ин-т проблем механики

    by Градецкий, Валерий Георгиевич | Вешников, Валерий Борисович | Калиниченко, Сергей Владимирович | Кравчук, Леонид Никитович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Наука 2001Availability: No items available :
    Log in to add tags Add to cart
    48.
    Введение в состоятельные методы моделирования систем Ч. 2 в 2 ч. : [учебное пособие для вузов по направлению 230400 "Прикладная математика" специальности 230401 "Прикладная математика"] Ф. Ф. Пащенко

    by Пащенко, Федор Федорович.

    Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Language: Russian Publication details: М. Финансы и статистика 2007Other title: Идентификация нелинейных систем.Availability: No items available :
    Log in to add tags Add to cart
    49.
    Дискретная математика для программистов Учебное пособие для вузов по направлению "Прикладная математика" Р. Хаггарти; Пер. с англ. под ред. С. А. Кулешова с доп. А. А. Ковалева

    by Хаггарти, Р | Кулешов, Сергей Алексеевич доктор физ.-мат. наук, 1962- [edt] | Ковалев, Александр Андреевич [edt].

    Series: Мир программированияMaterial type: Text Text; Format: print Language: Russian Original language: English Publication details: Москва Техносфера 2003Availability: No items available :
    Log in to add tags Add to cart
    50.
    О кооперируемых работах НИВЦ МГУ и БУВЦ [сборник статей] МГУ им. М. В. Ломоносова, Н.-и. вычисл. центр, Будапешт. унив. вычисл. центр ; под ред. В. М. Репина, В. А. Морозова

    by Репин, Владимир Михайлович [edt] | Морозов, Владимир Алексеевич [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Language: Russian Publication details: Москва Издательство Московского университета 1990Availability: No items available :
    Log in to add tags Add to cart