Пошуковий запит: (<.>U=В121 я7$<.>) |
Загальна кількість знайдених документів : 53
Представлено документи з 1 до 20
|
| | |
| 1. | ВА628189 Фролов И. С. Элементы математической логики [Текст] : Учеб. пособие для студ. матем. спец. / И. С. Фролов ; Самарский гос. ун-т. Кафедра алгебры и геометрии. - Самара : Самарский университет, 2001. - 80 с.
|
| 2. | ВА865180 Шевельова А. Є. Формальне доведення теорем числення висловлювань [Текст] : навч. посіб. / А. Є. Шевельова ; Дніпров. нац. ун-т ім. Олеся Гончара, Каф. обчислюв. математики та мат. кібернетики. - Дніпро : Ліра, 2023. - 79 с.
|
| 3. | ВА609134 Учебно-методическое пособие по математике. Математическая логика. Дискретная математика. Линейная алгебра [Текст] / А. Н. Данчул [и др.] ; общ. ред. А. Н. Данчул ; Рос. акад. гос. службы при Президенте РФ. - М. : Издательство РАГС, 2000. - 102 с.: рис.
|
| 4. | ВС44547 Символическая логика [Текст] : учебник для студ. и аспирантов филос. ф-тов ун-тов / И. Н. Бродский [и др.] ; ред. Я. А. Слинин [и др.] ; Санкт-Петербургский гос. ун-т. - СПб. : Издательство С.-Петербургского ун-та, 2005. - 505 с.
|
| 5. | ВА758467 Провотар О. І. Приклади й задачі з теорії алгоритмів і математичної логіки [Текст] : навч. посіб. / О. І. Провотар, О. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - К. : Київський університет, 2012. - 167 с.
|
| 6. | В349641/Ч. 1 Харченко В. М. Практикум з математичної логіки та теорії алгоритмів. Ч. 1 [Текст] / В. М. Харченко, О. В. Доліч. - [Б. м.] : [б.в.], 2006. - 58 с.
|
| 7. | ВА587117 Тарєлкін Ю. П. Основи формальної логіки [Текст] : Навч. посіб. для студ. гуманіт. спец. вузів / Ю. П. Тарєлкін ; Сумський держ. педагогічний ін-т. - Суми : [б.в.], 1998. - 70 с.
|
| 8. | В348050/Ч. 1 Методичні вказівки для самостійної роботи студентів з дисципліни "Математичні основи інформаційної діяльності". Ч. 1 [Текст]. - [Б. м.] : [б.в.], 2004. - 35 с.
|
| 9. | ВА700508 Прийма С. М. Математичниа логіка і теорія алгоритмів [Текст] : навч. посібник для студ. вищих пед. навч. закл. / С. М. Прийма. - Мелітополь : Видавничий будинок ММД, 2008. - 134 c.: рис., табл.
|
| 10. | ВА864239 Шкільняк С. С. Математична логіка. Приклади й задачі [Текст] : навч. посіб. / С. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - Київ : Київський університет, 2022. - 303 с. : іл.
|
| 11. | ВА724236 Шкільняк С. С. Математична логіка. Основи теорії алгоритмів [Текст] : навч. посіб. / С. С. Шкільняк ; Міжрегіон. акад. упр. персоналом. - К. : Персонал, 2009. - 279 с.
|
| 12. | ВА737818 Косоротова Є. І. Математична логіка. 4 клас [Текст] : навч. посіб. / Є. І. Косоротова, С. І. Якименко. - Т. : Навчальна книга - Богдан, [2010]. - 80 с. : рис., табл. - (Чарівний світ математики)
|
| 13. | ВА737816 Косоротова Є. І. Математична логіка. 3 клас [Текст] : навч. посіб. / Є. І. Косоротова, С. І. Якименко. - Т. : Навчальна книга - Богдан, [2010]. - 88 с. : рис., табл. - (Чарівний світ математики)
|
| 14. | ВА737817 Косоротова Є. І. Математична логіка. 2 клас [Текст] : навч. посіб. / Є. І. Косоротова, С. І. Якименко. - Т. : Навчальна книга - Богдан, [2010]. - 80 с. : рис. - (Чарівний світ математики)
|
| 15. | Р129282 Математична логіка та теорія алгоритмів [Текст] : зб. задач з мат. логіки для практ. занять для студентів напряму підгот. 6.040301 "Прикладна математика" / Нац. техн. ун-т України "Київ політехн. ін-т" ; [уклад. Темнікова О. Л. ; відп. ред. Є. С. Сулема]. - Київ : НТУУ "КПІ", 2015. - 44 с.
|
| 16. | ВА792936 Шаповалов С. П. Математична логіка та теорія алгоритмів [Текст] : навч. посіб. / С. П. Шаповалов, М. П. Матвієнко ; Сум. держ. ун-т. - Суми : Сумський державний університет, 2014. - 254 с. : рис., табл.
|
| 17. | В353090/2 Лісова, Тетяна Володимирівна Математична логіка та теорія алгоритмів. Ч. 2 [Текст]. - 2011. - 111 с. : рис.
|
| 18. | ВС50604 Нікітченко М. С. Математична логіка та теорія алгоритмів [Текст] : підруч. для студ. кіберн. ф-тів вищ. навч. закл. / М. С. Нікітченко, С. С. Шкільняк ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київський університет, 2008. - 528 с.
|
| 19. | ВА712722 Євладенко В. М. Математична логіка та теорія алгоритмів [Текст] : навч.-метод. посіб. / В. М. Євладенко [и др.] ; Кіровоградський держ. педагогічний ун-т ім. Володимира Винниченка. - Кіровоград : КОД, 2009. - 116 с.
|
| 20. | ВС71082 Щербина Ю. М. Математична логіка для комп'ютерних наук [Текст] : навч. посіб. / Ю. М. Щербина, Н. М. Колос, О. Я. Прядко ; Львів. нац. ун-т ім. Івана Франка. - Львів : ЛНУ ім. Івана Франка, 2023. - 249 с. : табл.
|
| | |
Простий пошук
Віртуальна довідка
