First order logic vs propositional logicработы

Фильтр

Мои последние поисковые запросы
Фильтровать по:
Бюджет
по
по
по
Тип
Навыки
Языки
    Статус работы
    356,337 first order logic vs propositional logic работ(-а,-ы) найдено, цены указаны в USD

    Нужен опытный .NET/C# разработчик для компании, которая занимается разработкой дизайнерского ПО (PC-based). Компания предлагает: Конкурентную, официальную зарплату, учитывая квалификацию кандидата; Спортивные мероприятия; Оплачиваемые обеды; Отличные условия для карьерного и профессионального роста; Оплачиваемые отпуск и больничные. Необходимые компании опыт и знания: Минимум 3 года оп...

    $4386 (Avg Bid)
    $4386 Ср. заявка
    7 заявок(-ки)

    Hi! Кто поможет написать диплом по системному анализу и управлению ( экономика) . Естественно, не бесплатно. Важно разбираться в таких средах как Any logic (Или других программ имитационного моделирования), UML, Buisnes studio, Swat анализ, Степ анализ и тд. , стандартах idef. Если у вас есть готовые работы по Сау или Инноватике, или что то в этом духе, я могу их у вас купить . Актуально в бл...

    $70 (Avg Bid)
    $70 Ср. заявка
    2 заявок(-ки)

    my site is [войдите, чтобы посмотреть URL] ENGLISH: I need 1) I have a online book shop on OpenCart. I need to create online rent a book (pdf version) , it must be like it: You are paying for book rent and book will be activated - you can read that book (pdf file) till 10 day and after 10 day access to book will be cancelled. Main things: I need that - the one who rent book - he can`t to cop...

    $40 (Avg Bid)
    $40 Ср. заявка
    2 заявок(-ки)

    Репутация Бюджет (USD) ×Hire HiFiDesigner Портфол HiFiDesigner Pakistan недавно Нанят работодателем Обсудить проект 5.0 $3.0 8 Отзывы Завершаемость 100% $2 / час Часы: 1 Ч./неделю Ожидает ответа Ожидает ответа Промеж. платежи Счета Сообщения Файлы Счетчик времени × Создать промежуточный платеж $ Создать промежуточный платеж Отмена Промеж. платежи Сумма Описание Статус Действия...

    $53 / hr (Avg Bid)
    $53 / hr Ср. заявка
    2 заявок(-ки)

    Оклад - 100 000 - 140 000 рублей (по результатам собеседования) Опыт работы от 1 до 3 лет г. Москва Должностные обязанности - Разработка клиентского ПО на C# (MS VS 2010) - Разработка БД (MS SQL Server) Необходимые компетенции 1. Платформа Microsoft.NET Framework. 2. Языки программирования С, С++, C#. 3. Язык запросов T-SQL. 4. Язык моделирования UML. 5. Принципы работы основных а...

    $3572 (Avg Bid)
    $3572 Ср. заявка
    6 заявок(-ки)

    Требуется создание сайта под ключ по имеющемуся дизайн-макету. Сайт представляет из себя афишу с рецензиями и продажей билетов (создается в 2 отдельно оплачиваемых этапа). Основные функции: 1. Календарь афиши с фильтрами и сортировкой по категориям, ближайшим событиям (место + дата), событиям сегодня (или указанную дату), события за месяц. 2. Возможность добавить свое событие прямо на сайте....

    $694 (Avg Bid)
    $694 Ср. заявка
    17 заявок(-ки)

    Админ часть: 1) вывод кнопки компонента в админке 2) возможность создания команд -тут мы можем прикрепить логотип команды -указать название команды - город (откуда команда) 3) создать матч -выбираем между командами КРАСНАЯ 1 VS СИНЯЯ 2 -указываем дату игры, время, стадион на котором играют ps; Если есть возможность сделать автоматический выбор стадиона в плане Красный цвет, значит это до...

    $173 (Avg Bid)
    $173 Ср. заявка
    2 заявок(-ки)

    Мне нужно подсоеденить Яндекс Такси, РБТ, ГетТакси, Сити-Мобил и другие на один CRM и что бы таксисты могли получять заказы из этих источников на один планшет.

    $1764 (Avg Bid)
    $1764 Ср. заявка
    9 заявок(-ки)

    Необходимо написать программу на VS 2010 используя уже купленную sdk для отслеживания операций с флэшкой. Подробности в л/с.

    $94 (Avg Bid)
    $94 Ср. заявка
    5 заявок(-ки)
    Create an ad campaign @ adwords Завершено left

    Create an ad campaign in Google адвордс and approve it. Account American, targeting Russia. Please enter the price of execution of the order.

    $163 (Avg Bid)
    $163 Ср. заявка
    4 заявок(-ки)
    Web information in users browser Завершено left

    I bad speak English, order to explain all the details is desirable need a specialist who knows the Russian language Need to implement the task of mapping a custom notification as a banner or widget in the user's browser. It is planned that the system will consist of two parts, the server and client. The client part is a script that runs in the browser user then defines the type of device and...

    $11 / hr (Avg Bid)
    $11 / hr Ср. заявка
    5 заявок(-ки)

    Есть шаблон с Template Monster для магазина юв. изделий на Prestashop. Мне нужно несколько видоизменить шаблон (поменять местами некоторые блоки) + интегрировать с моим рабочим интернет магазином и моей базой. Все должно быть ровно, кроссбраузерно и адаптивно. Шаблон уже закинул на свободный хостинг для теста Вот как он выглядит [войдите, чтобы посмотреть URL] А вот мой магазин собственно рабочи...

    $148 (Avg Bid)
    $148 Ср. заявка
    8 заявок(-ки)
    new photos Завершено left

    I need to remake the old 8 pictures (scans from the film) architectural subjects in a contemporary style using photoshop or 3d modeling (at your option) Examples of work in the attachment. To start'll pay remake one picture and if the result is satisfied, then will order the remaining 8. The size of the resulting images should be 1020 * 350 ps. ******* Мне необходимо переделать 8 старых ...

    $22 (Avg Bid)
    $22 Ср. заявка
    3 заявок(-ки)
    selection of clients! - repost Завершено left

    Добрый день! Мне нужен человек, который будет мне искать клиентов или заказы на веб дизайн за границей. Оплата 10% от оплаченого заказа. Все детали обговорим при переписке. ------------------------------ Good day! I need someone who will I find customers or orders for web design abroad. Payment of 10% of the paid order. All items shall discuss in the correspondence. Thank you all!

    $5 / hr (Avg Bid)
    $5 / hr Ср. заявка
    1 заявок(-ки)
    selection of clients! Завершено left

    Добрый день! Мне нужен человек, который будет мне искать клиентов или заказы на веб дизайн за границей. Оплата 10% от оплаченого заказа. Все детали обговорим при переписке. ------------------------------ Good day! I need someone who will I find customers or orders for web design abroad. Payment of 10% of the paid order. All items shall discuss in the correspondence. Thank you all!

    $2 - $8 / hr
    $2 - $8 / hr
    0 заявок(-ки)

    Есть приложение-игра, написанная на Unity для iOS. Оно появится в AppStore 26.07.2013 Необходимо провести небольшую рекламную компанию для распространения информации о продукте и создании начальной клиентской базы. There is a game, powered by Unity for iOS. It will be releazed in AppStore on 27.07.2013 Requered: a small advertising programm in order to distribute the information about the gam...

    $15 (Avg Bid)
    $15 Ср. заявка
    1 заявок(-ки)
    Market / Demographics Research - Australia 6 дней(-я) left
    ПОДТВЕРЖДЕН

    Require market and demographics research for SMB for 3 specific industries within an Australian state. 1st Requirement: For each industry: -Roughly what proportion are Small to Medium Business (SMB) -For SMBs only, what types of services are offered -For SMBs only, what is the proportion of government vs privately owned -For SMBs only, what is the demographics of the people working within each b...

    $61 (Avg Bid)
    $61 Ср. заявка
    7 заявок(-ки)
    dropshiping Project 6 дней(-я) left
    ПОДТВЕРЖДЕН

    I want a dropshiping developer with at list 5years of experience in dropshiping project to develop the following: 1. Source for reliable suppliers for dropshiping products 2. Create amazon,ebay,facebook,jumia,instagram store and put suppliers product on them 3. Create automated order payment and supply from customer to suppliers (payment first to me and then suppliers payment to supplier all aut...

    $243 (Avg Bid)
    $243 Ср. заявка
    2 заявок(-ки)

    Hi, I have a PDF that needs to be edited in Word/excel in order to replace/edit some text. I will need 2 files edited and i need it ASAP, meaning today.

    $13 / hr (Avg Bid)
    $13 / hr Ср. заявка
    26 заявок(-ки)

    Hello Freelancers! I am looking for somebody with Google Slide Presentation Automation skills. I need to automate data inputs on the slides and directional arrows(color changing Red/Green). The Data will be coming from Google Slides. Python code can be implemented but need someone with Javascript experience to work with Google Apps Script. Here is code documentation: [войдите, чтобы посмотреть...

    $13 / hr (Avg Bid)
    $13 / hr Ср. заявка
    2 заявок(-ки)
    Three functions for freelancer. 6 дней(-я) left
    ПОДТВЕРЖДЕН

    ### NodeJS / Solidity Script Developer I am searching for a freelancer to implement limit functions in Node. It should call the limit order function in 1inch and place orders. Really simple Node/Python script no fancy logic, just set limit price for a specific [войдите, чтобы посмотреть URL] pair. The node script should contain 3 functions. Ideally you go through Infura to create the orders. ...

    $163 (Avg Bid)
    $163 Ср. заявка
    3 заявок(-ки)
    I need 3 functions 6 дней(-я) left
    ПОДТВЕРЖДЕН

    I am searching for a freelancer to implement limit functions in Node. It should call the limit order function in 1inch and place orders. Really simple Node script no fancy logic, just set limit price for a specific [войдите, чтобы посмотреть URL] pair. The node script should contain 3 functions. Ideally you go through Infura to create the orders. Please provide install instructions for node o...

    $4 / hr (Avg Bid)
    $4 / hr Ср. заявка
    3 заявок(-ки)

    I want my new website, which is not a very ambitious category, to enter the google rankings of 6 7 words in a good way. And the site is in Turkish. The search engine is GOOGLE.COM.TR.

    $57 (Avg Bid)
    $57 Ср. заявка
    12 заявок(-ки)

    Woocommerce checkout taking 20 seconds to complete order. Need developer to fix it.

    $16 (Avg Bid)
    $16 Ср. заявка
    2 заявок(-ки)

    Amigos del Aprendizaje (ADA for short, or translated: Friends of Learning) is a non-profit Costa Rican organization whose mission is to improve children's life-long learning opportunities, by motivating them to read and write for a purpose, in order to reduce high school dropout, break the intergenerational cycle of poverty and enable children to thrive. After having the same logo for 21 ye...

    $100 (Avg Bid)
    Гарантированный
    python project 6 дней(-я) left

    Hello, I need a fast and simple script. I will describe and you tell me if want to do. Ok? 1 - Connect to Kucoin trough API 2 - Read all the orders with "Complete Status" (lopping every 30 seconds) 3 - After reading the bot just need to issue "counter" orders. For counter i mean: if an buy order of 100 was completed you shoul issue an sell order of 100 in the same moment. 4 -...

    $19 / hr (Avg Bid)
    $19 / hr Ср. заявка
    12 заявок(-ки)
    Excel based menu 6 дней(-я) left
    ПОДТВЕРЖДЕН

    I'd like a menu created (cannabis products) that I can send to stores, from which they can order and will kick out a total cost. It needs to be updatable in house. A basic format containing current products has already been created, just don't have the time to flesh the rest of this out. Needs to be extremely user obvious and friendly (stoner friendly?). Color coded is necessary. Picture...

    $100 (Avg Bid)
    $100 Ср. заявка
    24 заявок(-ки)
    WAX dapp game 6 дней(-я) left

    Iam looking for a developer with experience working on WAX chain, first web. I like to order a game which has its own token and in the moment two game modes. The main feature is to use NFT ingame on wax chain, which i can whitelist and de-withelisted to be accepted and set there stats theys have ingame. For one game mode, [войдите, чтобы посмотреть URL] is a good reference. Own wallets, nft mar...

    $1730 (Avg Bid)
    $1730 Ср. заявка
    10 заявок(-ки)
    Tech Support Agent 9 am-5 pm CT M-F -- 2 6 дней(-я) left
    ПОДТВЕРЖДЕН

    Now Hiring: Client Support Agent for growing B2B E-Commerce company. We're looking for agents that can familiarize themselves with our policies, communicate them properly to our clients, handle general inquiries, provide order support via Zendesk support and chat. Requirement: Prior experience with zendesk. Fluency in US English Proven CS soft skills Proficiency in understanding the natur...

    $11 / hr (Avg Bid)
    $11 / hr Ср. заявка
    7 заявок(-ки)
    Cthulhu vs Muerte (La Parca) 6 дней(-я) left

    Hola mi nombre es Matías, soy de chile, quiero hacerme un tatuaje, mi idea es hacer una representación de él mítico cthulhu vs la muerte mientras en el fondo esté Dios viendo como se pelean mientras toma una cerveza estando sentado jajaja, en Chile hay una cerveza que se llama baltica, ojala se pudiese ver que la cerveza sea de la marca, la idea del tatuaje es qu...

    $45 (Avg Bid)
    $45 Ср. заявка
    6 заявок(-ки)

    I have created a Lots of functionality like Login, signup, email verification etc. want to implement wallet system, I got one code from github and that is best match for me. I want someone who can just take that logic and implement it in my project

    $3 / hr (Avg Bid)
    $3 / hr Ср. заявка
    3 заявок(-ки)

    We use Prestashop 1.7.6.7 We have an issue that may be a PS bug with regard to product update date in the DB. What we need to happen is when there is a sale, for the sale date to be updated in the DB product_shop -> date_upd. At present the sale date does not get updated in product_shop -> date_upd We use various modules to pull in orders from amazon, ebay, onBuy, Fruugo etc so I assume u...

    $65 (Avg Bid)
    $65 Ср. заявка
    3 заявок(-ки)

    We are a startup company looking for an efficient, creative web developer/designer. We are in need of a website that can be up and running quickly, and we will be adding to it as our business grows. We have a basic design in mind and will start with just a few pages. Our customers will register online and fill out a form telling us what kind of data they want us to provide back to them in a re...

    $446 (Avg Bid)
    $446 Ср. заявка
    88 заявок(-ки)
    Re-type a document 6 дней(-я) left

    I have a PDF that needs to be type in order to replace/edit some text. I will need 2 files edited.

    $18 / hr (Avg Bid)
    $18 / hr Ср. заявка
    40 заявок(-ки)
    Update program bugs - python script 6 дней(-я) left
    ПОДТВЕРЖДЕН

    Milestone 1: The program needs to run as expected. These are some of the issues its facing right now. Issue 1 Currently I have an API from the PA-API ( Amazon product advertising API) that is suppose to update the .csv file 8-10 ASINs/ second. It currently updates the .csv 8-10 ASINS/ second if the ASINS are being "updated" , however if a new ASIN that we are searching for is input, th...

    $158 (Avg Bid)
    $158 Ср. заявка
    16 заявок(-ки)

    I have a PDF that needs to be type in order to replace/edit some text. I will need 2 files edited and i need it ASAP, meaning within 2 days.

    $13 / hr (Avg Bid)
    $13 / hr Ср. заявка
    33 заявок(-ки)

    Hi, I have a PDF that needs to be edited in Word/excel in order to replace/edit some text. I will need 2 files edited and i need it ASAP, meaning today.

    $410 (Avg Bid)
    $410 Ср. заявка
    65 заявок(-ки)
    Custom 3D model Shar Pei dog from photos 6 дней(-я) left
    ПОДТВЕРЖДЕН

    Hello! I have a custom order for you: A print-ready stl file of a Shar Pei dog, sculpted according to reference photos. We need it at the same quality as the referenced screenshots. Sculpture position: laying down as the photo at the beach. timeframe: 1 week.

    $186 (Avg Bid)
    $186 Ср. заявка
    32 заявок(-ки)
    RE-TYPE A DOCUMENT 6 дней(-я) left

    I have a PDF that needs to be type in order to replace/edit some text. I will need 2 files edited.

    $14 / hr (Avg Bid)
    $14 / hr Ср. заявка
    50 заявок(-ки)
    POS API integration (Touch Bistro, Square, Clover, Toast) -- 2 6 дней(-я) left
    ПОДТВЕРЖДЕН

    We have an food ordering app and platform on the backend, we are looking for a freelancer that has integrated with popular POS's (point of sale APIs) for sending orders to the POS when customers order from our app to a restaurant (Order API), we would rather work with someone that has done it in the past. Please reach out for more details. We don't need a developer for the entire thing ...

    $530 (Avg Bid)
    $530 Ср. заявка
    13 заявок(-ки)
    Tech Support Agent 9 am-5 pm CT M-F 6 дней(-я) left
    ПОДТВЕРЖДЕН

    Now Hiring: Client Support Agent for growing B2B E-Commerce company. We're looking for agents that can familiarize themselves with our policies, communicate them properly to our clients, handle general inquiries, provide order support via Zendesk support and chat. Requirement: Prior experience with zendesk. Fluency in US English Proven CS soft skills Proficiency in understanding the natur...

    $5 / hr (Avg Bid)
    $5 / hr Ср. заявка
    13 заявок(-ки)

    I make and deliver frozen pies all around my city. I'm looking for a TEAM to redesign my website to be more user-friendly. Currently my conversion rate is roughly 6%. I need to increase this in order to gain more customers and sales. My UX is not very well laid out and there are things on the back end that need improving like speed. The main thing I need is for customers to be able to sel...

    $936 (Avg Bid)
    $936 Ср. заявка
    51 заявок(-ки)

    I make and deliver frozen pies all around my city. I'm looking for a TEAM to redesign my website to be more user-friendly. Currently my conversion rate is roughly 6%. I need to increase this in order to gain more customers and sales. My UX is not very well laid out and there are things on the back end that need improving like speed. The main thing I need is for customers to be able to sel...

    $441 (Avg Bid)
    $441 Ср. заявка
    31 заявок(-ки)
    RE-TYPE A DOCUMENT 6 дней(-я) left

    I have a PDF that needs to be type in order to replace/edit some text. I will need 2 files edited.

    $395 (Avg Bid)
    $395 Ср. заявка
    53 заявок(-ки)
    RE-TYPE A DOCUMENT 6 дней(-я) left

    I have a PDF that needs to be type in order to replace/edit some text. I will need 2 files edited.

    $433 (Avg Bid)
    $433 Ср. заявка
    57 заявок(-ки)
    OSCOMMERCE PHP BOOKING FORM 6 дней(-я) left
    ПОДТВЕРЖДЕН

    i need a booking form added to oscommerce php site PLEASE DO THIS ON YOUR SIDE (install osc first if u can) the booking from will ask for some fields like NAME DATE TIME Etc and after they press submit it will be sent to db same way like an order. they can do as guest or if they are logged in they can do that way also and the db will fill in any information if they are logged in. ive attached a p...

    $237 (Avg Bid)
    $237 Ср. заявка
    9 заявок(-ки)
    mobile app creator 6 дней(-я) left

    I am running a small business in order to reach my product to customers need a mobile app

    $261 (Avg Bid)
    $261 Ср. заявка
    5 заявок(-ки)

    I I am looking for a designer to design Is a Box for retail. This will be the 1st of many products under my brand. I am looking for a designer to work with on this and all projects going forward. I have attached a file for what I need designed. I posted a project similar to this one and was very unhappy with the results. If I find the right package designer you will be rewarded the project as wel...

    $50 (Avg Bid)
    Looking for new developer 6 дней(-я) left
    ПОДТВЕРЖДЕН

    Are you interested in new opportunities? Looking to add a new developer to our team. If so let me know your thoughts on the following: - What's your experience with MVVM and unit testing? - What’s your experience with Kotlin? - Why would you use RxJava vs Coroutines? - Any work with dependency injection? - What ORM and/or database do you use locally? - How would you approach running a...

    $18 / hr (Avg Bid)
    $18 / hr Ср. заявка
    10 заявок(-ки)
    Project for Azra A. 9 дней(-я) left

    you need help in ladder logic yes I am here for you to start work on your project My whatsapp: +923345057878

    $13 (Avg Bid)
    $13 Ср. заявка
    1 заявок(-ки)