Scientific Library of Tomsk State University

   E-catalog        

Refine your search


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

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

    • Your search returned 115 results.

    51.
    Дискретная математика для программистов [учебное пособие для вузов по направлению "Прикладная математика" Р. Хаггарти ; пер. с англ. под ред. С. А. Кулешова, с доп. А. А. Ковалева [и др.]

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

    Series: Мир программированияMaterial type: Text Text; Format: print Language: Russian Original language: English Publication details: Москва Техносфера 2005Availability: No items available :
    Log in to add tags Add to cart
    52.
    Современная логика [учебное пособие для вузов по специальности 540400 (050400) "Социально-экономическое образование"] В. А. Светлов

    by Светлов, Виктор Александрович, 1945-.

    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
    53.
    54.
    Дискретная математика учебное пособие для студентов вузов В. В. Куликов

    by Куликов, Валерий Васильевич математик.

    Series: Высшее образованиеMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: М. РИОР 2007Availability: No items available :
    Log in to add tags Add to cart
    55.
    Математическая логика курс лекций : [учебное пособие для студентов вузов по специальности 032100 "Математика"] И. Л. Тимофеева

    by Тимофеева, Ирина Леонидовна.

    Edition: 2-е изд., перераб.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва КДУ 2007Availability: No items available :
    Log in to add tags Add to cart
    56.
    57.
    Логика и компьютер моделирование рассуждений и проверка правильности программ [Н. А. Алешина, А. М. Анисов, П. И. Быстров и др. ; науч. ред. Е. Д. Смирнова ; авт. предисл. И. М. Макаров] ; Акад. наук СССР

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

    Series: Кибернетика: неограниченные возможности и возможные ограничения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
    58.
    59.
    Einstieg in die mathematische Logik Gert Boehme

    by Boehme, Gert.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Muenchen Wien Hanser Verlag 1981Availability: No items available :
    Log in to add tags Add to cart
    60.
    Задачи по теории множеств, математической логике и теории алгоритмов И. А. Лавров, Л. Л. Максимова

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

    Edition: 5-е изд.Material type: Text Text; Format: print Publication details: Москва Физматлит [и др.] 2002Availability: No items available :
    Log in to add tags Add to cart
    61.
    Основы дискретной математики [учебное пособие для студентов вузов, обучающихся по направлению "Экономика"] В. А. Осипова

    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
    62.
    No cover image available
    Ученые записки Тверского государственного университета Т. 6 Сборник научных трудов Редкол. : И. П. Горелов (отв. ред. ); Тверской гос. ун-т

    by Тверской государственный университет | Горелов, Игорь Павлович [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
    63.
    Логика Традиционная логика. Логика высказываний. Логика предикатов: Учебное пособие для вузов Ю. П. Попов

    by Попов, Юрий Петрович философ.

    Series: Философская библиотека ДВГУMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Владивосток Издательство Дальневосточного университета 1998Availability: No items available :
    Log in to add tags Add to cart
    64.
    Логика учебник : [для студентов вузов по специальностям 020100 "Философия", 021100 "Юриспруденция"] Ю. В. Ивлев ; Моск. гос. ун-т им. М. В. Ломоносова

    by Ивлев, Юрий Васильевич, 1936-.

    Edition: Изд. 4-е, перераб. и доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Проспект 2016Availability: No items available :
    Log in to add tags Add to cart
    65.
    Логика учебник для бакалавров [С. С. Гусев, Э. Ф. Караваев, Г. В. Карпов и др.] ; под ред. А. И. Мигунова, И. Б. Микиртумова, Б. И. Федорова

    by Гусев, Станислав Сергеевич, 1939- | Караваев, Эдуард Федорович | Карпов, Глеб Викторович | Мигунов, Анатолий Иванович [edt] | Микиртумов, Иван Борисович [edt] | Федоров, Борис Иванович [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Проспект 2016Availability: No items available :
    Log in to add tags Add to cart
    66.
    67.
    Дискретная математика для программистов Учебное пособие для вузов по направлению "Прикладная математика" Р. Хаггарти; Пер. с англ. под ред. С. А. Кулешова с доп. А. А. Ковалева

    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
    68.
    69.
    Квазиматричная (квазифункциональная) логика Ю. В. Ивлев ; Моск. гос. ун-т им. М. В. Ломоносова

    by Ивлев, Юрий Васильевич, 1936-.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Москва Издательство Московского университета 2018Availability: No items available :
    Log in to add tags Add to cart
    70.
    71.
    Лекции по дискретной математике учебное пособие М. И. Дехтярь

    by Дехтярь, Михаил Иосифович.

    Series: Основы информационных технологийMaterial type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Интернет-Ун-т информ. технологий [и др.] 2009Availability: No items available :
    Log in to add tags Add to cart
    72.
    No cover image available
    Элементы математической логики и теории множеств [учебное пособие для математических специальностей вузов]

    by Вольвачев, Раймонд Трофимович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Минск Университетское 1986Availability: No items available :
    Log in to add tags Add to cart
    73.
    No cover image available
    Теория алгоритмов [учебное пособие для студентов математических направлений и специальностей университетов] В. М. Зюзьков ; Том. гос. ун-т

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

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Томск Издательство Томского университета 2005Availability: No items available :
    Log in to add tags Add to cart
    74.
    75.
    Математическая логика дополнительные главы : [учебное пособие для студентов математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; Моск. гос. ун-т им. М. В. Ломоносова ; [редкол.: с. Г. Е. Минц (отв. ред.) и др.]

    by Колмогоров, Андрей Николаевич, 1903-1987 | Драгалин, Альберт Григорьевич, 1941-1998 | Минц, Г. Е [edt].

    Series: Классический университетский учебникEdition: Изд. 4-е, обновл.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Едиториал УРСС 2013Availability: No items available :
    Log in to add tags Add to cart
    76.
    Дискретная математика учебник и практикум для академического бакалавриата : [для студентов вузов по естественнонаучным направлениям и специальностям] С. Б. Гашков, А. Б. Фролов

    by Гашков, Сергей Борисович | Фролов, Александр Борисович.

    Series: БакалаврMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: Москва Юрайт 2016Availability: No items available :
    Log in to add tags Add to cart
    77.
    Математическая логика [учебное пособие для математических специальностей вузов] А. Н. Колмогоров, А. Г. Драгалин ; [отв. ред. Г. Е. Минц] ; Моск. гос. ун-т им. М. В. Ломоносова

    by Колмогоров, Андрей Николаевич, 1903-1987 | Драгалин, Альберт Григорьевич, 1941-1998 | Минц, Г. Е [edt].

    Series: Классический университетский учебникEdition: Изд. 2-е, стер.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва УРСС 2005Availability: No items available :
    Log in to add tags Add to cart
    78.
    No cover image available
    Экономическая информатика и ВТ Электронный ресурс Ч. 2 [Мультимедиа курс] Б. С. Лещинский; Том. гос. ун-т, Ин-т дистанционного образования

    by Лещинский, Борис Семенович | Томский государственный университет Институт дистанционного образования.

    Material type: Computer file Computer file; Format: electronic optical disc Publication details: Томск ИДО ТГУ 2000Availability: No items available :
    Log in to add tags Add to cart
    79.
    Теория моделей в Казахстане сборник научных работ, посвященный памяти А. Д. Тайманова под ред. М. М. Еримбетова

    by Еримбетов, Мырзахан Мырзахметович [edt].

    Material type: Text Text; Format: print ; Nature of contents: festschrift biography; Literary form: Not fiction ; Audience: Specialized; Publication details: Алматы Eco Study 2006Availability: No items available :
    Log in to add tags Add to cart
    80.
    The languages of logic an introduction to formal logic Samuel Guttenplan

    by Guttenplan, Samuel.

    Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Malden [a. o.] Blackwell Publishing 1997Availability: No items available :
    Log in to add tags Add to cart
    81.
    No cover image available
    Элементы математической логики и теории множеств Ю. Е. Пензов

    by Пензов, Юрий Ефимович.

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Саратов Изд-во Саратовского университета 1968Availability: No items available :
    Log in to add tags Add to cart
    82.
    Логика традиционная и современная учебник А. Е. Конверский ; пер. с укр. яз. Е. Е. Ледникова ; Киевский нац. ун-т им. Тараса Шевченко

    by Конверский, Анатолий Евгеньевич.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: Ukrainian Publication details: Москва Идея-Пресс 2010Other title: Логiка традицiйна та сучасна.Availability: No items available :
    Log in to add tags Add to cart
    83.
    Математика для абитуриентов и студентов справочник : полный курс задач и упражнений Куринной Г. Ч.

    by Куринной, Григорий Чарльзович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. [и др.] АСТ [и др.] 2000Availability: No items available :
    Log in to add tags Add to cart
    84.
    Конструктивная теория доказательств и нестандатрный анализ А. Г. Драгалин; [Редкол. : Г. Е. Минц (отв. ред. ) и др. ]

    by Драгалин, Альберт Григорьевич, 1941-1998 | Минц, Г. Е [edt].

    Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: М. Едиториал УРСС 2003Availability: No items available :
    Log in to add tags Add to cart
    85.
    Дискретная математика Логика, группы, графы О. Е. Акимов

    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
    86.
    Обработка знаний С. Осуга; Перевод с яп. В. И. Этова

    by Осуга, Сэцуо | Этов, В. И [переводчик].

    Material type: Text Text; Format: print Publication details: М. Мир 1989Availability: No items available :
    Log in to add tags Add to cart
    87.
    No cover image available
    Имитационно-лингвистические алгоритмы анализа и обработки структурной информации диссертация на соискание ученой степени кандидата технических наук : 05.13.16 Салмина Нина Юрьевна ; науч. рук.: Полищук Ю. М., Ходашинский И. А. ; Том. ин-т автомат. систем управления и радиоэлектроники

    by Салмина, Нина Юрьевна | Полищук, Юрий Михайлович [ths] | Ходашинский, Илья Александрович [ths] | Томский институт автоматизированных систем управления и радиоэлектроники.

    Material type: Text Text; Format: electronic available online remote; Literary form: Not fiction ; Audience: Specialized; Publication details: Томск [б. и.] 1991Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    88.
    Философия математики. Основные программы обоснования математики ХХ столетия [учебное пособие для студентов вузов по направлению 540400 (050400) "Социально-экономическое образование" Светлов В. А.

    by Светлов, Виктор Александрович, 1945-.

    Edition: Изд. 2-еMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Language: Russian Publication details: Москва [КомКнига] 2010Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart
    89.
    Логические основы проектирования дискретных устройств А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова

    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
    90.
    Лекции по дискретной математике [учебное пособие Ю. В. Капитонова, С. Л. Кривой, А. А. Летичевский, Г. М. Луцкий]

    by Капитонова, Юлия Владимировна | Кривой, Сергей Лукьянович | Летичевский, Александр Адольфович | Луцкий, Георгий Михайлович.

    Material type: Text Text; Format: print Language: Russian Publication details: СПб. БХВ-Петербург 2004Availability: No items available :
    Log in to add tags Add to cart
    91.
    92.
    Logic for computer scientists Uwe Schoening

    by Schoening, Uwe, 1955-.

    Series: Progress in computer science and applied logic / ed. by John C. Cherniavsky [a. o.]Material type: Text Text; Format: print ; Literary form: Not fiction ; Audience: Specialized; Publication details: Boston [a. o.] Birkhaeuser 2001Availability: No items available :
    Log in to add tags Add to cart
    93.
    Логика экзаменационные ответы для студентов вузов В. А. Светлов

    by Светлов, Виктор Александрович, 1945-.

    Series: Завтра экзаменMaterial type: Text Text; Format: print ; Literary form: Not fiction Publication details: СПб. [и др.] Питер 2006Availability: No items available :
    Log in to add tags Add to cart
    94.
    Упражнения по логике сборник [Э. Ф. Караваев, В. И. Кобзарь, С. И. Ладушкин и др.] ; под ред. Л. Г. Тоноян

    by Тоноян, Лариса Грачиковна [edt] | Караваев, Эдуард Федорович | Кобзарь, Владимир Иванович, 1938- | Ладушкин, Сергей Иванович.

    Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Publication details: Москва Проспект 2016Availability: No items available :
    Log in to add tags Add to cart
    95.
    Дискретная математика для программистов [учебное пособие для вузов по направлению "Прикладная математика"] Р. Хаггарти ; пер. с англ. под ред. С. А. Кулешова, с доп. А. А. Ковалева [и др.]

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

    Series: Мир программированияEdition: Изд. 2-е, испр.Material type: Text Text; Format: print ; Literary form: Not fiction Language: Russian Original language: English Publication details: Москва Техносфера 2014Availability: No items available :
    Log in to add tags Add to cart
    96.
    Математическая логика и теория алгоритмов [учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] А. К. Гуц

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

    Edition: Изд. 3-е, испр.Material type: Text Text; Format: print ; Nature of contents: biography; Literary form: Not fiction Publication details: Москва Ленанд 2016Availability: No items available :
    Log in to add tags Add to cart
    97.
    Дискретная математика логика, группы, графы О. Е. Акимов

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

    Series: Технический университетEdition: Изд. 2-е, доп.Material type: Text Text; Format: print ; Literary form: Not fiction Publication details: М. Лаборатория Базовых Знаний 2003Availability: No items available :
    Log in to add tags Add to cart
    98.
    Дискретная математика для инженера Электронный ресурс О. П. Кузнецов

    by Кузнецов, Олег Петрович.

    Series: Учебники для вузовEdition: Изд. 6-е, стер.Material type: Text Text; Format: electronic available online remote Language: Russian Publication details: Санкт-Петербург [и др.] Лань 2009Online access: ЭБС Лань Доступ к полному тексту документа после регистрации пользователя на сайте http://e.lanbook.com/ в локальной сети ТГУ Availability: No items available :
    Log in to add tags Add to cart
    99.
    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 :
    Log in to add tags Add to cart
    100.
    No cover image available
    О вымышленных дискурсах и квантификации: Г. Л. А. Харт и П. Ф. Стросон В. В. Оглезнев

    by Оглезнев, Виталий Васильевич, 1982- | Томский государственный университет Филиалы ТГУ Филиал в г. Юрге.

    Source: Вестник Новосибирского государственного университета. Серия : ФилософияMaterial type: Article Article; Format: electronic available online remote Online access: Click here to access online Availability: No items available :
    Log in to add tags Add to cart