We make it easy to hire people online. Get a money-back guarantee, awesome workspace, clear terms in plain English, upfront bills with itemized PDF receipts.

All purchases (except Tips) are subject to a non-refundable Handling Fee of $3.49. This pays for platform overheads including admin, hosting, marketing, data costs and 24×7×365 support.

  • Web / Mobile / Tech
  • Design / Art / Video / Audio
  • Bookings
  • Writing / Translation
  • Business / Admin
  • VPS & Cloud Hosting
HostJane seller Nairobi - Telecommunications

Junior

Telecommunications

Logic

Propositional logic and quantification theory; metatheorems on consistency, independence, and completeness; set theory, number theory, and modal theory; recursive function theory and Gödel's incompleteness theorem. Skills for understanding principles and techniques of logic programming and how these can be applied in practice, for example in AI how Prolog relates to the predicate calculus and first-order logic, the declarative meaning of a program; the execution mechanism of Prolog in terms of unification, resolution and SLD-trees. Recursion, backtracking, simple examples; execution mechanism: unification, resolution, SLD-trees and search strategies; list processing in Prolog; cut operator and efficiency issues; worked examples; negation as finite failure; arithmetic; system predicates for I/O or input/output in computing; assert and retract; debugging programs by tracing. Got a Logic project? Hire the best Logic freelancers with the right skills and background in December 2024 to get your Logic job done quickly. Schedule a consultation with a Logic freelancer today. Read less

Read more
Board & chat What's this?

ADVERTISEMENT

Managed VPS Hosting

$22.95/mo

0 Services
Keep exploring

ADVERTISEMENT

Managed VPS Hosting

$22.95/mo

Contact

Got questions? can help!

needs from you:
Clear instructions Any relevant files or media Your budget

Price $
We'll email you when responds.

Find people to hire.

Job done or your money back.

is available for hire!

When you log in you'll be able to connect with to discuss your project.

Log in