Комплексний пошук у каталогах Національної бібілотеки України імені В. І. Вернадського

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

Вид пошуку

у знайденому

Книжкові видання

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

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

Формат представлення знайдених документів:
повний	стислий

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

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

...

В340074/Ч. 2

Гладунський, Василь Назарович

Логіка [Текст] : навч. посібник для учнів шкіл, гімназій, ліцеїв / В. Н. Гладунський, Г. А. Гладунська. - Львів : Каменяр, 1994 .

Ч. 2. - [Б. м.] : [б.в.], 1996. - 188 с.: іл.

Тематичний рубрикатор:

Математична логіка

Дод. точки доступу:
Гладунська, Ганна Андріївна

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

ВА574210

Карамишева, Неллі Василівна.

Збірник логічних завдань [Текст] / Н. В. Карамишева, С. В. Бовтач ; Львівський держ. ун-т ім. Івана Франка. Філософський факультет. - Львів : Каменяр, 1997. - 109 с.

Тематичний рубрикатор:

Математична логіка. Збірники задач і вправ для студентів

Задачники і збірники вправ. Вища школа < Логіка >

Дод. точки доступу:
Бовтач, Світлана Володимирівна; Львівський державний університет імені Івана Франка. Філософський факультет

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

ВА582036

Курбатов, Владимир Иванович.

Логика в вопросах и ответах [Текст] : учеб. пособие / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1997. - 384 с.

Тематичний рубрикатор:

Навчальні посібники

Математична логіка. Навчальні видання

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

ВА575391

Курбатов, В. И..

Логика Логика [Текст] : учеб. пособие для студ. вузов / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1996. - 320 с.

Тематичний рубрикатор:

Навчальні посібники для вищої школи

Математична логіка. Підручники для вищої школи

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

ВА584981

Лиман, Федір Миколайович.

Математична логіка і теорія алгоритмів [Текст] : навч. посіб. для студ. фіз.-мат. спец. пед. вузів / Ф. М. Лиман ; Ін-т змісту і методів навчання. - Суми : Слобожанщина, 1998. - 152 с.

Тематичний рубрикатор:

Математична логіка. Підручники для вищої школи

Теорія алгоритмів, рекурсивні функції

Дод. точки доступу:
Інститут змісту і методів навчання (Київ)

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

ВА587117

Тарєлкін, Юрій Павлович.

Основи формальної логіки [Текст] : навч. посіб. для студ. гуманіт. спец. вузів / Ю. П. Тарєлкін ; Сумський держ. педагогічний ін-т. - Суми : [б.в.], 1998. - 70 с.

Тематичний рубрикатор:

Навчальні посібники для вищої школи

Математична логіка. Навчальні видання для вищої школи

Дод. точки доступу:
Сумський державний педагогічний інститут

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

ВА591086

Гладкий, Алексей Всеволодович.

Математическая логика [Текст] / А. В. Гладкий ; Российский гос. гуманитарный ун-т. - М. : [б. и.], 1998. - 479 с.

Тематичний рубрикатор:

Математична логіка. Підручники для вищої школи

Підручники < Традиційна і сучасна формальна (математична) логіка >

Дод. точки доступу:
Российский государственный гуманитарный университет

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

В344320/Ч. 1

Самуйлов, Константин Евгеньевич

Лекции по дискретной математике [Текст] : учеб. пособие / К. Е. Самуйлов [и др]. - М. : Издательство Российского ун-та дружбы народов, 2000 .

Ч. 1 : Логика. - М. : [б.и.], 2000. - 59 с.

Тематичний рубрикатор:

Математична логіка. Підручники для вищої школи

Дод. точки доступу:
Севастьянов, Леонид Антонович; Спесивов, Сергей Степанович

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

ВА609134

Учебно-методическое пособие по математике. Математическая логика. Дискретная математика. Линейная алгебра [Текст] / А. Н. Данчул [и др.] ; общ. ред. А. Н. Данчул ; Рос. акад. гос. службы при Президенте РФ. - М. : Издательство РАГС, 2000. - 102 с.: рис.

Тематичний рубрикатор:

Математична логіка. Навчальні видання

Дискретна математика. Навчальні видання

Лінійна алгебра. Навчальні видання

Дод. точки доступу:
Данчул, А. Н.; Митин, А. И.; Сафонова, Т. Е.; Симонов, В. М.; Данчул, А. Н. (ред.); Российская академия государственной службы при Президенте Российской Федерации

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

10.

ВА571779

Лавров, Игорь Андреевич.

Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3.изд. - М. : Физматлит, 1995. - 255 с.

Тематичний рубрикатор:

Математична логіка. Збірники задач і вправ для студентів

Дод. точки доступу:
Максимова, Лариса Львовна

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

11.

ВА615667

Лавров, Игорь Андреевич.

Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 256 с.

Тематичний рубрикатор:

