Пошук :
Довідка :
Електронний каталог : Книги у рубриці: Збірники
Рубрики
--> Збірники
Друк списку
--> Збірники
Рубрика
- Назва:
- Збірники
Друк списку
Зв'язані описи:
Книга
Kalmár, László
Contributions to the reduction theory of the decision problem: Third paper Prefix (x1)(Ex2)...(Exn−2)(xn−1)(xn), a single binary predicate
Akadémiai Kiadó, 1951 г.
ISBN відсутній
Kalmár, László
Contributions to the reduction theory of the decision problem: Third paper Prefix (x1)(Ex2)...(Exn−2)(xn−1)(xn), a single binary predicate
Akadémiai Kiadó, 1951 г.
ISBN відсутній
Книга
Spisani, Franco
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International Logic Review, 1977 г.
ISBN відсутній
Spisani, Franco
Implication, endometry, universe of discourse
Implicazione, endometria, universo del discorso
International Logic Review, 1977 г.
ISBN відсутній
Книга
Introduction to calculus: basics of logic and set theory: coursebook
Вступ до математичного аналізу: основи логіки та теорії множин
Lviv Polytechnic Publ. House, 2018 г.
ISBN 978-966-941-246-1
Introduction to calculus: basics of logic and set theory: coursebook
Вступ до математичного аналізу: основи логіки та теорії множин
Lviv Polytechnic Publ. House, 2018 г.
ISBN 978-966-941-246-1
Книга
Алгебра и математическая логика: межведомственный сборник
ISBN відсутній
Алгебра и математическая логика: межведомственный сборник
Серія: Алгебраические исследования
Издательство Киевского университета, 1988 г.ISBN відсутній
Книга
Успенский Владимир Андреевич
Вводный курс математической логики: [Учебное пособие]
Физматлит, 2004 г.
ISBN 5-922102-78-8
Успенский Владимир Андреевич
Вводный курс математической логики: [Учебное пособие]
Физматлит, 2004 г.
ISBN 5-922102-78-8
Книга
Гладунський Василь Назарович
Вища математика й елементи логіки: означення, формули, приклади: навчальний посібник
Афіша, 2008 г.
ISBN відсутній
Гладунський Василь Назарович
Вища математика й елементи логіки: означення, формули, приклади: навчальний посібник
Афіша, 2008 г.
ISBN відсутній
Книга
Кривий, Сергій Лук'янович
Вступ до некласичної математичної логіки: навч. посіб. для студентів ун-тів, які навчаються за напрямом підготовки "Комп'ютерні науки"
ВПЦ "Київський університет", 2010 г.
ISBN 978-966-439-209-6
Кривий, Сергій Лук'янович
Вступ до некласичної математичної логіки: навч. посіб. для студентів ун-тів, які навчаються за напрямом підготовки "Комп'ютерні науки"
ВПЦ "Київський університет", 2010 г.
ISBN 978-966-439-209-6
Книга
Вторые математические чтения памяти М. Я. Суслина, Саратов, 23-28 сентября 1991 г.: тезисы докладов
[б.и.], 1991 г.
ISBN відсутній
Вторые математические чтения памяти М. Я. Суслина, Саратов, 23-28 сентября 1991 г.: тезисы докладов
[б.и.], 1991 г.
ISBN відсутній
Книга
Любченко Костянтин Миколайович
Елементи математичної логіки з комп'ютерною підтримкою: Посібник для вчителів
РВВ ЧДУ ім. Б. Хмельницького, 2004 г.
ISBN 966-7986-72-1
Любченко Костянтин Миколайович
Елементи математичної логіки з комп'ютерною підтримкою: Посібник для вчителів
РВВ ЧДУ ім. Б. Хмельницького, 2004 г.
ISBN 966-7986-72-1
Книга
Ломакович, Афанасій Миколайович
Елементи математичної логіки і теорії алгоритмів: навч. посіб.
ВЦ КОГПА ім. Тараса Шевченка, 2017 г.
ISBN 978-966-1546-45-4
Ломакович, Афанасій Миколайович
Елементи математичної логіки і теорії алгоритмів: навч. посіб.
ВЦ КОГПА ім. Тараса Шевченка, 2017 г.
ISBN 978-966-1546-45-4
Книга
Авдеюк, Павло Іванович
Елементи математичної логіки та теорії алгоритмів: навч.-метод. посіб.
Кам'янець-Подільський нац. ун-т ім. Івана Огієнка, 2019 г.
ISBN відсутній
Авдеюк, Павло Іванович
Елементи математичної логіки та теорії алгоритмів: навч.-метод. посіб.
Кам'янець-Подільський нац. ун-т ім. Івана Огієнка, 2019 г.
ISBN відсутній
Книга
Комарницький, Микола Ярославович
Елементи математичної логіки та теорії рекурсії: навч. посіб.
ЛНУ ім. І. Франка, 2013 г.
ISBN 978-617-10-0054-4
Комарницький, Микола Ярославович
Елементи математичної логіки та теорії рекурсії: навч. посіб.
ЛНУ ім. І. Франка, 2013 г.
ISBN 978-617-10-0054-4
Книга
Акуленко Ірина Анатоліївна
Елементи математичної логіки у поглибленому курсі математики. Розробки уроків для 10 классу з пог...: метод. посіб.: для вчителів загальноосвіт. навч. закл.
ВВ ЧНУ ім. Б. Хмельницького, 2011 г.
ISBN відсутній
Акуленко Ірина Анатоліївна
Елементи математичної логіки у поглибленому курсі математики. Розробки уроків для 10 классу з пог...: метод. посіб.: для вчителів загальноосвіт. навч. закл.
ВВ ЧНУ ім. Б. Хмельницького, 2011 г.
ISBN відсутній
Книга
Игошин, Владимир Иванович
Задачник-практикум по математической логике: учебное пособие для студентов-заочников физико-математических факультетов педагогических институтов
Просвещение, 1986 г.
ISBN відсутній
Игошин, Владимир Иванович
Задачник-практикум по математической логике: учебное пособие для студентов-заочников физико-математических факультетов педагогических институтов
Просвещение, 1986 г.
ISBN відсутній
Книга
Кондратенко Наталія Романівна
Комп'ютерний практикум з математичної логіки: навч. посіб.
ВНТУ, 2010 г.
ISBN відсутній
Кондратенко Наталія Романівна
Комп'ютерний практикум з математичної логіки: навч. посіб.
ВНТУ, 2010 г.
ISBN відсутній
Книга
Драгалин Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Едиториал УРСС, 2003 г.
ISBN 5-354-00387-3
Драгалин Альберт Григорьевич
Конструктивная теория доказательств и нестандартный анализ
Едиториал УРСС, 2003 г.
ISBN 5-354-00387-3
Книга
Зыков Александр Александрович
Логико-философское введение в высшую математику: учебное пособие
Астропринт, 2008 г.
ISBN 966-318-093-5
Зыков Александр Александрович
Логико-философское введение в высшую математику: учебное пособие
Астропринт, 2008 г.
ISBN 966-318-093-5
Книга
Логіка висловлювань: навч.-метод. посіб.
Черкас. нац. ун-т ім. Б. Хмельницького, 2013 г.
ISBN відсутній
Логіка висловлювань: навч.-метод. посіб.
Черкас. нац. ун-т ім. Б. Хмельницького, 2013 г.
ISBN відсутній
Книга
Зиков, Олександр Олександрович
Логіко-філософський вступ до вищої математики: навч. посіб.
Logical-philosophical introduction to higher mathematics
Астропринт, 2017 г.
ISBN 978-966-927-277-5
Зиков, Олександр Олександрович
Логіко-філософський вступ до вищої математики: навч. посіб.
Logical-philosophical introduction to higher mathematics
Астропринт, 2017 г.
ISBN 978-966-927-277-5