Пошуковий запит: (<.>U=В121$<.>) |
Загальна кількість знайдених документів : 95
Представлено документи з 1 до 20
|
| | |
1.  |
Глушков В. М./В53/1
 Church, Alonzo
Introduction to mathematical logic [Text] / by Alonzo Church. - Princeton, New Jersey : Princeton univ. press, 1956 .
Vol. 1. - 1956. - IX, 376 p. - (Princeton mathematical series ; № 17)Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 2. |
Österr.bibl./№3682
Stadler, Friedrich.
Studien zum Wiener Kreis [Text] : Ursprung, Entwicklung und Wirkung des logischen Empirismus im Kontext / F. Stadler. - Frankfurt am Main : Suhrkamp, 1997. - 1035 S. - Бібліогр.: s.962-1012. - ISBN 3-518-58207-0Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Видання зберігається у :
|
| 3. |
ІВ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Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Nasieniewski, Marek; Kwiatkowski, Skarbimir; Uniwersytet Mikołaja Kopernika
Видання зберігається у :
|
| 4. |
ВА712722
Євладенко, В. М..
Математична логіка та теорія алгоритмів [Текст] : навч.-метод. посіб. / В. М. Євладенко [и др.] ; Кіровоградський держ. педагогічний ун-т ім. Володимира Винниченка. - Кіровоград : КОД, 2009. - 116 с. - Бібліогр.: с. 114. - ISBN 978-966-1508-17-9Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Халецька, З. П.; Нарадовий, В. В.; Кіровоградський державний педагогічний університет імені Володимира Винниченка
Видання зберігається у :
Основний фонд
|
| 5. |
ВА837634
Авдеюк, Павло Іванович.
Елементи математичної логіки та теорії алгоритмів [Текст] : навч.-метод. посіб. / П. І. Авдеюк, О. В. Зеленський ; Кам'янець-Поділ. нац. ун-т ім. Івана Огієнка. - Кам'янець-Подільський : Кам'янець-Поділ. нац. ун-т ім. Івана Огієнка, 2019. - 159 с. - Бібліогр.: с. 158-159. - 50 прим.Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Зеленський, Олексій Віталійович; Кам'янець-Подільський національний університет імені Івана Огієнка
Видання зберігається у :
Основний фонд
|
| 6. |
ВА785939
Апостолова, Галина Вадимівна.
Логічними стежинками математики: 5-9 класи [Текст] : [посібник] / Г. В. Апостолова, О. П. Бакал. - Київ : Генеза, 2014. - 303 с. - (Готуємося до олімпіад). - Бібліогр.: с. 298-301. - 1023 прим. - ISBN 978-966-11-0327-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Бакал, Олена Петрівна
Видання зберігається у :
Основний фонд
|
| 7. |
АО263586
Больцано, Бернард.
Учение о науке [Текст] : избранное / Б. Больцано ; пер. Б. И. Федоров. - СПб. : Наука, 2003. - 520 с. - (Слово о сущем ; т. 45). - ISBN 5-02-026846-1Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу:
Федоров, Б. И. (пер.); (пер. с нем.)
Видання зберігається у :
Основний фонд
Універсальний підсобний фонд
|
| 8. |
 МАТЕМАТИЧЕСКАЯ ЛОГИКА И ТЕОРИЯ АЛГОРИТМОВ : учебное пособие (2021)
