A survey of automated theorem proving. Lecture 2
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:John Harrison Курс лекций: A survey of automated theorem proving...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:John Harrison Курс лекций: A survey of automated theorem proving...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Игорь Кураленок Курс лекций: Машинное обучение (2013/14) Embedded video for Машинное обучение (2013)....
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:John Harrison Курс лекций: A survey of automated theorem proving...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:John Harrison Курс лекций: A survey of automated theorem proving...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:John Harrison Курс лекций: A survey of automated theorem proving...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Кирилл Кринкин Курс лекций: Архитектура ЭВМ и основы ОС Embedded video for Архитектура...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Дмитрий Булычев Курс лекций: Языки программирования и компиляторы (2013) Embedded video for Языки...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Вадим Цесько Курс лекций: Базы данных (2013) Embedded video for Базы данных (2013)....
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Юрий Матиясевич Курс лекций: Что можно делать с вещественными числами...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Игорь Кураленок Курс лекций: Машинное обучение (2013/14) Embedded video for Машинное обучение (2013)....
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Александр Куликов Курс лекций: Алгоритмы для NP-трудных задач (2013) Embedded...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Кирилл Кринкин Курс лекций: Архитектура ЭВМ и основы ОС Embedded video for Архитектура...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Дмитрий Булычев Курс лекций: Языки программирования и компиляторы (2013) Embedded video for Языки...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Антон Волохов Курс лекций: Базы данных (2013) Embedded video for Базы данных (2013)....
Партнёр: KL10TCH Предмет: Computer Science Лектор:Александр Лифанов Embedded video for Робототехника
Партнёр: Сообщество CodeFreeze Предмет: Computer Science, Менеджмент Лектор:Илья Балахнин Embedded video for HR в Новых Медиа и игрофикация в корпоративной...
Партнёр: Computer Science Center Предмет: Computer Science Лектор:Игорь Кураленок Курс лекций: Машинное обучение (2013/14) Embedded video for Машинное обучение (2013)....
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Юрий Матиясевич Курс лекций: Что можно делать с вещественными числами...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Александр Куликов Курс лекций: Алгоритмы для NP-трудных задач (2013) Embedded...
Партнёр: Computer Science клуб при ПОМИ РАН Предмет: Computer Science Лектор:Александр Куликов Курс лекций: Алгоритмы для NP-трудных задач (2013) Embedded...
1. Изображения. Изображение должно быть вставлено в отдельную строку в этой строке не должно быть текста. Размер изображения не должен превышать? Формат jpg.
2. Таблицы и списки. Таблицы должны помещаться на одну страницу. Вложенные списки таблиц и объединенные ячейки не принимаются системой.
3. Пунктуация текста. Система не принимает сложного форматирования - стилей, сносок, колонтитулов, спец. символов, табуляций и т.д. Заголовки должны быть жирным шрифтом и начинаться с новой строки.
4. Форматы файлов. Принимаются форматы TXT, DOCX, EPUB, FB2. Ограничения по размеру файла - 3 Мб.