Математична логіка. Збірники задач і вправ для студентів

Теорія алгоритмів

Теорія множин

Дод. точки доступу:
Максимова, Лариса Львовна

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

12.

ВА628189

Фролов, И. С..

Элементы математической логики [Текст] : учеб. пособие для студ. матем. спец. / И. С. Фролов ; Самарский гос. ун-т. Кафедра алгебры и геометрии. - Самара : Самарский университет, 2001. - 80 с. - Библиогр.: с. 79.

Тематичний рубрикатор:

Математична логіка. Навчальні видання для вищої школи

Дод. точки доступу:
Самарский гос. университет. Кафедра алгебры и геометрии

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

13.

Р97730

Содномов, Базар Содномович.

Двенадцать лекций по математической логике [Текст] : учеб. пособие / Б. С. Содномов ; Якутский гос. ун-т им. М.К.Аммосова. - Якутск : Издательство Якутского ун-та, 1998. - 48 с. - Библиогр.: с.48.

Тематичний рубрикатор:

Математична логіка. Конспекти лекцій для студентів

Дод. точки доступу:
Якутский гос. университет имени М. К. Аммосова

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

14.

ВА651018

Нікітченко, Микола Степанович.

Математична логіка [Текст] : навч. посібник / М. С. Нікітченко, С. С. Шкільняк ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2003. - 119 с. - Бібліогр.: с. 118-119.

Тематичний рубрикатор:

Математична логіка. Навчальні видання для вищої школи

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

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

15.

ВА653178

Якимова, Наталья Анатольевна.

Математическая логика [Текст] : курс лекций для студ. V, VI курсов спец. "Прикладная лингвистика" / Н. А. Якимова ; Одесский национальный ун-т им. И.И.Мечникова. - О. : Астропринт, 2004. - 73 с.: рис., табл. - Библиогр.: с. 72.

Тематичний рубрикатор:

Математична логіка. Конспекти лекцій для студентів

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

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

16.

В348050/Ч. 1

Методичні вказівки для самостійної роботи студентів з дисципліни "Математичні основи інформаційної діяльності" [Текст] : для студ. спец. "Документознавство та інформаційна діяльність" / уклад. В. Г. Черенков, Д. Ф. Томілін ; Луганський національний педагогічний ун-т ім. Тараса Шевченка. - Луганськ : Альма-матер, 2004 .

Ч. 1. - [Б. м.] : [б.в.], 2004. - 35 с. - Бібліогр.: с. 34.

Тематичний рубрикатор:

Математична логіка. Навчальні видання для вищої школи

Дод. точки доступу:
Черенков, Валентин Григорович \уклад.\; Томілін, Денис Федорович \уклад.\; Луганський національний педагогічний університет імені Тараса Шевченка

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

17.

ВА692441

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

Математическая логика [Текст] : курс лекций: учеб. пособие для студ. вузов, обучающихся по специальности 032100 - математика / И. Л. Тимофеева. - 2-е изд., перераб. - М. : КДУ, 2007. - 304 с. - Библиогр.: с. 294.

Тематичний рубрикатор:

Математична логіка. Конспекти лекцій для студентів

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

18.

ВС44547

Символическая логика [Текст] : учебник для студ. и аспирантов филос. ф-тов ун-тов / И. Н. Бродский [и др.] ; ред. Я. А. Слинин [и др.] ; Санкт-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского ун-та, 2005. - 505 с.

Тематичний рубрикатор:

Логіка

Математична логіка. Підручники для вищої школи

Дод. точки доступу:
Бродский, И. Н.; Гусев, С. С.; Караваев, Э. Ф.; Лисанюк, Е. Н.; Микиртумов, И. Б.; Мухачев, В. П.; Подниекс, К. М.; Серебрянников, О. Ф.; Федоров, Б. И.; Черноскутов, Ю. Ю.; Слинин, Я. А. (ред.); Санкт-Петербургский гос. университет

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

19.

ВА695455

Шушура, Алексей Николаевич.

Логика в системах искусственного интеллекта [Текст] : метод. вказівки до лекцій для студ. спец. 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - 2-е вид. - Донецьк : ІПШІ "Наука і освіта", 2004. - 85 с. - Библиогр.: с. 83.

Тематичний рубрикатор:

Інтелектуальні системи

Математична логіка. Конспекти лекцій для студентів

Дод. точки доступу:
Донецький державний інститут штучного інтелекту

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

20.

Р111101

Шушура, Алексей Николаевич.

Логика в системах искусственного интеллекта [Текст] : метод. вказ. до самост. роботи студ. заоч. ф-ту: для студ. спец.: 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - Донецьк : Наука і освіта, 2004. - 30 с. - Бібліогр.: с. 29.

Тематичний рубрикатор:

Математична логіка. Навчальні видання для вищої школи

Інтелектуальні системи

...