Пошуковий запит: (<.>U=В121 я7$<.>) |
Загальна кількість знайдених документів : 53
Представлено документи з 1 до 20
|
| |
|
| | |
|
1. | Глушков В.М./ВА177
Гудстейн, Р. Л. Математическая логика [Текст] / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - М. : Изд-во иностр. лит., 1961. - 161 с. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - 1957 Парал. тит. арк. англ.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
2. | ВА571779
Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 3.изд. - М. : Физматлит, 1995. - 255 с. - ISBN 5-02-014844-Х
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
3. | ВА575391
Курбатов, В. И.. Логика Логика [Текст] : учеб. пособие для студ. вузов / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1996. - 320 с. - ISBN 5-85880-335-0 Замена ВА575491
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
4. | В340074/Ч. 2
Гладунський, Василь Назарович Логіка [Текст] : навч. посібник для учнів шкіл, гімназій, ліцеїв / В. Н. Гладунський, Г. А. Гладунська. - Львів : Каменяр, 1994 . Ч. 2. - [Б. м.] : [б.в.], 1996. - 188 с.: іл. - ISBN 5-7745-0571-5
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
5. | ІВ196231
Urchs, Max.... Klasyczny rachunek zdań [Text] : wykład i zadania. Skrypt dla studentów pierwszego roku / M. Urchs [i i] [i i] ; Uniwersytet Mikołaja Kopernika. - Toruń : [б.в.], 1997. - 91 s. - ISBN 83-231-0858-7
Рубрики:
Видання зберігається у :
| |
|
| | |
|
6. | ВА574210
Карамишева, Неллі Василівна. Збірник логічних завдань [Текст] / Н. В. Карамишева, С. В. Бовтач ; Львівський держ. ун-т ім. Івана Франка. Філософський факультет. - Львів : Каменяр, 1997. - 109 с. - ISBN 5-7745-0721-1
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
7. | ВА582036
Курбатов, Владимир Иванович. Логика в вопросах и ответах [Текст] : учеб. пособие / В. И. Курбатов. - Ростов-на-Дону : Феникс, 1997. - 384 с. - ISBN 5-85880-582-5
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
8. | Р97730
Содномов, Базар Содномович. Двенадцать лекций по математической логике [Текст] : учеб. пособие / Б. С. Содномов ; Якутский гос. ун-т им. М.К.Аммосова. - Якутск : Издательство Якутского ун-та, 1998. - 48 с. - Библиогр.: с.48. - ISBN 5-7513-0173-0
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
9. | ВА584981
Лиман, Федір Миколайович. Математична логіка і теорія алгоритмів [Текст] : навч. посіб. для студ. фіз.-мат. спец. пед. вузів / Ф. М. Лиман ; Ін-т змісту і методів навчання. - Суми : Слобожанщина, 1998. - 152 с. - ISBN 966-535-022-6
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
10. | ВА587117
Тарєлкін, Юрій Павлович. Основи формальної логіки [Текст] : навч. посіб. для студ. гуманіт. спец. вузів / Ю. П. Тарєлкін ; Сумський держ. педагогічний ін-т. - Суми : [б.в.], 1998. - 70 с.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
11. | ВА591086
Гладкий, Алексей Всеволодович. Математическая логика [Текст] / А. В. Гладкий ; Российский гос. гуманитарный ун-т. - М. : [б. и.], 1998. - 479 с. - ISBN 5-7281-0025-2
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
12. | ВА609134
Учебно-методическое пособие по математике. Математическая логика. Дискретная математика. Линейная алгебра [Текст] / А. Н. Данчул [и др.] ; общ. ред. А. Н. Данчул ; Рос. акад. гос. службы при Президенте РФ. - М. : Издательство РАГС, 2000. - 102 с.: рис.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
13. | В344320/Ч. 1
Самуйлов, Константин Евгеньевич Лекции по дискретной математике [Текст] : учеб. пособие / К. Е. Самуйлов [и др]. - М. : Издательство Российского ун-та дружбы народов, 2000 . Ч. 1 : Логика. - М. : [б.и.], 2000. - 59 с. - ISBN 5-209-01304-9
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
14. | ВА628189
Фролов, И. С.. Элементы математической логики [Текст] : учеб. пособие для студ. матем. спец. / И. С. Фролов ; Самарский гос. ун-т. Кафедра алгебры и геометрии. - Самара : Самарский университет, 2001. - 80 с. - Библиогр.: с. 79
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
15. | ВА615667
Лавров, Игорь Андреевич. Задачи по теории множеств, математической логике и теории алгоритмов [Текст] / И. А. Лавров, Л. Л. Максимова. - 4-е изд. - М. : Физматлит, 2001. - 256 с. - ISBN 5-9221-0026-2
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
16. | ВА639448
Успенский, Владимир Андреевич. Вводный курс математической логики [Текст] / В. А. Успенский [и др.]. - 2-е изд. - М. : Физматлит, 2002. - 125 с. - Библиогр.: с. 122. - ISBN 5-9221-0278-8 Н обл. авт. не указ.
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
17. | ВА651018
Нікітченко, Микола Степанович. Математична логіка [Текст] : навч. посібник / М. С. Нікітченко, С. С. Шкільняк ; Київський національний ун-т ім. Тараса Шевченка. - К. : ВПЦ "Київський університет", 2003. - 119 с. - Бібліогр.: с. 118-119. - ISBN 966-594-523-8
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
18. | Р111101
Шушура, Алексей Николаевич. Логика в системах искусственного интеллекта [Текст] : метод. вказ. до самост. роботи студ. заоч. ф-ту: для студ. спец.: 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - Донецьк : Наука і освіта, 2004. - 30 с. - Бібліогр.: с. 29
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
19. | ВА695455
Шушура, Алексей Николаевич. Логика в системах искусственного интеллекта [Текст] : метод. вказівки до лекцій для студ. спец. 080403 - "Програмне забезпечення автоматизованих систем", 080404 - "Інтелектуальні системи прийняття рішень" / А. Н. Шушура ; Донец. держ. ін-т штучного інтелекту. - 2-е вид. - Донецьк : ІПШІ "Наука і освіта", 2004. - 85 с. - Библиогр.: с. 83
Рубрики:
Видання зберігається у :
Основний фонд
| |
|
| | |
|
20. | В348050/Ч. 1
Методичні вказівки для самостійної роботи студентів з дисципліни "Математичні основи інформаційної діяльності" [Текст] : для студ. спец. "Документознавство та інформаційна діяльність" / уклад. В. Г. Черенков, Д. Ф. Томілін ; Луганський національний педагогічний ун-т ім. Тараса Шевченка. - Луганськ : Альма-матер, 2004 . Ч. 1. - [Б. м.] : [б.в.], 2004. - 35 с. - Бібліогр.: с. 34
Рубрики:
Видання зберігається у :
Основний фонд
| |
| |