|
| 9. |
ВС68380
Буковська, Оксана Іванівна.
Логіка. 7 [клас] [Текст] : зошит-конспект / О. І. Буковська, Д. В. Васильєва. - Київ : Освіта, 2020. - 80, [1] с. : іл. - 5040 прим. - ISBN 978-966-983-088-3Рубрикатор НБУВ: УДК: Тематичні рубрики:
Дод. точки доступу:
Васильєва, Дарина Володимирівна
Видання зберігається у :
Основний фонд
|
| 10. |
ВА669297
Буковська, Оксана Іванівна.
Математична логіка. 5-9 класи [Текст] / О. І. Буковська. - Х. : Видавнича група "Основа", 2005. - 174 с. - (Бібліотека журналу "Математика в школах України" ; вип. 11(35)). - Бібліогр.: с. 174. - ISBN 966-333-150-XРубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 11. |
ВА755749
Бурдюк, Володимир Якович.
Абстрактні множини (системний аналіз) [Текст] : [монографія] / В. Я. Бурдюк. - Д. : Ліра, 2012. - 159 с. : рис. - Бібліогр.: с. 153. - 150 прим. - ISBN 978-966-383-396-5Рубрикатор НБУВ: Тематичні рубрики:
Видання зберігається у :
Основний фонд
|
| 12. |
ВА591086
Гладкий, Алексей Всеволодович.
Математическая логика [Текст] / А. В. Гладкий ; Российский гос. гуманитарный ун-т. - М. : [б. и.], 1998. - 479 с. - ISBN 5-7281-0025-2Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Российский государственный гуманитарный университет
Видання зберігається у :
Основний фонд
|
| 13. |
АО266909
Гладунський, Василь Назарович.
Вища математика й елементи логіки. Означення, формули, приклади [Текст] : навч. посіб. для студ. ВНЗ / В. Н. Гладунський ; Львівський ін-т банківської справи Університету банківської справи Національного банку України. - Вид. 2-ге, доп. - Л. : Афіша, 2008. - 503 c. - Бібліогр.: с. 489. - ISBN 978-966-325-102-8Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Львівський інститут банківської справи Університету банківської справи Національного банку України
Видання зберігається у :
Основний фонд
|
| 14. |
В340074/Ч. 2
Гладунський, Василь Назарович
Логіка [Текст] : навч. посібник для учнів шкіл, гімназій, ліцеїв / В. Н. Гладунський, Г. А. Гладунська. - Львів : Каменяр, 1994 .
Ч. 2. - [Б. м.] : [б.в.], 1996. - 188 с.: іл. - ISBN 5-7745-0571-5Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Гладунська, Ганна Андріївна
Видання зберігається у :
Основний фонд
|
| 15. |
РА299164
Гладунський, Василь Назарович.
Методичні основи вивчення курсу логіки в середніх загальноосвітніх, спеціалізованих та професійних навчальних закладах [Текст] : автореф. дис... канд. пед. наук: 13.00.02 / Гладунський Василь Назарович ; АПН України, Ін-т педагогіки і психології проф. освіти. - К., 1998. - 20 с.Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу:
Академія педагогічних наук України (Київ); Інститут педагогіки і психології професійної освіти (Київ)
Видання зберігається у :
Основний фонд
|
| 16. |
Глушков В.М./В48/5
Глушков, Виктор Михайлович
Цикл лекций "Основы математической логики" на научно-техническом семинаре "Математический аппатат кибернетики" [Текст] / Акад. Глушков В. М. ; Киев. Дом науч.-техн. пропаганды. - К. : [б. и.], [19--?] .
Лекция 5 : Теорема о функциональной полноте (ослабленная). - 1961. - 26 с. - 1000 прим.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Киевский Дом научно-технической пропаганды
Видання зберігається у :
Основний фонд
|
| 17. |
Глушков В.М./ВА177
Гудстейн, Р. Л.
Математическая логика [Текст] / Р. Л. Гудстейн ; пер. с англ. В. С. Чернявского ; под ред. и с предисл. С. А. Яновской. - М. : Изд-во иностр. лит., 1961. - 161 с. - (Библиотека сборника "Математика"). - Пер. изд. : Mathematical logic / R. L. Goodstein. - 1957
Парал. тит. арк. англ.Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Чернявский, В. С. (пер.); Яновская, С. А. (ред., авт. предисл.); Goodstein, R. L.
Видання зберігається у :
Основний фонд
|
| 18. |
ВА739027
Дрозд-Корольова, Олена Юріївна.
Задачі з математичної логіки [Текст] : навч. посіб. / О. Ю. Дрозд-Корольова ; Київ. нац. ун-т ім. Тараса Шевченка. - К. : Київський університет, 2010. - 95 с. : табл. - Бібліогр.: с. 95. - 120 прим. - ISBN 978-966-439-343-7Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Київський національний університет імені Тараса Шевченка
Видання зберігається у :
Основний фонд
|
| 19. |
ВА596363
Есенин-Вольпин, Александр Сергеевич.
Философия. Логика. Поэзия. Защита прав человека [Текст] : избранное / А. С. Есенин-Вольпин ; сост. А. Ю. Даниэль [и др.] ; ред. В. К. Финн, А. Ю. Даниэль ; Российский гос. гуманитарный ун-т. - М. : РГУ, 1999. - 450 с. - ISBN 5-7281-0266-2Рубрикатор НБУВ: Тематичні рубрики:
Географічні рубрики:
Дод. точки доступу:
Финн, В. К. (ред.); Даниэль, А. Ю. (ред.); Даниэль, А. Ю. (сост.); Российский гос. гуманитарный университет
Видання зберігається у :
Основний фонд
|
| 20. |
ВА660139
Зиновьев, Александр Александрович.
Очерки комплексной логики [Текст] / А. А. Зиновьев ; отв. ред. Е. А. Сидоренко. - М. : Эдиториал УРСС, 2000. - 560 с. - Библиогр.: в конце разд. - ISBN 5-8360-0125-1Рубрикатор НБУВ: Тематичні рубрики:
Дод. точки доступу:
Сидоренко, Е. А. (отв. ред.)
Видання зберігається у :
Основний фонд
|
| | |
Простий
Розширений
Книжкові видання та компакт-диски
Пам`ятка користувача