Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>K=ФОРМАЛЬН$<.>+<.>K=ЛОГІКА$<.>) |
Загальна кількість знайдених документів : 7
Представлено документи з 1 до 7
|
| | | | |
1. | | | > Ж16833
> Проблеми програмування [Текст] : наук. журн./ НАН України, Ін-т програм. систем ; редкол.: І. П. Сініцин (голов. ред.) [та ін.]. - Київ : [б. в.], 1999 . -Назва на дод.тит.аркуші: Problems in programming. - Виходить щоквартально.- Отримується з 1999. ВІДОМОСТІ ПРО ЗМІНИ: Видання До 2004 р., № 4 див.: Проблемы программирования Голов. ред. : Андон П. І.Ред. : Анісімов А. В.Ред. : Балабанов О. С.Ред. : Глибовець А. М.Ред. : Глибовець М. М.Ред. : Гудак Ш.Ред. : Дорошенко А. Ю.Ред. : Ігнатенко О. П.Ред. : Корнілович А.Ред. : Куссуль Н. М.Ред. : Летичевський О. А.Ред. : Недашківська Н. І.Ред. : Нікітченко М. С.Ред. : Пасічник В. С.Ред. : Пашко С. В.Ред. : Пелещишин А. М.Ред. : Погорілий С. Д.Ред. : Провотар О. І.Ред. : Редько В. Н.Ред. : Сергієнко І. В.Ред. : Сидоров М. О.Голов. ред. : Сініцин І. П.Ред. : Теленик С. Ф.Ред. : Тиугу Е. Х.Ред. : Хлухі Л.Ред. : Чая Л.Ред. : Шевченко В. Л.Ред. : Яловець А. Л. - ISSN 1727-4907 Анотація: Науковий журнал “Проблеми програмування” заснований Національною Академією наук України та Інститутом програмного забезпечення НАН України у 1999 році. Видання публікує оригінальні та оглядові статті з основних проблем програмування, у тому числі з такої проблематики теоретичних і методологічних основ програмування, формальних методів розроблення програмного забезпечення, моделей, методів та засобів програмної інженерії, моделей, методів та засобів паралельних та розподілених обчислень, моделей, методів та засобів систем баз даних та знань, математичного моделювання об’єктів та процесів, інструментальних та прикладних засобів програмування. Тематика журналу: у виданні широко висвітлено діяльність НАН України, основні проблеми організації та координації фундаментальних і прикладних наукових досліджень, актуальні проблеми наукової та інноваційної діяльності, сучасний стан і перспективи розвитку найважливіших наукових напрямів природничих, технічних і соціальних наук як в Україні, так і в світі, звіти про досягнення наукових колективів та окремих дослідників. Науковий журнал “Проблеми програмування” виходить з періодичністю 4 рази на рік українською та англійською мовами. Представлені роки з 1997 по теперішній час. РОКИ: 1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Рубрики:Географічні рубрики: | Файл: IMG - 0, Сайт журналу, Файл: IMG - 0 Видання зберігається у :
Основний фонд
| |
| | | | |
2. |
Ж29137/2008/803; Вип. 34 | Харківський національний університет ім. В.Н.Каразіна. Вісник Харківського національного університету ім. В.Н.Каразіна [Текст] = Kharkiv National University bulletin / ред. Г. Задорожний. - Х., 1965 - . - ISSN 0453-8048. 2008, №803, Вип.34 : Логіка і мислення в науці і релігії> Вип.34 : Теорія культури і філософія науки : тем. вип. / ред. І. Білецький. - Х. : [б.в.], 2008. - 209 с. (Вісник Харківського національного університету імені В. Н. Каразіна ; 2008, №803, Вип.34). - Бібліогр. в кінці ст. Содержание:
Рубрики:
| 2008 | | № 803; Вип. 34
|
Видання зберігається у :
Основний фонд
| |
| | | | |
3. |
Ж73925/2009/1 | Філософські діалоги [Текст] : [наук. зб.] / НАН України, Ін-т філософії ім. Г. С. Сковороди. - К. : [б. в.], 2009 - . Вип. 1 : Виміри людського буття: логіка, методологія, семіотика культури : за матеріалами конф. до 75-річчя акад. М. В. Поповича. - К. : [б. в.], 2009. - 440 с. : фотогр. (Філософські діалоги ; Вип. 1). - Бібліогр. в кінці ст. - 500 экз. - ISBN 978-966-02-4853-3
Рубрики:
| 2009 | | Вип. 1
|
Видання зберігається у :
Основний фонд
| |
| | | | |
4. |
Ж68890/2012/90 | Інститут математики. Праці інституту математики. Серія: , Математика та її застосування [Текст] / Нац. акад. наук України, Ін-т математики. - К. : [б. в.]. Т. 90 : Формальні засоби моделювання паралельних процесів та систем / Б. Б. Нестеренко, М. А. Новотарський. - Київ : [б. в.], 2012. - 333 с. : рис., табл. (Праці Інституту математики НАН України. - Серія: Математика та її застосування ; Т. 90). - Бібліогр.: с. 223-230. - ISBN 966-02-2571-7. - ISBN 978-966-02-6506-6
Рубрики:
| 2012 | | Т. 90
|
Видання зберігається у :
Основний фонд
| |
| | | | |
5. |
Онищенко О.С.:Ж136/2009/1 | Філософські діалоги [Текст] : зб. наук. пр. / Нац. акад. наук України, Ін-т філос. ім. Г. С. Сковороди. - К. : [б. в.]. Вип. 1 : Виміри людського буття: логіка, методологія, семіотика культури : за матеріалами конф. до 75-річчя акад. М. В. Поповича. - Київ : [б. в.], 2009. - 439 с. : фот. (Філософські діалоги ; Вип. 1). - Текст укр., рос. - Бібліогр. в кінці ст. - 500 экз. - ISBN 978-966-02-4853-3
| 2009 | | Вип. 1
|
Видання зберігається у :
Основний фонд
| |
| | | | |
6. | | > Ж69408:Пед.н.
> Черкаський національний університет імені Богдана Хмельницького. Вісник Черкаського національного університету імені Богдана Хмельницького [Текст]. Серія: Педагогічні науки/ Черкас. нац. ун-т ім. Богдана Хмельницького ; редкол. сер.: В. В. Борисов (голова) [та ін.]. - Черкаси : Черкас. нац. ун-т ім. Богдана Хмельницького, 1997 . -Назва на дод.тит.аркуші: Bulletin of the Cherkasy Bohdan Khmelnytsky National University. Series: Pedagogical sciences. - Періодичність: 18 разів на рік.- Отримується з 1997. ВІДОМОСТІ ПРО ЗМІНИ: Видання До 2016 р. див.: Вісник Черкаського університету (Шифр Ж69408) До 2019 р., №4 див.: Вісник Черкаського університету. Серія: Педагогічні науки Ред. : Авшенюк Н. М.Ред. : Акуленко І. А.Ред. : Артюшенко А. О.Ред. : Арутюнян Н. К.Ред. : Архипова С. П.Ред. : Бондар І. І.Голов. ред. : Борисов В. В.Ред. : Будник О. Б.Ред. : Бурда М. І.Ред. : Вовк О. І.Ред. : Галус О. М.Відп. ред. : Гнезділова К. М.Ред. : Гриценко В. Г.Ред. : Гробовий А. К.Ред. : Гуржій А. М.Ред. : Данилюк С. С.Ред. : Десятов Т. М.Ред. : Добрєва (Георгієва) С.Ред. : Євтух М. Б.Ред. : Єркібаєва Г. Г.Ред. : Жорова І. Я.Ред. : Каменова Д.Ред. : Капська А. Й.Ред. : Клим-Климашевская А.Ред. : Клявіна А.Ред. : Коломієць О. Г.Ред. : Коломієць О. Г.Ред. : Кондрашов О.Ред. : Кондрашова Л. В.Ред. : Крилова Т. В.Ред. : Кузьмінський А. І.Ред. : Кукуленко-Лукьянець І. В.Ред. : Лодатко Є. О.Ред. : Малафіїк І. В.Ред. : Мартовицька Н. В.Ред. : Мельников О. І.Ред. : Михальчук О. О.Ред. : Мікаєлян Г. С.Ред. : Мілушев В. Б.Ред. : Назаренко Г. А.Ред. : Ничкало Н. Г.Ред. : Ніколаєску І. О.Ред. : Омельченко С. О.Ред. : Остапенко Н. М.Ред. : Пакушина Л. З.Ред. : Періг О. В.Ред. : Пономаренко Т. О.Ред. : Пригодій М. А.Ред. : Рангелова Е.Ред. : Рудишин С. Д.Ред. : Семеріков С. О.Ред. : Сердюк З. О.Ред. : Симоненко Т. В.Ред. : Скворцова С. О.Ред. : Тарасенкова Н. А.Ред. : Федосова І. В.Ред. : Харадзе Е. М.Ред. : Шпак В. П. - ISSN 2076-586X. - ISSN 2524-2660 Анотація: “Вісник Черкаського національного університету імені Богдана Хмельницького. Серія: Педагогічні науки” (англ. “Bulletin of the Cherkasy Bohdan Khmelnytsky National University. Series: Pedagogical Sciences”) – науковий журнал. Засновник: Черкаський національний університет імені Богдана Хмельницького. Матеріали “Вісника” присвячені проблемам формальної, не формальної та ін формальної освіти. У статтях презентуються результати досліджень різних аспектів розвитку освітніх систем, особливості організації різних форм навчання, розробки нових педагогічних технологій, педагогічні умови ефективності пізнавальної діяльності суб’єктів освітнього процесу, неперервність професійної освіти тощо. РОКИ: 2016
2017
2018
2019
2020
2021
2022
2023
Рубрики:Географічні рубрики: | Сайт видання, Файл: IMG - 0 Видання зберігається у :
Основний фонд
| |
| | | | |
7. | | > Ж44511 Karaite Atchives , Poznań.- Отримується з 2013.
|
> Karaite Atchives [Текст]/ Adam Mickiewicz Univ. Poznan ; ed. board: P. Muchowski (ed.-in-chief) [et al.]. - Poznań : [s. n.], 2013 . - Виходить щорічно.- Отримується з 2013. Ред. : Hornsby M.Ред. : Jankowski H.Голов. ред. : Muchowski P.Ред. : Németh M.Ред. : Witkowski R. - ISSN 2353-2327 Анотація: “Karaite Archives” (укр. “Караїмський архів” – це рецензований друкований журнал, який виходить щорічно та присвячений літературі, мовам, історії та культурі караїмів у Східній Європі. Він створений як форум для караїмських вчених для просування досліджень та обміну ідеями. Журнал було засновано у 2013 р. з ініціативи групи європейських та ізраїльських вчених. Хоча формально він пов’язаний із кафедрою азійських студій Університету Адама Міцкевича в Познані, до його редагування також залучені науковці з інших академічних установ. Журнал забезпечує миттєвий і відкритий доступ до всього свого вмісту, згідно з припущенням, що необмежений доступ до досліджень полегшує та стимулює глобальний розвиток науки та обмін знаннями. Редакція заохочує авторів розміщувати свої статті, опубліковані журналом, у відкритих сховищах (після рецензування або остаточної версії видавця), надаючи посилання на веб-сайт журналу та номер DOI статті. РОКИ: 2013
2014
Рубрики: | Сайт видання, Сайт CEJSH, Сайт EZB, Файл: IMG - 0
|
|
|