[[pl:prolog:pllib:sister - Odnośniki]]
aiWiki
Pokaż stronę
Ostatnie zmianyIndeksZaloguj

AIwiki

Menu

  • Strona Główna

Dla Studentów

Zima / Winter 2021:

  • Computer Science: Introduction to AI
  • ISI: Podstawy Sztucznej Inteligencji

Old specialized AI courses

  • ML - Uczenie maszynowe
  • AML - Inteligentne Technologie Mobilne
  • SemWeb - Semantic Web Technologies
  • BIM
  • Rules - Regułowe wspomaganie decyzji
  • Games - Gry i sztuczna inteligencja

SMaDA/SMaIDA/AIDA

1. semester:

  • KRR - Knowledge Representation and Reasoning
  • DSS - Decision Support Systems

2. semester:

  • WSHOP -- Development Workshop

Informatyka (EAIiIB)

1. rok:

  • Wstęp do systemów uniksowych
  • Logika
  • Języki i Metody Programowania 2

2. i 3. rok:

  • SO: System Operacyjne
  • PL: Programowanie w Logice
  • PF: Programowanie Funkcyjne
  • PP: Paradygmaty Programowania
  • PSI: Podstawy Sztucznej Inteligencji
  • CP: Programowanie z ograniczeniami

4. rok:

  • Systemy i technologie wirtualizacji

Studia Dr

  • Metody Badań Naukowych
  • Essential Thinking

Inne materialy dydaktyczne

  • Prolog
    • Laboratorium Prologu
    • Biblioteka programów

Archiwum

  • Dydaktyka

Dyplomanci

  • Prace Mgr, Inz, etc.

Geist Season of Code

  • GSoC

HeKatE

  • Projekt HeKatE
  • Rozwój HeKatE

