Г45 Гжегорчик, Анджей. Популярная логика: общедоступный очерк логики предложений [] = Logika popularna: przystepny zarys logiki zdan / А. Гжегорчик ; пер. с пол. С. П. Беляева. - 3-е изд. стереотип. - М. : Наука, Гл. ред. физ.-мат. лит., 1979. - 112 с. : рис. - Библиогр. в подстрочном примеч. - Лит. - с. 11-12. - 0.25 р.
Рубрики: Математична логіка--Навчальні видання фывфывфыв: логика -- логіка -- умовивід -- умозаключение -- логічні вирази -- логические выражения -- закони логіки -- законы логики -- перевірка логічних формул -- проверка логических формул -- упражнения -- вправи -- логіка речень -- логика предложений -- логічні союзи -- логические союзы -- правило відокремлення -- правило отделения Аннотация: Излагаются основные понятия, законы и принципы логики, наведены примеры и методы проверки логических формул. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Беляев, С. П. \пер.\ Экземпляры всего: 2 ЧЗ (1), АБ (1) Свободны: ЧЗ (1), АБ (1) |
Л93 Любимский, Эдуард Зиновьевич. Программирование [] : учеб. пособие / Э. З. Любимский, В. В. Мартынюк, Н. П. Трифонов ; под ред. Э. З. Любимского. - М. : Наука, 1980. - 607 [1] с. : рис., табл. - Предм. указ.: с. 603-607. - 1.50 р.
Рубрики: Програмування--Алгоритмічні мови програмування--Використання--Навчальні видання для вищої школи фывфывфыв: теории алгоритмов -- теорії алгоритмів -- форма Букуса -- логические выражения -- логічні вирази -- оптимизация циклов -- оптимізація циклів -- составные операторы -- рекурсивные процедуры -- рекурсивні процедури -- комментарии -- коментаі -- структура данных -- структура даних -- электронно-вычислительные машины -- електронно-обчислювальна машина -- приемы программирования -- прийоми програмування -- системы программирования -- системи програмування -- язык программирования фортран -- мова програмування фортран -- автокоды -- автокоді -- мультипрограммы -- мультипрограми -- операционные системы -- операційні системи Аннотация: Двухгодичные курсы лекций, которые соответствуют новой программе математики и кибернетики. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Мартынюк, Виктор Владимирович; Трифонов, Николай Павлович; Любимский, Эдуард Зиновьевич \ред.\ Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |
М97 Мэрдок, Келли Л.. Java Script: наглядный курс Web-страниц [] = Java Script Your Visual blueprint for building dynamic Web pages : учеб пособие / Келли Л. Мэрдок ; [пер. с англ. и ред. В. М. Неумоина]. - Москва : Вильямс, 2001. - 288 с. : рис. - Прил.: с. 264-274. - Предм. указ.: с. 275-284. - ISBN 5-8459-0156-1 : 23.00 грн
Рубрики: Java Script, мова--Програмування--Використання--Навчальні видання фывфывфыв: переменные -- змінні -- объявление массивов -- об'явлення масивів -- использование объектов -- використання об'єктів -- установка фокуса -- передача параметров функции -- передача параметрів функцій -- логические выражения -- логічні вирази -- распознавание численных значений -- розпізнавання числових значень -- предварительная загрузка изображений -- попереднє завантаження зображень -- цвет фона -- колір фону -- гиперссылки -- гіперпосилання -- локализация символов -- локалізація символів -- управление фокусом формы -- управління фокусом форми Аннотация: Наглядное пособие по основам программирования на языке сценариев Java Script: рассмотрены базовые средства Java Script и методы их использования. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Неумоин, В. М. \пер.\; Неумоин, В. М. \ред.\ Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1) |