Личный кабинет
263 записи
Мачикина Е. П.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Сибирский государственный университет телекоммуникаций и информатики, 2020.
Математическая логика и теория алгоритмов : учебно-методическое пособие / Мачикина Е. П. - Сибирский государственный университет телекоммуникаций и информатики, 2020.
Читать онлайн
Башкинова Е. В.
Информатика : лабораторный практикум / Башкинова Е. В. - Самарский государственный технический университет, ЭБС АСВ, 2019.
Информатика : лабораторный практикум / Башкинова Е. В. - Самарский государственный технический университет, ЭБС АСВ, 2019.
Трунтаева Т. И.
Математическая логика : учебно-методическое пособие / Трунтаева Т. И. - Вузовское образование, 2019. -ISBN 978-5-4487-0479-6 .
Математическая логика : учебно-методическое пособие / Трунтаева Т. И. - Вузовское образование, 2019. -
Кислицин А. В., Малинина М. Л.
Приложения алгебры высказываний в математической логике : учебно-методическое пособие / Кислицин А. В., Малинина М. Л. - Алтайский государственный педагогический университет, 2018.
Приложения алгебры высказываний в математической логике : учебно-методическое пособие / Кислицин А. В., Малинина М. Л. - Алтайский государственный педагогический университет, 2018.
Шмырин А. М., Седых И. А.
Лекции по дискретной математике и математической логике : учебное пособие / Шмырин А. М., Седых И. А. - Липецкий государственный технический университет, ЭБС АСВ, 2014. -ISBN 978-5-88247-714-0 .
Лекции по дискретной математике и математической логике : учебное пособие / Шмырин А. М., Седых И. А. - Липецкий государственный технический университет, ЭБС АСВ, 2014. -
Зарипова Э. Р., Кокотчикова М. Г., Севастьянов Л. А.
Лекции по дискретной математике. Математическая логика : учебное пособие / Зарипова Э. Р., Кокотчикова М. Г., Севастьянов Л. А. - Российский университет дружбы народов, 2014. -ISBN 978-5-209-05455-9 .
Лекции по дискретной математике. Математическая логика : учебное пособие / Зарипова Э. Р., Кокотчикова М. Г., Севастьянов Л. А. - Российский университет дружбы народов, 2014. -
Ткаченко С. В., Сысоев А. С.
Математическая логика : учебное пособие / Ткаченко С. В., Сысоев А. С. - Липецкий государственный технический университет, ЭБС АСВ, 2013. -ISBN 978-5-88247-649-5 .
Математическая логика : учебное пособие / Ткаченко С. В., Сысоев А. С. - Липецкий государственный технический университет, ЭБС АСВ, 2013. -
Крайзель Г.
Биография Курта Геделя / Крайзель Г. ; пер. Минц Г. Е., Скворцов Д. П., Скворцова Е. З. - Регулярная и хаотическая динамика, Ижевский институт компьютерных исследований, 2003. -ISBN 5-93972-213-X .
Биография Курта Геделя / Крайзель Г. ; пер. Минц Г. Е., Скворцов Д. П., Скворцова Е. З. - Регулярная и хаотическая динамика, Ижевский институт компьютерных исследований, 2003. -
Sudoplatov S. V.
Classification of countable models of complete theories. Р. 1 : monograph in two parts / Sudoplatov S. V. - Новосибирский государственный технический университет, 2018. -ISBN 978-5-7782-3527-4 (p. 1), 978-5-7782-3526-7 .
Classification of countable models of complete theories. Р. 1 : monograph in two parts / Sudoplatov S. V. - Новосибирский государственный технический университет, 2018. -
Sudoplatov S. V.
Classification of countable models of complete theories. Р. 2 : monograph in two parts / Sudoplatov S. V. - Новосибирский государственный технический университет, 2018. -ISBN 978-5-7782-3528-1 (p. 2), 978-5-7782-3526-7 .
Classification of countable models of complete theories. Р. 2 : monograph in two parts / Sudoplatov S. V. - Новосибирский государственный технический университет, 2018. -