Public

  • The KESE workshop (EN only)
  • Mindstorms (archive)
  • en
  • hekate
  • hekatedev
  • kese
  • mindstorms
  • misc
  • pl
    • dydaktyka
    • epp
    • hekate
    • hekatedev
    • hexor
    • mindstorms
    • misc
    • miw
    • plnxt
    • prolog
      • jpl
      • pllib
        • 8_puzzle
        • 8_queens
        • 8_queens_2
        • 8_queens_3
        • 8_queens_4
        • 8_queens_5
        • abc_language_enhancement
        • abc_language_recognition
        • ackermann
        • acyclic_path
        • acyclic_path_2
        • add
        • add_2
        • alfa_beta
        • all_solutions
        • analogy
        • ancestor
        • and_gate
        • animals
        • animals_kb
        • answers_storing
        • append
        • arc
        • area
        • arg_predicate
        • ascending_sorting
        • avl_dict_insert
        • backward-chaining_rule_interpreter
        • belief_network_specification
        • belief_networks
        • best-first
        • best-first_framework
        • best-first_framework_2
        • best-move
        • best-move_minimax
        • best_first_search
        • between
        • binary_dictionary
        • birds
        • birds_recognition
        • blocks
        • breadth-first_search
        • breadth-first_search_2
        • bubble_sort
        • build_sentence
        • camera_planner
        • capacity
        • change_element
        • circuit_simulator
        • clauses_displaying
        • combinations_with_repeated
        • combinations_without_repeated
        • common_divisor_2
        • comon_divisor
        • composition
        • consulting_file
        • correlation_factor
        • course_rules
        • credit_system
        • crossword
        • cryptoarithmetic_puzzle
        • cryptoarithmetic_puzzle_2
        • cut
        • dcg
        • dcg_contextless
        • dcg_interpreter
        • dcg_interpreter_counting_words
        • dcg_number_agreement
        • dcg_numbers
        • dcg_tree
        • delete_element
        • delete_element_2
        • delete_from_tree
        • depth-first_framework
        • depth-first_search
        • depth-first_search_2
        • depth-first_search_3
        • derivative
        • derivative_2
        • descendant
        • diagnose_false_solution
        • diagnose_false_solution_top-down
        • diagnose_missing_solution
        • dictionary_lookup
        • dictionary_modification
        • dif_operator
        • diff_quicksort
        • differential_equations
        • disjunction
        • disjunctive_sets
        • dollar
        • dutch_flag
        • dutch_flag_2
        • dynamic_memory
        • editor
        • electrical_circuits
        • electrical_network_kb
        • electronics
        • eliza_simulator
        • english2french
        • equation_solving
        • equation_solving_2
        • evaluator
        • exp
        • explanation-based_generalization_problem_def
        • explanation_shell
        • factorial
        • factorial_2
        • fam_biblical
        • fam_grandparents
        • family
        • family_2
        • file_operations
        • file_writting
        • findall
        • flatten
        • flatten_2
        • flatten_3
        • flatten_4
        • flight_planner
        • food_chain
        • forward-chaining_rule_interpreter
        • functor_predicate
        • game_framework
        • generalization
        • geometric_objects
        • german2english
        • get_element
        • grammar2clauses
        • graph_connections
        • graph_directed
        • graph_path
        • graph_path_2
        • graph_path_3
        • graph_path_4
        • graph_path_learning
        • ground_term
        • hanoi
        • hanoi_2
        • hill-climbing_framework
        • hyper_hypothesis_refiner
        • ida_algorithm
        • if_rule
        • if_then
        • if_then_rule
        • insert_into_tree
        • insert_into_tree_2
        • insert_sort
        • insertion_sort
        • integers_set
        • interactive_interpreter
        • interactive_shell
        • interchange_sort
        • interface
        • interface_2
        • interpreter_for_hypotheses
        • kalah
        • keyword_in_context
        • king_rook
        • last_element
        • learn_tree
        • learning_predicate
        • lee_routing
        • lesseq_operator
        • list2term
        • list_define
        • list_divide
        • list_duplicates_remove
        • list_examples
        • list_intersection
        • list_learn_membership
        • list_length
        • list_length_2
        • list_length_3
        • list_linking
        • list_linking_2
        • list_linking_3
        • list_linking_4
        • list_max_element
        • list_member
        • list_member_2
        • list_member_3
        • list_member_4
        • list_nonmember
        • list_odd-even
        • list_prefix
        • list_prefix_suffix
        • list_smallest_element
        • list_sum
        • list_sum_2
        • list_sum_3
        • lists_merging
        • logic_operators
        • map_colouring
        • map_colouring2
        • mastermind
        • matrix_add
        • matrix_multiply
        • matrix_transposition
        • max
        • max_min
        • mcsam
        • means-ends
        • means-ends_goal_protection
        • merge_sort
        • merge_sort_2
        • meta_interpreter
        • meta_interpreter_2
        • meta_interpreter_3
        • meta_interpreter_4
        • meta_interpreter_5
        • meta_interpreter_6
        • meta_interpreter_7
        • meta_interpreter_tracing
        • min
        • minihyper_ilp_program
        • minimax_move
        • minimax_principle
        • model_bath_tub
        • model_block-spring
        • model_circuit
        • modelling_circuits
        • monkey_banana
        • multiply
        • n_queens
        • n_queens_2
        • naiv_sort
        • natural_numbers
        • ndfa_interpreter
        • negation
        • nim_game
        • normalization
        • npda
        • npda_interpreter
        • occurs
        • older
        • oo_interpreter
        • oscillator
        • oven
        • palindrome
        • parser_abc
        • parser_pascal
        • partial_reduction
        • pattern_interpreter
        • permutation
        • permutation_sort
        • polinomial
        • polinomial_2
        • polygon_area
        • predecessor
        • prolog_compiler
        • proof_explanation
        • propositional_calculus_2_clauses
        • prune_tree
        • puzzle
        • queue
        • quicksort
        • quicksort_2
        • rbfs_algorithm
        • read_from_file
        • recognize_objects
        • recursion
        • regression_planner
        • relationships
        • repeat
        • reverse_1
        • reverse_2
        • reverse_difference
        • reverse_no_duplicate
        • riddle
        • road-map_path-finding
        • robot_world
        • rule_interpreter
        • rule_interpreter_2
        • rule_interpreter_3
        • rule_interpreter_4
        • rule_interpreter_certainty
        • scheduling
        • scheduling_clp
        • search_tree
        • select
        • select_first
        • sentence
        • sentence2atoms
        • session_logging
        • set_intersection
        • sets_sum
        • shell
        • sister
        • skeleton
        • sliding_puzzle
        • space_planner
        • standard_deviation
        • start
        • state-space
        • string2int
        • string2list
        • sublists
        • subterm
        • subterm_2
        • subterm_substitution
        • task_scheduling
        • term2list
        • term_melting
        • term_substitution
        • terms_variety
        • theorem_proving
        • tictactoe
        • tracer
        • transitive_closure
        • tree
        • tree_2
        • tree_displaying
        • tree_member
        • trees_binary
        • trees_game
        • trees_heap
        • trees_heap_2
        • trees_isomorphic
        • trees_proof
        • trees_spanning
        • trees_spanning_2
        • truth_table
        • uncertaint_reasoning
        • unification
        • unification_2
        • union
        • union_and_intersection
        • variables_in_term
        • variance
        • variation
        • variation_2
        • vectors_inner_product
        • vectors_inner_product_2
        • warehouse
        • water_jugs
        • welfare_payments
        • wolf_goat_cabbage
        • write_predicate
        • yesno_question
      • prolog_lab
      • geshi_prolog
      • lab_prolog_ansic
      • lab_prolog_cppoo
      • lab_prolog_java
      • prolog_lab
      • prolog_research
      • prolog_tools
      • start-en
      • start
    • wiki
    • hexor
    • mindstorms2
    • miw
    • start
    • studentsidebar
  • playground
  • research
  • student
  • wiki
  • sidebar
  • sidebarold
  • start
  • tmp

Odnośnik z innych stron

Strony zawierające odnośniki do aktualnej strony.

Nic nie znaleziono.

pl/prolog/pllib/sister.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
Pokaż stronęPoprzednie wersje
Menadżer multimediówDo góry
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0