Каталоги - НБУВ Національна бібліотека України імені В. І. Вернадського

Простий
пошук

Розширений
пошук

Покажчики

Професійний
пошук

Рубрикатор
НБУВ

Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски

Журнали та продовжувані видання

Автореферати дисертацій

Реферативна база даних

Наукова періодика України

Тематичний навігатор

Авторитетний файл імен осіб

	Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox"

Вид пошуку

Сортувати знайдені документи за:
автором	назвою	роком видання	видом документа

Знайдено в інших БД:

Реферативна база даних (1)

Пошуковий запит: (<.>U=В123 я73$<.>)

Загальна кількість знайдених документів : 10
Представлено документи з 1 до 10

В345249/Ч. 1

Блюмин, Семен Львович

Математическое обеспечение информационных технологий [Текст] : учеб. пособие / С. Л. Блюмин [и др.]. - Липецк : НОУ "Липецкий эколого-гуманитарный ин-т", 2001 .

Ч. 1 : Реляционная математика и базы данных. - [Б. м.] : [б.и.], 2001. - 74 с. - Библиогр.: с. 74

Рубрикатор НБУВ:
В123 я73
З970.611 я73
Тематичні рубрики:
Логічні числення. Числення висловлювань і предикатів. Навчальні видання для студентів
Реляційні бази даних

Дод. точки доступу:
Погодаев, Анатолий Кирьянович; Тарасов, Николай Анатольевич; НОУ "Липецкий эколого-гуманитарный институт"

Видання зберігається у :
Основний фонд

ВА627080

Трохимчук, Ростислав Миколайович.

Булеві функції [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2001. - 82 с.: рис. - Бібліогр.: с.81.

Рубрикатор НБУВ:
В123 я73
Тематичні рубрики:
Логічні числення. Числення висловлювань і предикатів. Навчальні видання для студентів

Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

Видання зберігається у :
Основний фонд

ВА637418

Трохимчук, Ростислав Миколайович.

Збірник задач з теорії булевих функцій [Текст] : навч. посібник / Р. М. Трохимчук ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський ун-т", 2002. - 104 с. - Бібліогр.: с. 103

Рубрикатор НБУВ:
В123 я73-4
Тематичні рубрики:
Логічні числення. Числення висловлювань і предикатів

ВА688775

Кравченко, Виктор Филиппович.

Алгебра логики, атомарные функции и вейвлеты в физических приложениях [Текст] : учеб. пособие для студ. вузов по направлению "Прикладная физика" / В. Ф. Кравченко, В. Л. Рвачев. - М. : Физматлит, 2006. - 415 с. - Библиогр.: с. 399-415. - ISBN 5-9221-0752-6

Дод. точки доступу:
Рвачев, Владимир Логвинович

Видання зберігається у :
Основний фонд

Р114199

Інформаційні технології. Алгебра логіки [Текст] : метод. вказівки до вивч. теми для студ. напряму підготов. 6.051501 "Видавничо-поліграфічна справа" / Національний технічний ун-т України "Київський політехнічний ін-т" ; уклад. Т. Ю. Киричок ; відп. ред. П. О. Киричок. - К. : НТУУ "КПІ", 2009. - 33 с.: рис., табл. - Бібліогр.: с. 33

Дод. точки доступу:
Киричок, П. О. (відп. ред.); Киричок, Тетяна Юріївна (уклад.); Національний технічний університет України "Київський політехнічний інститут" (Київ)

Видання зберігається у :
Основний фонд

Р115239

Методичні вказівки до виконання розрахункового завдання "Алгебра логіки" та курсового проектування з курсів "Математична логіка і теорія алгоритмів", "Дискретна математика" для студентів напрямків 6.040303 "Системний аналіз", 6.040302 "Інформатика" [Текст] / Національний технічний ун-т "Харківський політехнічний ін-т" ; уклад. Л. Б. Кащеєв, Н. А. Марченко. - Х. : НТУ "ХПІ", 2009. - 44 с.: рис. - Бібліогр.: с. 42

Дод. точки доступу:
Кащеєв, Леонід Борисович (уклад.); Марченко, Наталя Андріївна (уклад.); Національний технічний університет "Харківський політехнічний інститут" (Харків)

Видання зберігається у :
Основний фонд

ВА750389

Редько, Ігор Володимирович.

Експертні системи. Логіко-математичні засади експертних систем. Логіка, алгебра та числення висловлювань [Текст] : навч. посіб. / І. В. Редько ; Нац. техн. ун-т України "Київ. політехн. ін-т", Ф-т електрон. - К. : НТУУ "КПІ", 2012. - 80 с. : табл. - Бібліогр.: с. 79-80. - 50 прим.

Рубрикатор НБУВ:
В123 я73
З970.51 я73
Тематичні рубрики:
Логічні числення. Числення висловлювань і предикатів. Навчальні видання для студентів
Експертні системи

Дод. точки доступу:
"Київський політехнічний інститут", національний технічний університет України . Факультет електроніки

Видання зберігається у :
Основний фонд

ВА780867

Драган, Григорий Сильвестрович.

Элементы алгебры высказываний и логики предикатов [Текст] : учеб.-метод. пособие для студентов 1-го курса направления подгот. 040301 "Прикладная математика" / Г. С. Драган, С. В. Федоровский ; Одес. нац. ун-т им. И. И. Мечникова, Ильичев. ин-т. - Одесса : ОНУ, 2014. - 98 с. - Бібліогр.: с. 98. - 50 прим. - ISBN 978-617-689-075-1

Дод. точки доступу:
Федоровский, Сергей Васильевич; Одесский национальный университет имени И. И. Мечникова. Ильичевский институт

Видання зберігається у :
Основний фонд

Р127956

Методичні вказівки до практичних робіт "Логіка висловлювань. Аналіз формул логіки висловлювань" з курсу "Математична логіка та теорія алгоритмів" для студентів спеціальності "Прикладна математика" [Текст] / Нац. техн. ун-т "Харків. політехн. ін-т" ; [уклад.: Вечірська І. Д., Процай Н. Т.]. - Харків : НТУ "ХПІ", 2015. - 14 с. : табл. - Бібліогр.: с. 13. - 50 прим.

Дод. точки доступу:
Вечірська, Ірина Дмитрівна (уклад.); Процай, Наталія Тимофіївна (уклад.); "Харківський політехнічний інститут", національний технічний університет

Видання зберігається у :
Основний фонд

10.

В349988/2

Експертні системи [Текст] : навч. посіб. / Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2006 .

Ч. 2 / А. А. Яровий, І. Р. Арсенюк, В. І. Месюра. - 2017. - 104 с. : рис. - Бібліогр.: с. 99-101. - 50 (1-й запуск 1-20) прим.

Рубрикатор НБУВ:
В123 я73
З810.13 я73-1
УДК:
510.62+004.891](075.8)
Тематичні рубрики:
Логічні числення. Числення висловлювань і предикатів. Навчальні видання для студентів

Дод. точки доступу:
Яровий, Андрій Анатолійович; Арсенюк, Ігор Ростиславович; Месюра, Володимир Іванович; Вінницький національний технічний університет

Переглянути документ в електронній бібліотеці "Україніка"

Видання зберігається у :
Основний фонд

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача