Type theory introduced by Russell and Whitehead to overcome a paradox found in Frege’s work. The design of lambda-calculus in functional programming languages. The isomorphism between concepts of logic and concepts in type theory and programming.

The article is devoted to the issue of development and application of an interactive electronic textbook for students of "Applied Mechanics" and "Industrial Mechanical Engineering" from the discipline "English". Integration of an interactive e-textbook.

Изучение внешнего вида программы. Построение страницы в режиме "конструктор" и "код". Выбор темы и фоновых рисунков. Вставка гиперссылки, фотоколлекции, таблиц. Детальное описание процесса создания сайта. Использование таблиц для выравнивания текста.

The use of mobile smart tools - a factor that contributes to the introduction of the remote control method and smooth adjustment of key parameters of the diagnostic process. Components of a software package for determining a person's visual fatigue.

The problem of constructing a system of operational dispatch management for agricultural enterprises. The choice of the functionality of the control plane, allowing to minimize the losses due to delays and poor implementation of the Executive plan.

Data flow diagrams as a hierarchy of functional processes related data flows. Familiarity with the main components of a data flow diagram: external entities, systems and subsystems, processes. Analysis of the structure of building hierarchy DFD.

Research and characteristic of the main features of the recommender system is knowledge-based recommendation. Acquaintance with the advantages and disadvantages of english wikipedia model, which is the most appropriate model for the topic recommender.

Разработка программных криптографических средств защиты информации с функциями шифрования и расшифрования на основе алгоритма RSA. Подготовка ключей и других значений для шифрования. Проверка ввода при вызове функций шифрования и расшифрования.

Description of the development of a gaming mobile application that integrates augmented reality. Augmented reality and gamification "Formation of a holistic personality" as educational strategies in learning in the period of innovative technologies.

Настройки отображения комментариев на диаграмме. Рассмотрение простой задачи по созданию календарного плана-графика проекта. Формирование списка официальных праздников. Сохранение проекта, экспорт-импорт данных. Календарное планирование проектных работ.

Gartner Hype Cycle methodology як спроба виявлення закономірностей розвитку сучасних інформаційно-комунікаційних технологій. Розробка та використання в сферах життєдіяльності людини NBIC-технологій. Сфера інформаційних і комунікаційних технологій.

Обоснование необходимости GDI-инструментов Windows для реализации визуального интерфейса для пространственных объектов. Возможности их применения как приложения к системам автоматизированного планирования земледелия для сельскохозяйственного предприятия.

The main peripheral and internal devices of the personal computer. Purpose mouse, keyboard and joystick. Recording information of the disk drive to the hard drive. Sound media files. Scan and copy documents. Types of monitors, projectors and speakers.

A wireless sensor network of distributed autonomous sensors to monitor physical or environmental conditions and to cooperatively pass their data through the network. The analysis of models of wireless sensor network with random access is presented.

Studies show that despite the existence of a large number of monitoring methods used in the evaluation of the technical condition of generators on a real-time basis in modern times, they create certain limits in the evaluation of some parts or parameters.

A comprehensive study of the potential use of GeoGebra, a dynamic mathematical software, for navigational purposes. Using GeoGebra to teach navigation concepts, study geometric relationships, and create interactive simulations of navigation scenarios.

Возможности применения движущихся изображений, основные виды анимации. Процесс подготовки анимированного GIF. Программа Ulead GIF Animator: описание элементов стандартного меню, панелей инструментов, атрибутов, палитры и статуса. Оптимизация изображения.

Gimp как многоплатформенное программное обеспечение для редактирования изображений, анализ возможностей. Особенности сравнения векторной и растровой графики. Панель инструментов как единственная часть интерфейса программы. Способы создания новых файлов.

Analysis on the Geographic Information System. Monitoring of the environment in the vicinity of the airport. Modeling control air pollution, noise. Operation of aircraft in the conditions of the implementation of intelligent transport management systems.

GNU General Public License (Универсальная общественная общедоступная лицензия GNU) — лицензия на свободное программное обеспечение, созданная в рамках проекта GNU. Свободы и обязательства получателям компьютерных программ. Её совместимость и копилефт.

Google Chrome под управлением Ubuntu. Ряд функций браузера, управляя которыми веб-мастер может повысить удобство для пользователей. Движок обработки JavaScript и система безопасности. Расширения в стабильной версии Chrome. Каналы и процесс обновления.

The main features and functions of the service Google Docs. Characteristics of the use of this service for teaching computer science to future teachers of mathematics in order to solve information problems. Analysis of the use of the student service.

Носимая электроника, нательные компьютеры как будущее электроники. Описание и основные технические характеристики электронного устройства Google Glass. Электронная начинка, видеокамера, наушник, коммуникационные возможности и операционная система.

Google – производное от математического термина, обозначающего единицу со ста нулями. Основание компании в 1998 году С. Брином и Л. Пейджем. Организация мировой информации и обеспечение ее доступности и пользы для всех. Скорость и комфорт пользования.

История возникновения поисковика Google как компании с мировым именем. Суть понятия и виды дискового пространства или "пространства хранения". Совместная работа с данными и программы для совместной работы с ними. Ныне существующие службы Google.

Вычисление на GPU: общая характеристика и принципы работы. Графические процессоры Tesla. Платформа параллельных вычислений CUDA. Сравнение графических ускорителей Tesla, основанных на новых архитектурах Kepler и Fermi. Архитектура SMX процессоров.

Rubik’s cube 3D model. Hardware and software systems for rubik’s cube solving. Designing and developing application for assembling a rubik's cube. Preventing wrong moves algorithm. Introduction to group theory and permutation puzzles. Computer vision.

A negligibility-based framework to model network-centric security problems in mobile ad hoc networks. Modeling network-centric security in a negligibility-based framework with network scale as the input parameter and anti-disruption secure routing.

Особливості створення моделі апаратного алгоритму та моделі апаратно-програмного універсального обчислювача на основі апаратно-програмної моделі (SH-моделі). Розробка способів оптимізації характеристик складності операційних пристроїв та процесорів.

An unlimited number of spectators watching online games with Half-Life TV. Start Half-Life to watch a HLTV game. The game in different modes: Chase Cam, First Person, Free Look, Map Overview and Map Chase. Broadcasting games, recording HLTV demos.