![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Никитченко Н$<.>) |
Загальна кількість знайдених документів : 12
Представлено документи з 1 до 12
|
| | | | |
1. |
Никитченко Н. С. Аппликативные композиции частичных предикатов / Н. С. Никитченко // Кибернетика и систем. анализ. - 2001. - № 2. - С. 15-33. - Библиогр.: 19 назв. - рус.Досліджено композиції часткових предикатів граничного конкретного рівня абстракції, які є основою різних інфінітарних логік предикатів. Наведено повний опис таких композицій в термінах спеціальних алгебр Кліні та побудовано повні системи тотожностей для таких композицій. Визначено необхідні та достатні умови застосування правила виведення modus ponens для логік часткових предикатів. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Никитченко Н. С. Пропозициональные композиции частичных предикатов / Н. С. Никитченко // Кибернетика и систем. анализ. - 2000. - № 2. - С. 3-19. - Библиогр.: 16 назв. - рус.Визначено та досліджено композиції часткових предикатів граничного високого рівня абстракції, які є основою інфінітарних пропозиційних логік. Наведено повний опис таких композицій в термінах спеціальних алгебр, названих алгебрами Кліні, та побудовано повну систему тотожностей для таких композицій. Індекс рубрикатора НБУВ: В123
Рубрики:
Шифр НБУВ: Ж29114 Пошук видання у каталогах НБУВ
|
| | | | |
3. |
Савина Н. В. Влияние малых доз на биологические эффекты алкилирующих агентов в исследованиях на дрозофиле / Н. В. Савина, О. В. Даливеля, Н. В. Никитченко, Т. Д. Кужир // Цитология и генетика. - 2003. - 37, № 1. - С. 48-55. - Библиогр.: 32 назв. - рус. Індекс рубрикатора НБУВ: Е621.158.262Dvo*801.1-642
Шифр НБУВ: Ж60216 Пошук видання у каталогах НБУВ
|
| | | | |
4. |
Никитченко Н. С. Интенсиональные аспекты понятия программы / Н. С. Никитченко // Пробл. программирования. - 2001. - № 3-4. - С. 5-13. - Библиогр.: 21 назв. - рус.Розглянуто методологічні питання визначення поняття програми. Аргументовано, що визначення повинно розглядатися у розвитку від абстрактного до конкретного, вводитись у єдності інтенсійних та екстенсійних аспектів бути формалізованим на основі поняття функції. Наведені положення проілюстровано на прикладах визначення різних класів обчислюваних програм. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж16833 Пошук видання у каталогах НБУВ
|
| | | | |
5. |
Никитченко Н. С. Композиционно-номинативные аспекты адресного программирования / Н. С. Никитченко // Кибернетика и систем. анализ. - 2009. - 45, № 6. - С. 24-35. - Библиогр.: 18 назв. - рус.Розглянуто та проаналізовано основні принципи адресного програмування - принцип адресності та принцип програмного керування. Продемонстровано подальший розвиток наведених принципів у межах композиційного та композиційно-номінативного програмування. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: Ж29144 Пошук видання у каталогах НБУВ
|
| | | | |
6. |
Полешко В. Ю. Особливості клінічного перебігу, діагностика та лікування гастроезофагеальної рефлюксної хвороби при патології верхніх відділів травного каналу / В. Ю. Полешко, І. В. Ілінчук, Н. М. Никитченко, І. В. Євстигнєєв // Медицина трансп. України. - 2008. - № 3. - С. 39-43. - Бібліогр.: 7 назв. - укp.Рассмотрены вопросы диагностики и лечения гастроэзофагеальной рефлюксной болезни, включая данные эндоскопических обследований за последние два года. Проанализированы внепищеводные атипические клинические формы и формы, резистентные к лечению. Подтверждено предположение о том, что хронический гастрит и дуоденит могут быть факторами риска возникновения эрозивной формы гастроэзофагеальной рефлюксной болезни. Індекс рубрикатора НБУВ: Р413.1 + Р413.2
Рубрики:
Шифр НБУВ: Ж23985 Пошук видання у каталогах НБУВ
|
| | | | |
7. |
Никитченко Н. С. О применении композиционно-номинативных логик в инсерционном моделировании / Н. С. Никитченко, В. Г. Тимофеев // Управляющие системы и машины. - 2012. - № 6. - С. 57-63. - Библиогр.: 12 назв. - рус.Рассмотрена возможность применения композиционно-номинативных логик как инструмента проведения формально-логических рассуждений в рамках технологии инсерционного моделирования. Обоснована теоретическая база такого применения - сформулирована задача проверки выполнимости формул в многосортных композиционно-номинативных логиках первого порядка. Предложен редукционный подход к ее решению. Індекс рубрикатора НБУВ: З813.18
Рубрики:
Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ
|
| | | | |
8. |
Никитченко Н. В. Державний контроль як складова забезпечення господарського правопорядку: проблеми теорії і практики : [монографія] / Н. В. Никитченко; Нац. ун-т держ. податк. служби України. - Ірпінь : Нац. ун-т ДПС України, 2014. - 342 c. - Бібліогр.: с. 303-337 - укp.Розкрито правову суть контрольних правовідносин у господарській діяльності. Розглянуто державний контроль як умову правопорядку у сфері господарської діяльності. Викладено особливості захисту прав та інтересів учасників контрольних правовідносин. Висвітлено поняття й особливості здійснення податкового контролю у сфері господарювання. Досліджено міжнародний досвід реформування державного контролю. Індекс рубрикатора НБУВ: Х819(4УКР)071.101:Х83
Рубрики:
Шифр НБУВ: ВА778988 Пошук видання у каталогах НБУВ
|
| | | | |
9. |
Никитченко Н. В. Правове регулювання державного контролю у сфері господарської діяльності : автореф. дис. ... д-ра юрид. наук : 12.00.04 / Н. В. Никитченко; НАН України, Ін-т екон.-прав. дослідж. - Київ, 2015. - 35 c. - укp.Визначено місце та роль державного контролю (ДК) у забезпеченні суспільного господарського порядку, надано правову аргументацію застосовування до відносин ДК у сфері господарювання концепції публічних послуг. Вдосконалено принципи ДК у сфері господарської діяльності, виявлено господарсько-правову природу та сформульовано його поняття. Обгрунтовано пропозиції щодо повноважень і відповідальності органів ДК. Проаналізовано правове положення суб'єктів господарювання у відносинах з органами ДК, аргументовано їх право вимагати укладення організаційно-господарських договорів з органами ДК та інші пропозиції до законодавства. Досліджено право на захист і способи захисту прав та інтересів учасників відносин ДК у сфері господарської діяльності, обгрунтовано пропозиції щодо шляхів його вдосконалення. Проаналізовано фактори, які негативно впливають на захист інтересів держави у контрольних правовідносинах із суб'єктами господарювання. Обгрунтовано розширення законодавчих гарантій прав суб'єктів господарювання у відносинах з органами ДК. Досліджено зарубіжний досвід, виявлено сучасні моделі й основні напрями вдосконалення правового регулювання ДК у сфері господарської діяльності за кордоном. Обгрунтовано основні напрями вдосконалення правового регулювання ДК у сфері господарської діяльності в Україні. Індекс рубрикатора НБУВ: Х819(4УКР)071.1:Х83
Рубрики:
Шифр НБУВ: РА419366 Пошук видання у каталогах НБУВ
|
| | | | |
10. |
Воронков А. И. Выбор схемы электрогидроавтоматики для управления впускным клапаном поршневого пневмодвигателя / А. И. Воронков, Г. А. Аврунин, Н. Н. Никитченко, Э. В. Тесленко, А. А. Назаров // Вестн. ХНАДУ. - 2017. - Вып. 78. - С. 144-150. - Библиогр.: 24 назв. - рус.Рассмотрены возможные принципиальные схемы реализации управления впускным клапаном поршневого кривошипного пневмодвигателя с помощью устройств электрогидроавтоматики. Індекс рубрикатора НБУВ: О156-04
Рубрики:
Шифр НБУВ: Ж69103 Пошук видання у каталогах НБУВ
|
| | | | |
11. |
Треті наукові читання пам'яті академіка В. К. Мамутова, 20 липня 2021 року : [тези виступів] / ред.: В. А. Устименко; упоряд.: Р. А. Джабраілов, Н. В. Никитченко, О. Ю. Ілларіонов; Національна академія наук України, Інститут економіко-правових досліджень імені В. К. Мамутова, Університет державної фіскальної служби України. - Київ : НАН України, ДУ "ІЕПД ім. В. К. Мамутова НАН України", 2021. - 294 c. - укp.Розглянуто науково-творчу спадщину академіка Національної академії наук та Національної академії правових наук України Валентина Карловича Мамутова. Обговорено актуальні та найбільш сучасні питання правового забезпечення господарських відносин в Україні та за кордоном. Охарактеризовано новітні тенденції у господарському процесі, шляхи модернізації та рекодифікації господарського законодавства в контексті стратегічного курсу України щодо реалізації положень Угоди про асоціацію з Європейським Союзом. Захід проведено за технічної підтримки Ресурсного Центру соціально-правової та професійної підтримки співробітників переміщених ЗВО/наукових установ (створений за підтримки Офісу Ради Європи в Україні). Висвітлено питання модернізації цивільного та господарського законодавства України, національну стратегію розвитку публічних закупівель та їх роль у реалізації цілей сталого розвитку. Увагу приділено питанню звільнення посадових осіб господарських товариств у зв’язку з припиненням їх повноважень. Індекс рубрикатора НБУВ: Х839(4УКР)9
Рубрики:
Шифр НБУВ: СО37866 Пошук видання у каталогах НБУВ
|
| | | | |
12. |
Торгове право = Trade law : навч. посіб. / Н. В. Никитченко, О. Г. Боднарчук, О. Ю. Минюк, О. В. Онишко, В. Б. Крикун, О. І. Боднарчук, К. Б. Починок, О. О. Роженюк ; ред.: Н. В. Никитченко; Університет державної фіскальної служби України. - Ірпінь : Ун-т ДФС України, 2021. - 433 c. - (Серія "Податкова та митна справа України"; т. 172). - Бібліогр.: с. 386-433 - укp. - англ.Надано базові правові знання з питань організації та здійснення торговельної діяльності, розглянуто особливості правового регулювання окремих інститутів торгового права та практику врегулювання господарських спорів. Висвітлено загальні положення про торгове право. Проаналізовано особливості правового регулювання аукціонної торгівлі, рекламної діяльності, оптової та роздрібної, електронної, а також зовнішньої торгівлі. Увагу приділено проблемам контролю у сфері торгівлі. Індекс рубрикатора НБУВ: Х839(4УКР)901.31 я73
Рубрики:
Шифр НБУВ: ВА855983 Пошук видання у каталогах НБУВ
|
|
|